BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_parallel_QF_LinearIntArith.xml name: yices2_parallel_QF_LinearIntArith run sets: Yices2,8,Parallel.task date: Thu, 2025-06-26 23:55:44 CEST tool: Yices2 tool executable: /usr/bin/./false options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 480 s - cpu cores: 8 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 8 - memory: 8192.0 MB ------------------------------------------------------------ Yices2,8,Parallel.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices2_parallel.py --yices ./yices_smt2 -n 128' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------- QF_LIA/QF_LIA_arctic-matrix_constraint-533042.yml OUT OF MEMORY 466.64 58.31 tc08 QF_LIA/QF_LIA_arctic-matrix_constraint-654327.yml OUT OF MEMORY 309.60 38.71 tc01 QF_LIA/QF_LIA_arctic-matrix_constraint-777746.yml OUT OF MEMORY 234.46 29.21 tc06 QF_LIA/QF_LIA_arctic-matrix_constraint-863289.yml OUT OF MEMORY 226.83 28.35 tc08 QF_LIA/QF_LIA_arctic-matrix_constraint-902192.yml OUT OF MEMORY 119.97 14.94 tc07 QF_LIA/QF_LIA_arctic-matrix_constraint-943653.yml OUT OF MEMORY 125.76 15.67 tc07 QF_LIA/QF_LIA_arctic-matrix_constraint-985518.yml OUT OF MEMORY 80.86 10.02 tc08 QF_LIA/QF_LIA_arctic-matrix_constraint-985918.yml OUT OF MEMORY 102.11 12.77 tc06 QF_LIA/QF_LIA_arctic-matrix_constraint-987361.yml OUT OF MEMORY 71.34 8.84 tc07 QF_LIA/QF_LIA_arctic-matrix_constraint-993227.yml OUT OF MEMORY 89.19 11.06 tc01 QF_LIA/QF_LIA_fft_Sz256_6615.yml TIMEOUT 488.14 61.04 tc08 QF_LIA/QF_LIA_fft_Sz256_6616.yml TIMEOUT 487.83 61.05 tc02 QF_LIA/QF_LIA_miplib2003_air04.sat.yml OUT OF MEMORY 125.02 15.56 tc04 QF_LIA/QF_LIA_miplib2003_stp3d.sat.yml OUT OF MEMORY 195.83 24.46 tc06 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-110.yml OUT OF MEMORY 54.27 6.80 tc04 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-111.yml OUT OF MEMORY 55.35 6.92 tc04 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-112.yml OUT OF MEMORY 55.59 6.88 tc08 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-113.yml OUT OF MEMORY 55.65 6.86 tc05 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-110.yml OUT OF MEMORY 55.13 6.81 tc06 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-111.yml OUT OF MEMORY 55.18 6.89 tc01 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-112.yml OUT OF MEMORY 55.17 6.89 tc03 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-113.yml OUT OF MEMORY 54.67 6.76 tc04 QF_LIA/QF_LIA_pb2010_normalized-j12016_4-sat.yml OUT OF MEMORY 207.63 25.87 tc06 QF_LIA/QF_LIA_pb2010_normalized-j12021_4-sat.yml OUT OF MEMORY 140.53 17.52 tc06 QF_LIA/QF_LIA_pb2010_normalized-j12026_5-unsat.yml OUT OF MEMORY 145.76 18.14 tc05 QF_LIA/QF_LIA_pb2010_normalized-j12032_3-unsat.yml OUT OF MEMORY 150.50 18.79 tc01 QF_LIA/QF_LIA_pb2010_normalized-j12032_8-unsat.yml OUT OF MEMORY 147.13 18.38 tc01 QF_LIA/QF_LIA_pb2010_normalized-j12033_3-sat.yml OUT OF MEMORY 133.08 16.63 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12036_3-sat.yml OUT OF MEMORY 239.98 30.02 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12036_4-sat.yml OUT OF MEMORY 242.89 30.28 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12037_7-sat.yml OUT OF MEMORY 181.55 22.62 tc06 QF_LIA/QF_LIA_pb2010_normalized-j12038_8-unsat.yml OUT OF MEMORY 145.59 18.11 tc05 QF_LIA/QF_LIA_pb2010_normalized-j12047_10-unsat.yml OUT OF MEMORY 141.07 17.64 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12052_5-unsat.yml OUT OF MEMORY 175.04 21.90 tc08 QF_LIA/QF_LIA_pb2010_normalized-j12056_10-unsat.yml OUT OF MEMORY 251.98 31.48 tc03 QF_LIA/QF_LIA_pb2010_normalized-j12058_4-sat.yml OUT OF MEMORY 168.02 20.92 tc05 QF_LIA/QF_LIA_pb2010_normalized-j1208_10-unsat.yml OUT OF MEMORY 109.41 13.59 tc01 QF_LIA/QF_LIA_pb2010_normalized-j6013_2-unsat.yml OUT OF MEMORY 96.89 12.13 tc07 QF_LIA/QF_LIA_pb2010_normalized-j605_10-unsat.yml OUT OF MEMORY 87.57 10.92 tc05 QF_LIA/QF_LIA_tropical-matrix_constraint-1285151.yml OUT OF MEMORY 48.96 6.06 tc07 QF_LIA/QF_LIA_tropical-matrix_constraint-1330141.yml OUT OF MEMORY 48.48 5.98 tc07 QF_LIA/QF_LIA_tropical-matrix_constraint-255468.yml TIMEOUT 489.03 61.05 tc08 QF_LIA/QF_LIA_tropical-matrix_constraint-278378.yml OUT OF MEMORY 464.42 58.06 tc04 QF_LIA/QF_LIA_tropical-matrix_constraint-369883.yml TIMEOUT 488.81 61.04 tc02 QF_LIA/QF_LIA_tropical-matrix_constraint-394532.yml TIMEOUT 489.32 61.03 tc02 QF_LIA/QF_LIA_tropical-matrix_constraint-556171.yml OUT OF MEMORY 394.76 49.30 tc01 QF_LIA/QF_LIA_tropical-matrix_constraint-603294.yml OUT OF MEMORY 358.85 44.86 tc08 QF_LIA/QF_LIA_tropical-matrix_constraint-715402.yml OUT OF MEMORY 282.52 35.24 tc08 QF_LIA/QF_LIA_tropical-matrix_constraint-735583.yml OUT OF MEMORY 347.84 43.51 tc05 QF_LIA/QF_LIA_tropical-matrix_constraint-737829.yml OUT OF MEMORY 286.04 35.72 tc06 QF_LIA/QF_LIA_tropical-matrix_constraint-740637.yml OUT OF MEMORY 340.42 42.55 tc01 QF_LIA/QF_LIA_tropical-matrix_constraint-797738.yml OUT OF MEMORY 336.12 42.00 tc01 QF_LIA/QF_LIA_tropical-matrix_constraint-861420.yml OUT OF MEMORY 182.21 22.71 tc05 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop14-4-7-7-2-4-24.yml TIMEOUT 488.24 61.05 tc01 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop22-4-11-11-2-4-24.yml TIMEOUT 488.53 61.05 tc05 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop30-4-15-15-2-4-24.yml TIMEOUT 488.75 61.04 tc01 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop40-4-20-20-2-4-24.yml OUT OF MEMORY 53.49 6.66 tc06 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop42-4-21-21-2-4-24.yml OUT OF MEMORY 53.10 6.59 tc02 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop44-2-22-22-2-4-12.yml TIMEOUT 488.36 61.05 tc04 QF_IDL/QF_IDL_asp__GraphColouring_graph-colouring-nodes=140-density=0.1-instance=8.yml OUT OF MEMORY 442.11 55.27 tc04 QF_IDL/QF_IDL_asp__GraphColouring_graph-colouring-nodes=145-density=0.1-instance=4.yml OUT OF MEMORY 464.55 58.12 tc04 QF_IDL/QF_IDL_asp__KnightTour_knightTour.in08.yml OUT OF MEMORY 105.03 13.04 tc06 QF_IDL/QF_IDL_asp__Labyrinth_laby_21_21_18.lp.yml OUT OF MEMORY 68.06 8.43 tc08 QF_IDL/QF_IDL_asp__WireRouting_wire.14.x.14.b.8.a.40_unsat.data.yml OUT OF MEMORY 68.89 8.52 tc02 QF_IDL/QF_IDL_asp__WireRouting_wire.15.x.15.b.10.a.10_unsat.data.yml OUT OF MEMORY 73.18 9.09 tc05 QF_IDL/QF_IDL_asp__WireRouting_wire.15.x.15.b.10.a.20_sat.data.yml OUT OF MEMORY 70.67 8.75 tc07 QF_IDL/QF_IDL_asp__WireRouting_wire.17.x.17.b.10.a.25_unsat.data.yml OUT OF MEMORY 93.51 11.59 tc05 QF_IDL/QF_IDL_bcnscheduling_bcnscheduling139.yml TIMEOUT 488.49 61.05 tc04 QF_IDL/QF_IDL_fuzzy-matrix_HofWald_3.srs_slice-7_constraint-402641.yml OUT OF MEMORY 225.23 28.03 tc07 QF_IDL/QF_IDL_fuzzy-matrix_Marche_turing_copy.srs_slice-7_constraint-442642.yml OUT OF MEMORY 204.89 25.61 tc02 QF_IDL/QF_IDL_fuzzy-matrix_Waldmann_r6.srs_slice-4_constraint-151140.yml TIMEOUT 488.84 61.04 tc02 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z047.srs_slice-7_constraint-251639.yml OUT OF MEMORY 385.22 48.17 tc07 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z053.srs_slice-8_constraint-227740.yml OUT OF MEMORY 394.19 49.23 tc06 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z058.srs_slice-8_constraint-227540.yml OUT OF MEMORY 437.87 54.79 tc03 QF_IDL/QF_IDL_fuzzy-matrix_relative_zr10.srs_slice-5_constraint-295501.yml OUT OF MEMORY 348.69 43.60 tc08 QF_IDL/QF_IDL_fuzzy-matrix_secret06_torpa_secr5.srs_slice-8_constraint-389123.yml OUT OF MEMORY 258.10 32.29 tc07 QF_IDL/QF_IDL_job_shop_jobshop20-2-10-10-4-4-11.yml TIMEOUT 488.46 61.05 tc02 QF_IDL/QF_IDL_job_shop_jobshop24-2-12-12-4-4-11.yml TIMEOUT 488.80 61.04 tc02 QF_IDL/QF_IDL_job_shop_jobshop30-2-15-15-4-4-11.yml TIMEOUT 488.62 61.05 tc06 QF_IDL/QF_IDL_job_shop_jobshop34-2-17-17-2-4-9.yml TIMEOUT 488.91 61.04 tc07 QF_IDL/QF_IDL_job_shop_jobshop42-2-21-21-4-4-11.yml TIMEOUT 488.48 61.05 tc07 QF_IDL/QF_IDL_job_shop_jobshop44-2-22-22-2-4-9.yml TIMEOUT 489.02 61.04 tc03 QF_IDL/QF_IDL_job_shop_jobshop50-2-25-25-2-4-9.yml TIMEOUT 489.20 61.05 tc05 QF_IDL/QF_IDL_mathsat__fischer_FISCHER14-13-ninc.yml TIMEOUT 488.46 61.05 tc03 QF_IDL/QF_IDL_mathsat__fischer_FISCHER14-14-ninc.yml TIMEOUT 489.70 61.04 tc03 QF_IDL/QF_IDL_qlock_qlock-4-10-30.base.cvc.yml TIMEOUT 488.79 61.05 tc01 QF_IDL/QF_IDL_qlock_qlock-4-10-31.base.cvc.yml TIMEOUT 488.69 61.04 tc06 QF_IDL/QF_IDL_qlock_qlock-4-10-32.base.cvc.yml TIMEOUT 488.93 61.04 tc01 QF_IDL/QF_IDL_qlock_qlock-4-10-33.base.cvc.yml TIMEOUT 488.85 61.04 tc03 QF_IDL/QF_IDL_qlock_qlock-4-10-34.base.cvc.yml OUT OF MEMORY 473.26 59.16 tc07 QF_IDL/QF_IDL_qlock_qlock-4-10-35.base.cvc.yml OUT OF MEMORY 426.24 53.28 tc06 QF_IDL/QF_IDL_qlock_qlock-4-10-36.base.cvc.yml OUT OF MEMORY 436.80 54.55 tc05 QF_IDL/QF_IDL_qlock_qlock-4-10-37.base.cvc.yml OUT OF MEMORY 437.94 54.76 tc05 QF_IDL/QF_IDL_qlock_qlock-4-10-38.base.cvc.yml TIMEOUT 483.59 60.43 tc08 QF_IDL/QF_IDL_qlock_qlock-4-10-39.base.cvc.yml OUT OF MEMORY 423.56 52.94 tc02 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen18-1.yml TIMEOUT 487.64 61.04 tc04 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen20-1.yml TIMEOUT 487.83 61.04 tc06 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen24-1.yml TIMEOUT 488.27 61.05 tc03 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen48-1.yml TIMEOUT 488.42 61.04 tc03 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen49-1.yml TIMEOUT 488.87 61.05 tc01 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen54-1.yml TIMEOUT 488.73 61.04 tc04 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen60-1.yml TIMEOUT 488.85 61.05 tc08 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen61-1.yml TIMEOUT 489.18 61.05 tc04 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen82-1.yml OUT OF MEMORY 295.51 36.95 tc05 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen98-1.yml OUT OF MEMORY 236.01 29.55 tc05 QF_IDL/QF_IDL_schedulingIDL_j8_per0_1_mkspan1038.yml TIMEOUT 489.33 61.05 tc03 ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 106 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 106