BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_model_QF_LinearIntArith.xml name: cvc5_model_QF_LinearIntArith run sets: cvc5,2,ModelValidation.task date: Tue, 2025-06-24 13:30:15 CEST tool: cvc5 tool executable: ./unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_sq 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 ------------------------------------------------------------ cvc5,2,ModelValidation.task Run set 1 of 1 with options 'unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_mv' 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.19 0.19 tc02 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D10N150_RC-01.yml true 0.05 0.05 tc03 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D20N050_RC-09.yml true 0.11 0.11 tc02 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D20N100_RC-06.yml true 0.11 0.11 tc03 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D50N150_RC-03.yml TIMEOUT 0.64 61.00 tc03 QF_LIA/QF_LIA_20220307-SMPT__FMS-PT-05000_RF-04.yml true 0.04 0.04 tc06 QF_LIA/QF_LIA_20220307-SMPT__HouseConstruction-PT-08000_RC-03.yml true 0.04 0.04 tc03 QF_LIA/QF_LIA_20220307-SMPT__MAPK-PT-00040_RC-04.yml true 0.05 0.05 tc05 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00010_RC-09.yml true 0.04 0.04 tc06 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00020_RC-01.yml true 0.04 0.04 tc03 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00050_RF-14.yml true 0.04 0.04 tc03 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-05000_RF-02.yml true 0.04 0.04 tc03 QF_LIA/QF_LIA_20220307-SMPT__SwimmingPool-PT-03_RC-08.yml true 0.04 0.04 tc08 QF_LIA/QF_LIA_20220307-SMPT__SwimmingPool-PT-04_RC-01.yml true 0.03 0.03 tc08 QF_LIA/QF_LIA_CAV_2009_benchmarks__smt__15-vars_problem__017.yml true 0.07 0.07 tc03 QF_LIA/QF_LIA_bofill-scheduling__SMT_random_LIA_ex22700_2600_100.yml true 0.64 0.64 tc03 QF_LIA/QF_LIA_bofill-scheduling__SMT_real_LIA_ex6180_2400_100.yml true 0.91 0.91 tc08 QF_LIA/QF_LIA_nec-smt__large__checkpass_pwd_prp-17-35.yml TIMEOUT 61.00 61.00 tc06 QF_LIA/QF_LIA_nec-smt__large__getoption_group_prp-36-45.yml TIMEOUT 61.00 61.00 tc08 QF_LIA/QF_LIA_pb2010_normalized-j12036_3-sat.yml TIMEOUT 61.25 61.00 tc05 QF_LIRA/QF_LIRA_LCTES_smtopt.yml true 3.99 3.99 tc05 QF_IDL/QF_IDL_20210312-Bouvier_vlsat3_i56.yml TIMEOUT 61.16 61.00 tc06 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop26-2-13-13-4-4-16.yml TIMEOUT 60.98 61.00 tc04 QF_IDL/QF_IDL_Averest__insertion_sort_InsertionSort_live_blmc002.yml true 0.23 0.23 tc05 QF_IDL/QF_IDL_Averest__linear_search_LinearSearch_live_blmc000.yml true 0.02 0.02 tc08 QF_IDL/QF_IDL_Averest__linear_search_LinearSearch_safe_blmc000.yml true 0.03 0.03 tc03 QF_IDL/QF_IDL_Averest__min_max_MinMax_live_blmc000.yml true 0.06 0.06 tc03 QF_IDL/QF_IDL_asp__GeneralizedSlitherlink_altair1.16.asp.yml true 20.33 20.34 tc06 QF_IDL/QF_IDL_asp__GeneralizedSlitherlink_trisquares.41.asp.yml true 7.27 7.27 tc02 QF_IDL/QF_IDL_asp__MazeGeneration_maze-generation-width=19-height=19-density=0.01-run=4.yml true 0.92 0.91 tc06 QF_IDL/QF_IDL_asp__WireRouting_wire.13.x.13.b.5.a.30_sat.data.yml TIMEOUT 61.04 61.00 tc03 QF_IDL/QF_IDL_job_shop_jobshop12-2-6-6-4-4-12.yml true 0.33 0.33 tc03 QF_IDL/QF_IDL_queens_bench__n_queen_queen38-1.yml true 6.35 6.35 tc03 QF_IDL/QF_IDL_queens_bench__n_queen_queen44-1.yml true 8.48 8.48 tc03 QF_IDL/QF_IDL_queens_bench__n_queen_queen57-1.yml true 29.71 29.71 tc08 QF_IDL/QF_IDL_queens_bench__n_queen_queen61-1.yml true 48.36 48.37 tc08 QF_IDL/QF_IDL_queens_bench__super_queen_super_queen69-1.yml TIMEOUT 61.01 61.00 tc05 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen7-1.yml true 0.02 0.02 tc08 QF_IDL/QF_IDL_schedulingIDL_tai_10x10_1_mkspan641.yml true 13.06 13.06 tc08 QF_IDL/QF_IDL_schedulingIDL_tai_20x20_10_mkspan1242.yml TIMEOUT 61.01 61.00 tc03 QF_IDL/QF_IDL_schedulingIDL_tai_20x20_2_mkspan1243.yml TIMEOUT 61.01 61.00 tc08 ------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None 148.07 - Statistics: 41 Files correct: 31 correct true: 31 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 10