BENCHMARK INFORMATION benchmark definition: run_definitions/z3partiz3ppatsmtcomp2025_parallel_QF_LinearIntArith.xml name: z3partiz3ppatsmtcomp2025_parallel_QF_LinearIntArith run sets: Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task date: Sat, 2025-06-28 17:40:12 CEST tool: Z3-Parti-Z3pp-at-SMT-COMP-2025 tool executable: ./unpack/d9ed01302b9e144ea97976b92d81da9034b9a834c7f25315904164ab6377f495/Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.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 ------------------------------------------------------------ Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task Run set 1 of 1 with options 'unpack/d9ed01302b9e144ea97976b92d81da9034b9a834c7f25315904164ab6377f495/Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------- QF_LIA/QF_LIA_arctic-matrix_constraint-902192.yml unknown 0.08 0.08 ws12 QF_LIA/QF_LIA_arctic-matrix_constraint-943653.yml unknown 0.08 0.08 ws12 QF_LIA/QF_LIA_arctic-matrix_constraint-987361.yml unknown 0.08 0.08 ws08 QF_LIA/QF_LIA_fft_Sz256_6616.yml unknown 0.07 0.07 ws03 QF_LIA/QF_LIA_miplib2003_air04.sat.yml unknown 0.08 0.08 ws02 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-110.yml unknown 0.08 0.08 ws01 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-111.yml unknown 0.08 0.08 ws01 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-112.yml unknown 0.08 0.08 ws07 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-2-113.yml unknown 0.08 0.08 ws14 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-110.yml unknown 0.08 0.08 ws18 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-111.yml unknown 0.08 0.08 ws16 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-112.yml unknown 0.08 0.08 ws14 QF_LIA/QF_LIA_nec-smt__large__getoption_directories_prp-3-113.yml unknown 0.08 0.08 ws20 QF_LIA/QF_LIA_pb2010_normalized-j12016_4-sat.yml unknown 0.14 0.14 ws07 QF_LIA/QF_LIA_pb2010_normalized-j12021_4-sat.yml unknown 0.12 0.12 ws04 QF_LIA/QF_LIA_pb2010_normalized-j12026_5-unsat.yml unknown 0.12 0.12 ws03 QF_LIA/QF_LIA_pb2010_normalized-j12032_3-unsat.yml unknown 0.12 0.12 ws09 QF_LIA/QF_LIA_pb2010_normalized-j12032_8-unsat.yml unknown 0.12 0.12 ws15 QF_LIA/QF_LIA_pb2010_normalized-j12033_3-sat.yml unknown 0.11 0.11 ws13 QF_LIA/QF_LIA_pb2010_normalized-j12036_3-sat.yml unknown 0.15 0.15 ws06 QF_LIA/QF_LIA_pb2010_normalized-j12036_4-sat.yml unknown 0.16 0.16 ws17 QF_LIA/QF_LIA_pb2010_normalized-j12037_7-sat.yml unknown 0.13 0.13 ws11 QF_LIA/QF_LIA_pb2010_normalized-j12038_8-unsat.yml unknown 0.12 0.12 ws06 QF_LIA/QF_LIA_pb2010_normalized-j12047_10-unsat.yml unknown 0.12 0.12 ws11 QF_LIA/QF_LIA_pb2010_normalized-j12052_5-unsat.yml unknown 0.13 0.13 ws15 QF_LIA/QF_LIA_pb2010_normalized-j12056_10-unsat.yml unknown 0.16 0.16 ws17 QF_LIA/QF_LIA_pb2010_normalized-j12058_4-sat.yml unknown 0.13 0.13 ws04 QF_LIA/QF_LIA_pb2010_normalized-j1208_10-unsat.yml unknown 0.11 0.11 ws07 QF_LIA/QF_LIA_pb2010_normalized-j6013_2-unsat.yml unknown 0.09 0.09 ws10 QF_LIA/QF_LIA_pb2010_normalized-j605_10-unsat.yml unknown 0.09 0.09 ws04 QF_LIA/QF_LIA_tropical-matrix_constraint-1285151.yml unknown 0.08 0.08 ws05 QF_LIA/QF_LIA_tropical-matrix_constraint-1330141.yml unknown 0.08 0.08 ws19 QF_LIA/QF_LIA_tropical-matrix_constraint-255468.yml unknown 0.07 0.07 ws05 QF_LIA/QF_LIA_tropical-matrix_constraint-278378.yml unknown 0.08 0.08 ws08 QF_LIA/QF_LIA_tropical-matrix_constraint-369883.yml unknown 0.08 0.08 ws08 QF_LIA/QF_LIA_tropical-matrix_constraint-394532.yml unknown 0.07 0.08 ws04 QF_LIA/QF_LIA_tropical-matrix_constraint-556171.yml unknown 0.08 0.08 ws20 QF_LIA/QF_LIA_tropical-matrix_constraint-603294.yml unknown 0.08 0.08 ws14 QF_LIA/QF_LIA_tropical-matrix_constraint-715402.yml unknown 0.08 0.08 ws14 QF_LIA/QF_LIA_tropical-matrix_constraint-735583.yml unknown 0.08 0.08 ws03 QF_LIA/QF_LIA_tropical-matrix_constraint-737829.yml unknown 0.08 0.08 ws19 QF_LIA/QF_LIA_tropical-matrix_constraint-740637.yml unknown 0.08 0.08 ws18 QF_LIA/QF_LIA_tropical-matrix_constraint-797738.yml unknown 0.08 0.08 ws01 QF_LIA/QF_LIA_tropical-matrix_constraint-861420.yml unknown 0.08 0.08 ws02 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop14-4-7-7-2-4-24.yml unknown 0.07 0.07 ws18 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop22-4-11-11-2-4-24.yml unknown 0.09 0.09 ws01 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop30-4-15-15-2-4-24.yml unknown 0.08 0.08 ws03 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop40-4-20-20-2-4-24.yml unknown 0.08 0.08 ws09 QF_IDL/QF_IDL_20220214-jobshop-BohanLi_jobshop44-2-22-22-2-4-12.yml unknown 0.07 0.08 ws13 QF_IDL/QF_IDL_asp__GraphColouring_graph-colouring-nodes=140-density=0.1-instance=8.yml unknown 0.08 0.08 ws08 QF_IDL/QF_IDL_asp__KnightTour_knightTour.in08.yml unknown 0.12 0.12 ws17 QF_IDL/QF_IDL_asp__Labyrinth_laby_21_21_18.lp.yml unknown 0.22 0.22 ws16 QF_IDL/QF_IDL_fuzzy-matrix_HofWald_3.srs_slice-7_constraint-402641.yml unknown 0.07 0.08 ws08 QF_IDL/QF_IDL_fuzzy-matrix_Marche_turing_copy.srs_slice-7_constraint-442642.yml unknown 0.07 0.07 ws15 QF_IDL/QF_IDL_fuzzy-matrix_Waldmann_r6.srs_slice-4_constraint-151140.yml unknown 0.07 0.07 ws17 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z047.srs_slice-7_constraint-251639.yml unknown 0.07 0.07 ws16 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z053.srs_slice-8_constraint-227740.yml unknown 0.07 0.08 ws09 QF_IDL/QF_IDL_fuzzy-matrix_Zantema_z058.srs_slice-8_constraint-227540.yml unknown 0.08 0.08 ws20 QF_IDL/QF_IDL_fuzzy-matrix_relative_zr10.srs_slice-5_constraint-295501.yml unknown 0.07 0.07 ws18 QF_IDL/QF_IDL_fuzzy-matrix_secret06_torpa_secr5.srs_slice-8_constraint-389123.yml unknown 0.08 0.08 ws05 QF_IDL/QF_IDL_job_shop_jobshop20-2-10-10-4-4-11.yml unknown 0.07 0.07 ws14 QF_IDL/QF_IDL_job_shop_jobshop24-2-12-12-4-4-11.yml unknown 0.07 0.07 ws01 QF_IDL/QF_IDL_job_shop_jobshop30-2-15-15-4-4-11.yml unknown 0.07 0.07 ws02 QF_IDL/QF_IDL_job_shop_jobshop34-2-17-17-2-4-9.yml unknown 0.07 0.07 ws05 QF_IDL/QF_IDL_job_shop_jobshop44-2-22-22-2-4-9.yml unknown 0.07 0.07 ws09 QF_IDL/QF_IDL_job_shop_jobshop50-2-25-25-2-4-9.yml unknown 0.07 0.07 ws10 QF_IDL/QF_IDL_mathsat__fischer_FISCHER14-13-ninc.yml unknown 0.08 0.08 ws10 QF_IDL/QF_IDL_mathsat__fischer_FISCHER14-14-ninc.yml unknown 0.08 0.08 ws13 QF_IDL/QF_IDL_qlock_qlock-4-10-30.base.cvc.yml unknown 0.08 0.08 ws11 QF_IDL/QF_IDL_qlock_qlock-4-10-31.base.cvc.yml unknown 0.08 0.08 ws20 QF_IDL/QF_IDL_qlock_qlock-4-10-32.base.cvc.yml unknown 0.07 0.08 ws20 QF_IDL/QF_IDL_qlock_qlock-4-10-33.base.cvc.yml unknown 0.08 0.08 ws20 QF_IDL/QF_IDL_qlock_qlock-4-10-34.base.cvc.yml unknown 0.08 0.08 ws11 QF_IDL/QF_IDL_qlock_qlock-4-10-35.base.cvc.yml unknown 0.08 0.08 ws15 QF_IDL/QF_IDL_qlock_qlock-4-10-36.base.cvc.yml unknown 0.08 0.08 ws19 QF_IDL/QF_IDL_qlock_qlock-4-10-37.base.cvc.yml unknown 0.08 0.08 ws11 QF_IDL/QF_IDL_qlock_qlock-4-10-38.base.cvc.yml unknown 0.08 0.08 ws06 QF_IDL/QF_IDL_qlock_qlock-4-10-39.base.cvc.yml unknown 0.08 0.08 ws02 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen18-1.yml unknown 0.07 0.07 ws12 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen20-1.yml unknown 0.07 0.07 ws10 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen24-1.yml unknown 0.07 0.07 ws06 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen48-1.yml unknown 0.07 0.08 ws13 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen49-1.yml unknown 0.08 0.08 ws19 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen54-1.yml unknown 0.08 0.08 ws16 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen60-1.yml unknown 0.07 0.07 ws13 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen61-1.yml unknown 0.07 0.07 ws09 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen82-1.yml unknown 0.08 0.08 ws12 QF_IDL/QF_IDL_queens_bench__toroidal_bench_toroidal_queen98-1.yml unknown 0.08 0.08 ws07 QF_IDL/QF_IDL_schedulingIDL_j8_per0_1_mkspan1038.yml unknown 0.07 0.07 ws10 ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 89 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 89