| batch_command | |
| bucket_threshold | 1 |
| is_all_external_libraries_in_cc | false |
| ranges_count | 20 |
| _is_custom_categories | false |
| additional_hwc | { },
|
| dataset_handler | link |
| cqa_params | { },
|
| lprof_post_process_params | { },
|
| lprof_params | |
| throughput_max_core | 0 |
| batch_script | |
| maximal_path_number | 4 |
| base_run_index | 0 |
| localbinary | /home/kcamus/POP/POP3/IC3/TGV_WAVY_DISTORTED/ic3_icpx_skl_m52_dim192_step100/binaries/IC3_Solver |
| _scalability_bins | { },
|
| multiruns_params | { },
|
| basebinary | IC3_Solver |
| outliers_count | 0 |
| thread_filter_threshold | 1% |
| excluded_areas | { },
|
| delay | 0 |
| job_submission_threshold | 0s |
| repetitions | 31 |
| script_variables | { },
|
| object_coverage_threshold | 0.01 |
| is_sudo_available | false |
| number_nodes | 1 |
| environment_variables | { },
|
| throughput_core | -1 |
| base_run_name | run_0 |
| scalability_reference | main |
| optimizer_loop_count | 10 |
| keep_executable_location | false |
| dataset | |
| binary | ./../ic3-solver/build/Solver/IC3_Solver |
| vprof_params | |
| run_command | <executable> -i input_fv.in |
| external_libraries | { },
|
| mpi_command | mpirun -np 52 |
| run_directory | . |
| included_areas | { },
|
| custom_categories | { },
|
| decan_multi_variant | true |
| profile_start | { unit = none ; value = 0 ; },
|
| filter | { type = number ; value = 10 ; },
|
| decan_threshold | 500 |
| decan_all_variants | true |
| decan_params | |
| filter_decan | { type = all ; },
|
| number_processes | 1 |
| pinning_command | |
| frequencies | { 1 = 0 ; },
|
