BENCHMARK INFORMATION benchmark definition: run_definitions/smts_parallel_QF_LinearIntArith.xml name: smts_parallel_QF_LinearIntArith run sets: SMTS,0,Parallel.task date: Sun, 2025-06-29 13:43:00 CEST tool: SMTS tool executable: ./unpack/1e2d91adb57ec6ad11e88969089e1cec9341b824f2bce2f3826a08d0d6aa2783/SMTS/server/smts.py 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 ------------------------------------------------------------ SMTS,0,Parallel.task Run set 1 of 1 with options 'unpack/1e2d91adb57ec6ad11e88969089e1cec9341b824f2bce2f3826a08d0d6aa2783/SMTS/server/smts.py -l -p -pt 2 -o 64 -fp' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------- QF_LIA/QF_LIA_arctic-matrix_constraint-902192.yml TIMEOUT 489.00 61.03 tc06 QF_LIA/QF_LIA_arctic-matrix_constraint-943653.yml TIMEOUT 489.12 61.04 tc02 QF_LIA/QF_LIA_arctic-matrix_constraint-987361.yml TIMEOUT 489.26 61.02 tc04 QF_LIA/QF_LIA_fft_Sz256_6616.yml TIMEOUT 488.07 61.03 tc08 QF_LIA/QF_LIA_miplib2003_air04.sat.yml OUT OF MEMORY 121.16 15.14 ws10 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-110.yml OUT OF MEMORY 137.67 17.09 tc02 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-111.yml OUT OF MEMORY 140.92 17.50 tc07 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-112.yml OUT OF MEMORY 137.83 17.11 tc05 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-113.yml OUT OF MEMORY 142.93 17.74 tc03 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-110.yml OUT OF MEMORY 145.24 18.13 ws10 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-111.yml OUT OF MEMORY 139.05 17.33 tc02 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-112.yml OUT OF MEMORY 140.72 17.63 tc06 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-113.yml OUT OF MEMORY 141.60 17.63 tc04 QF_LIA/QF_LIA_pb2010_normalized-j12016_4-sat.yml OUT OF MEMORY 36.90 5.80 ws10 QF_LIA/QF_LIA_pb2010_normalized-j12021_4-sat.yml OUT OF MEMORY 38.32 5.05 tc04 QF_LIA/QF_LIA_pb2010_normalized-j12026_5-unsat.yml OUT OF MEMORY 38.01 5.41 tc03 QF_LIA/QF_LIA_pb2010_normalized-j12032_3-unsat.yml OUT OF MEMORY 37.66 5.49 tc02 QF_LIA/QF_LIA_pb2010_normalized-j12032_8-unsat.yml OUT OF MEMORY 38.05 5.57 ws10 QF_LIA/QF_LIA_pb2010_normalized-j12033_3-sat.yml OUT OF MEMORY 38.76 5.41 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12036_3-sat.yml OUT OF MEMORY 35.46 5.88 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12036_4-sat.yml OUT OF MEMORY 35.93 5.96 tc03 QF_LIA/QF_LIA_pb2010_normalized-j12037_7-sat.yml OUT OF MEMORY 37.64 5.70 tc02 QF_LIA/QF_LIA_pb2010_normalized-j12038_8-unsat.yml OUT OF MEMORY 37.81 5.46 ws10 QF_LIA/QF_LIA_pb2010_normalized-j12047_10-unsat.yml OUT OF MEMORY 38.15 5.42 tc08 QF_LIA/QF_LIA_pb2010_normalized-j12052_5-unsat.yml OUT OF MEMORY 37.20 5.60 tc07 QF_LIA/QF_LIA_pb2010_normalized-j12056_10-unsat.yml OUT OF MEMORY 35.72 5.96 tc04 QF_LIA/QF_LIA_pb2010_normalized-j12058_4-sat.yml OUT OF MEMORY 37.97 5.58 tc06 QF_LIA/QF_LIA_pb2010_normalized-j1208_10-unsat.yml OUT OF MEMORY 38.54 4.91 tc02 QF_LIA/QF_LIA_pb2010_normalized-j6013_2-unsat.yml OUT OF MEMORY 49.66 6.30 tc04 QF_LIA/QF_LIA_pb2010_normalized-j605_10-unsat.yml OUT OF MEMORY 112.38 14.05 tc01 QF_LIA/QF_LIA_tropical-matrix_constraint-1285151.yml OUT OF MEMORY 324.14 40.41 tc05 QF_LIA/QF_LIA_tropical-matrix_constraint-1330141.yml OUT OF MEMORY 341.61 42.65 tc08 QF_LIA/QF_LIA_tropical-matrix_constraint-255468.yml false 40.48 5.14 tc04 QF_LIA/QF_LIA_tropical-matrix_constraint-278378.yml true 194.28 24.37 tc04 QF_LIA/QF_LIA_tropical-matrix_constraint-369883.yml TIMEOUT 488.19 61.03 tc01 QF_LIA/QF_LIA_tropical-matrix_constraint-394532.yml TIMEOUT 488.10 61.03 tc07 QF_LIA/QF_LIA_tropical-matrix_constraint-556171.yml false 53.48 6.77 tc06 QF_LIA/QF_LIA_tropical-matrix_constraint-603294.yml false 75.96 9.58 tc02 QF_LIA/QF_LIA_tropical-matrix_constraint-715402.yml TIMEOUT 488.84 61.04 tc04 QF_LIA/QF_LIA_tropical-matrix_constraint-735583.yml TIMEOUT 488.58 61.04 tc06 QF_LIA/QF_LIA_tropical-matrix_constraint-737829.yml TIMEOUT 487.74 61.05 ws10 QF_LIA/QF_LIA_tropical-matrix_constraint-740637.yml TIMEOUT 488.69 61.04 tc02 QF_LIA/QF_LIA_tropical-matrix_constraint-797738.yml TIMEOUT 488.42 61.00 tc06 QF_LIA/QF_LIA_tropical-matrix_constraint-861420.yml TIMEOUT 488.99 61.04 tc04 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop14-4-7-7-2-4-24.yml TIMEOUT 487.75 61.03 tc05 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop22-4-11-11-2-4-24.yml TIMEOUT 488.04 61.04 tc06 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop30-4-15-15-2-4-24.yml TIMEOUT 488.41 61.04 tc06 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop40-4-20-20-2-4-24.yml TIMEOUT 488.99 61.05 tc05 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop44-2-22-22-2-4-12.yml TIMEOUT 488.03 61.04 tc04 QF_IDL/QF_IDL_asp__GraphColouring_graph-colouring-nodes=140-density=0.1-instance=8.yml TIMEOUT 488.07 61.03 tc07 QF_IDL/QF_IDL_asp__KnightTour_knightTour.in08.yml OUT OF MEMORY 39.80 5.92 tc03 QF_IDL/QF_IDL_asp__Labyrinth_laby_21_21_18.lp.yml OUT OF MEMORY 31.53 7.01 tc06 QF_IDL/QF_IDL_fuzzy-matrix_HofWald_3.srs_slice-7_constraint-402641.yml TIMEOUT 488.03 61.03 tc01 QF_IDL/QF_IDL_fuzzy-matrix_Marche_turing_copy.srs_slice-7_constraint-442642.yml TIMEOUT 487.88 61.01 tc02 QF_IDL/QF_IDL_fuzzy-matrix_Waldmann_r6.srs_slice-4_constraint-151140.yml TIMEOUT 487.84 61.03 tc05 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z047.srs_slice-7_constraint-251639.yml TIMEOUT 487.94 61.04 tc01 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z053.srs_slice-8_constraint-227740.yml TIMEOUT 487.82 61.03 tc03 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z058.srs_slice-8_constraint-227540.yml TIMEOUT 487.90 61.04 tc01 QF_IDL/QF_IDL_fuzzy-matrix_relative_zr10.srs_slice-5_constraint-295501.yml TIMEOUT 486.79 61.03 ws10 QF_IDL/QF_IDL_fuzzy-matrix_secret06_torpa_secr5.srs_slice-8_constraint-389123.yml TIMEOUT 488.09 61.03 tc02 QF_IDL/QF_IDL_job_shop_jobshop20-2-10-10-4-4-11.yml false 36.47 4.64 tc08 QF_IDL/QF_IDL_job_shop_jobshop24-2-12-12-4-4-11.yml TIMEOUT 487.63 61.04 tc07 QF_IDL/QF_IDL_job_shop_jobshop30-2-15-15-4-4-11.yml TIMEOUT 487.62 61.01 tc03 QF_IDL/QF_IDL_job_shop_jobshop34-2-17-17-2-4-9.yml TIMEOUT 487.72 61.03 tc08 QF_IDL/QF_IDL_job_shop_jobshop44-2-22-22-2-4-9.yml TIMEOUT 487.90 61.04 tc07 QF_IDL/QF_IDL_job_shop_jobshop50-2-25-25-2-4-9.yml TIMEOUT 487.87 61.04 tc02 QF_IDL/QF_IDL_mathsat__fischer_FISCHER14-13-ninc.yml OUT OF MEMORY 70.13 8.65 tc05 QF_IDL/QF_IDL_mathsat__fischer_FISCHER14-14-ninc.yml OUT OF MEMORY 70.67 8.72 tc07 QF_IDL/QF_IDL_qlock_qlock-4-10-30.base.cvc.yml false 78.05 9.83 tc04 QF_IDL/QF_IDL_qlock_qlock-4-10-31.base.cvc.yml TIMEOUT 488.41 61.03 tc05 QF_IDL/QF_IDL_qlock_qlock-4-10-32.base.cvc.yml TIMEOUT 488.49 61.05 tc08 QF_IDL/QF_IDL_qlock_qlock-4-10-33.base.cvc.yml TIMEOUT 488.37 61.03 tc03 QF_IDL/QF_IDL_qlock_qlock-4-10-34.base.cvc.yml TIMEOUT 488.34 61.02 tc02 QF_IDL/QF_IDL_qlock_qlock-4-10-35.base.cvc.yml TIMEOUT 488.34 61.04 tc04 QF_IDL/QF_IDL_qlock_qlock-4-10-36.base.cvc.yml TIMEOUT 488.46 61.03 tc08 QF_IDL/QF_IDL_qlock_qlock-4-10-37.base.cvc.yml false 88.56 11.14 tc01 QF_IDL/QF_IDL_qlock_qlock-4-10-38.base.cvc.yml TIMEOUT 488.69 61.06 tc07 QF_IDL/QF_IDL_qlock_qlock-4-10-39.base.cvc.yml TIMEOUT 488.47 61.04 tc04 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen18-1.yml TIMEOUT 487.56 61.03 tc07 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen20-1.yml false 240.78 30.18 tc03 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen24-1.yml false 56.48 7.14 tc07 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen48-1.yml TIMEOUT 486.74 61.03 ws10 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen49-1.yml TIMEOUT 487.87 61.03 tc08 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen54-1.yml TIMEOUT 486.84 61.04 ws10 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen60-1.yml TIMEOUT 486.75 61.03 ws10 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen61-1.yml TIMEOUT 486.91 61.05 ws10 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen82-1.yml TIMEOUT 487.55 61.04 tc07 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen98-1.yml TIMEOUT 488.46 61.04 tc01 QF_IDL/QF_IDL_schedulingIDL_j8_per0_1_mkspan1038.yml TIMEOUT 487.66 61.02 tc07 ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 89 Files correct: 5 correct true: 1 correct false: 4 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 80