BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_model_QF_LinearIntArith.xml name: yices2_model_QF_LinearIntArith run sets: Yices2,5,ModelValidation.task date: Mon, 2025-06-23 18:04:29 CEST tool: Yices2 tool executable: /usr/bin/./false 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 ------------------------------------------------------------ Yices2,5,ModelValidation.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices_smt2' 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.03 0.03 ws06 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D10N150_RC-01.yml true 0.00 0.01 ws12 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D20N050_RC-09.yml true 0.01 0.01 ws07 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D20N100_RC-06.yml true 0.01 0.01 ws06 QF_LIA/QF_LIA_20220307-SMPT__Diffusion2D-PT-D50N150_RC-03.yml true 0.05 0.05 tc07 QF_LIA/QF_LIA_20220307-SMPT__FMS-PT-05000_RF-04.yml true 0.00 0.00 ws06 QF_LIA/QF_LIA_20220307-SMPT__HouseConstruction-PT-08000_RC-03.yml true 0.00 0.00 ws10 QF_LIA/QF_LIA_20220307-SMPT__MAPK-PT-00040_RC-04.yml true 0.00 0.00 tc04 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00010_RC-09.yml true 0.00 0.00 ws17 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00020_RC-01.yml true 0.00 0.00 ws06 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-00050_RF-14.yml true 0.00 0.00 ws12 QF_LIA/QF_LIA_20220307-SMPT__RobotManipulation-PT-05000_RF-02.yml true 0.00 0.00 ws06 QF_LIA/QF_LIA_20220307-SMPT__SwimmingPool-PT-03_RC-08.yml true 0.00 0.00 tc05 QF_LIA/QF_LIA_20220307-SMPT__SwimmingPool-PT-04_RC-01.yml true 0.00 0.00 ws12 QF_LIA/QF_LIA_CAV_2009_benchmarks__smt__15-vars_problem__017.yml true 0.04 0.05 ws17 QF_LIA/QF_LIA_bofill-scheduling__SMT_random_LIA_ex22700_2600_100.yml true 0.25 0.25 ws17 QF_LIA/QF_LIA_bofill-scheduling__SMT_real_LIA_ex6180_2400_100.yml true 0.09 0.09 ws17 QF_LIA/QF_LIA_nec-smt__large__checkpass_pwd_prp-17-35.yml true 0.24 0.24 ws17 QF_LIA/QF_LIA_nec-smt__large__getoption_group_prp-36-45.yml true 0.20 0.20 ws06 QF_LIA/QF_LIA_pb2010_normalized-j12036_3-sat.yml TIMEOUT 61.12 61.12 tc02 QF_LIRA/QF_LIRA_LCTES_smtopt.yml true 0.06 0.06 tc07 QF_IDL/QF_IDL_20210312-Bouvier_vlsat3_i56.yml TIMEOUT 61.03 61.03 ws17 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop26-2-13-13-4-4-16.yml TIMEOUT 61.00 61.00 tc04 QF_IDL/QF_IDL_Averest__insertion_sort_InsertionSort_live_blmc002.yml true 0.01 0.02 ws19 QF_IDL/QF_IDL_Averest__linear_search_LinearSearch_live_blmc000.yml true 0.00 0.00 tc01 QF_IDL/QF_IDL_Averest__linear_search_LinearSearch_safe_blmc000.yml true 0.00 0.00 ws07 QF_IDL/QF_IDL_Averest__min_max_MinMax_live_blmc000.yml true 0.01 0.01 tc04 QF_IDL/QF_IDL_asp__GeneralizedSlitherlink_altair1.16.asp.yml true 1.47 1.47 tc05 QF_IDL/QF_IDL_asp__GeneralizedSlitherlink_trisquares.41.asp.yml true 0.67 0.67 ws11 QF_IDL/QF_IDL_asp__MazeGeneration_maze-generation-width=19-height=19-density=0.01-run=4.yml true 0.10 0.10 ws17 QF_IDL/QF_IDL_asp__WireRouting_wire.13.x.13.b.5.a.30_sat.data.yml TIMEOUT 61.01 61.01 ws10 QF_IDL/QF_IDL_job_shop_jobshop12-2-6-6-4-4-12.yml true 0.03 0.03 tc05 QF_IDL/QF_IDL_queens_bench__n_queen_queen38-1.yml true 0.07 0.07 tc06 QF_IDL/QF_IDL_queens_bench__n_queen_queen44-1.yml true 0.04 0.04 ws17 QF_IDL/QF_IDL_queens_bench__n_queen_queen57-1.yml true 0.15 0.15 tc05 QF_IDL/QF_IDL_queens_bench__n_queen_queen61-1.yml true 0.08 0.08 ws10 QF_IDL/QF_IDL_queens_bench__super_queen_super_queen69-1.yml true 0.19 0.19 tc01 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen7-1.yml true 0.00 0.00 ws12 QF_IDL/QF_IDL_schedulingIDL_tai_10x10_1_mkspan641.yml true 0.12 0.12 tc04 QF_IDL/QF_IDL_schedulingIDL_tai_20x20_10_mkspan1242.yml true 1.30 1.30 ws07 QF_IDL/QF_IDL_schedulingIDL_tai_20x20_2_mkspan1243.yml true 2.39 2.39 ws20 ------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None 70.58 - Statistics: 41 Files correct: 37 correct true: 37 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 4