BENCHMARK INFORMATION benchmark definition: run_definitions/opensmt_model_QF_LinearIntArith.xml name: opensmt_model_QF_LinearIntArith run sets: OpenSMT,1,ModelValidation.task date: Mon, 2025-06-23 17:41:00 CEST tool: OpenSMT tool executable: ./unpack/ef2e8e3315254aac78ddc31cdf6813a5640ea2cb5bc2c7901a270d8285b95c79/opensmt options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 240 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ OpenSMT,1,ModelValidation.task Run set 1 of 1 with options 'unpack/ef2e8e3315254aac78ddc31cdf6813a5640ea2cb5bc2c7901a270d8285b95c79/opensmt' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------ QF_LIA/QF_LIA_20220307-SMPT__BART-PT-005_RC-02.yml true 0.05 0.05 tc02 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D10N150_RC-01.yml true 0.01 0.01 ws16 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D20N050_RC-09.yml true 0.02 0.03 ws07 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D20N100_RC-06.yml true 0.02 0.02 ws06 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D50N150_RC-03.yml true 0.15 0.15 ws05 QF_LIA/QF_LIA_20220307-SMPT__FMS-PT-05000_RF-04.yml true 0.00 0.00 ws04 QF_LIA/QF_LIA_20220307-SMPT__HouseConstruction-PT-08000_RC-03.yml true 0.00 0.00 tc08 QF_LIA/QF_LIA_20220307-SMPT__MAPK-PT-00040_RC-04.yml true 0.00 0.00 ws04 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00010_RC-09.yml true 0.00 0.00 ws05 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00020_RC-01.yml true 0.00 0.00 ws05 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00050_RF-14.yml true 0.00 0.00 tc02 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-05000_RF-02.yml true 0.00 0.00 ws05 QF_LIA/QF_LIA_20220307-SMPT__SwimmingPool-PT-03_RC-08.yml true 0.00 0.00 ws05 QF_LIA/QF_LIA_20220307-SMPT__SwimmingPool-PT-04_RC-01.yml true 0.00 0.00 ws07 QF_LIA/QF_LIA_CAV_2009_benchmarks__smt__15-vars_problem__017.yml true 0.01 0.01 ws09 QF_LIA/QF_LIA_bofill-scheduling__SMT_random_LIA_ex22700_2600_100.yml true 0.07 0.07 ws06 QF_LIA/QF_LIA_bofill-scheduling__SMT_real_LIA_ex6180_2400_100.yml true 0.17 0.17 ws01 QF_LIA/QF_LIA_nec-smt__large__checkpass_pwd_prp-17-35.yml true 26.41 26.41 ws05 QF_LIA/QF_LIA_nec-smt__large__getoption_group_prp-36-45.yml true 10.79 10.79 ws19 QF_LIA/QF_LIA_pb2010_normalized-j12036_3-sat.yml TIMEOUT 61.08 61.09 ws20 QF_IDL/QF_IDL_20210312-Bouvier_vlsat3_i56.yml TIMEOUT 61.10 61.10 ws04 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop26-2-13-13-4-4-16.yml true 0.43 0.43 ws07 QF_IDL/QF_IDL_Averest__insertion_sort_InsertionSort_live_blmc002.yml true 0.09 0.09 ws16 QF_IDL/QF_IDL_Averest__linear_search_LinearSearch_live_blmc000.yml true 0.01 0.01 tc02 QF_IDL/QF_IDL_Averest__linear_search_LinearSearch_safe_blmc000.yml true 0.01 0.01 ws16 QF_IDL/QF_IDL_Averest__min_max_MinMax_live_blmc000.yml true 0.02 0.02 ws05 QF_IDL/QF_IDL_asp__GeneralizedSlitherlink_altair1.16.asp.yml TIMEOUT 61.01 61.01 ws20 QF_IDL/QF_IDL_asp__GeneralizedSlitherlink_trisquares.41.asp.yml true 49.24 49.24 tc08 QF_IDL/QF_IDL_asp__MazeGeneration_maze-generation-width=19-height=19-density=0.01-run=4.yml true 1.58 1.58 ws20 QF_IDL/QF_IDL_asp__WireRouting_wire.13.x.13.b.5.a.30_sat.data.yml TIMEOUT 61.01 61.02 ws09 QF_IDL/QF_IDL_job_shop_jobshop12-2-6-6-4-4-12.yml true 0.03 0.03 tc02 QF_IDL/QF_IDL_queens_bench__n_queen_queen38-1.yml true 11.81 11.81 ws05 QF_IDL/QF_IDL_queens_bench__n_queen_queen44-1.yml true 19.23 19.24 tc02 QF_IDL/QF_IDL_queens_bench__n_queen_queen57-1.yml true 48.15 48.16 ws04 QF_IDL/QF_IDL_queens_bench__n_queen_queen61-1.yml TIMEOUT 61.00 61.00 ws07 QF_IDL/QF_IDL_queens_bench__super_queen_super_queen69-1.yml TIMEOUT 61.00 61.00 ws07 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen7-1.yml true 0.00 0.01 tc02 QF_IDL/QF_IDL_schedulingIDL_tai_10x10_1_mkspan641.yml true 0.65 0.65 ws01 QF_IDL/QF_IDL_schedulingIDL_tai_20x20_10_mkspan1242.yml true 49.84 49.84 ws04 QF_IDL/QF_IDL_schedulingIDL_tai_20x20_2_mkspan1243.yml TIMEOUT 61.00 61.00 ws16 ------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None 70.99 - Statistics: 40 Files correct: 33 correct true: 33 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 7