BENCHMARK INFORMATION benchmark definition: run_definitions/stppartibitwuzlaatsmtcomp2025_parallel_QF_Bitvec.xml name: stppartibitwuzlaatsmtcomp2025_parallel_QF_Bitvec run sets: STP-Parti-Bitwuzla-at-SMT-COMP-2025,0,Parallel.task date: Sat, 2025-06-28 16:40:05 CEST tool: STP-Parti-Bitwuzla-at-SMT-COMP-2025 tool executable: ./unpack/fa838a52eefe88ea017e6d8f580ae4615573e8f5aaa224819c4fd25d0eaab2f2/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.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 ------------------------------------------------------------ STP-Parti-Bitwuzla-at-SMT-COMP-2025,0,Parallel.task Run set 1 of 1 with options 'unpack/fa838a52eefe88ea017e6d8f580ae4615573e8f5aaa224819c4fd25d0eaab2f2/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.py' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------ QF_BV_20210219-Sydr__symbolic_memory__bst__yices_predicate_575.yml TIMEOUT 485.62 61.05 ws08 QF_BV_20210312-Bouvier_vlsat3_a26.yml OUT OF MEMORY 303.02 38.36 ws19 QF_BV_20210312-Bouvier_vlsat3_a43.yml TIMEOUT 485.84 61.05 ws10 QF_BV_20210312-Bouvier_vlsat3_a61.yml TIMEOUT 489.08 69.95 ws08 QF_BV_20220315-ecrw_rw_rule_candidate_vmcai_2022_bw512_8.yml OUT OF MEMORY 367.36 46.09 ws05 QF_BV_20221214-p4dfa-XiaoqiChen__StringMatching_string2x16.6._bit8_na6_nr3_paired.yml TIMEOUT 488.09 78.55 ws04 QF_BV_20230221-oisc-gurtner_AND-NESTED-20-32-src-sp-not-excluded.yml OUT OF MEMORY 140.34 58.22 ws15 QF_BV_20230221-oisc-gurtner_SRLI-SAFE-256-1024.yml TIMEOUT 483.44 109.11 ws13 QF_BV_Sage2_bench_14045.yml OUT OF MEMORY 371.39 52.41 ws14 QF_BV_Sage2_bench_6295.yml OUT OF MEMORY 218.22 34.43 ws11 QF_BV_Sage2_bench_9674.yml false 259.78 32.90 ws19 QF_BV_VS3_VS3-benchmark-A12.yml OUT OF MEMORY 342.33 43.01 ws10 QF_BV_asp__EdgeMatching_edge-matching-width=10-height=10-colours=7.yml TIMEOUT 484.12 128.10 ws09 QF_BV_asp__Labyrinth_laby_18_18_13.lp.yml TIMEOUT 483.20 139.39 ws20 QF_BV_asp__Labyrinth_laby_21_21_18.lp.yml TIMEOUT 482.92 156.64 ws06 QF_BV_asp__Labyrinth_laby_21_21_19.lp.yml TIMEOUT 483.67 155.38 ws17 QF_BV_asp__Labyrinth_laby_22_22_17.lp.yml TIMEOUT 481.29 160.39 ws07 QF_BV_brummayerbiere3_maxxormaxorand256.yml TIMEOUT 488.59 85.24 ws15 QF_BV_brummayerbiere3_minxor256.yml OUT OF MEMORY 331.33 43.18 ws01 QF_BV_brummayerbiere3_mulhs64.yml OUT OF MEMORY 267.48 33.53 ws01 QF_BV_calypto_problem_17.yml TIMEOUT 486.46 61.05 ws02 QF_BV_float_gaussian.c.175.yml TIMEOUT 484.43 124.91 ws11 QF_BV_float_newton.2.3.i.yml TIMEOUT 488.65 63.59 ws20 QF_BV_float_qurt.c.25.yml TIMEOUT 481.00 116.58 ws14 QF_BV_float_sin.c.175.yml TIMEOUT 484.27 124.23 ws01 QF_BV_float_test_v5_r10_vr10_c1_s15708.yml TIMEOUT 488.64 67.40 tc07 QF_BV_float_test_v5_r10_vr10_c1_s21502.yml TIMEOUT 488.44 67.13 ws19 QF_BV_float_test_v7_r12_vr1_c1_s703.yml TIMEOUT 485.89 80.58 ws18 QF_BV_log-slicing_bvadd_29740.yml OUT OF MEMORY 52.36 6.57 ws18 QF_BV_log-slicing_bvmul_18.yml TIMEOUT 486.01 61.08 ws03 QF_BV_log-slicing_bvsmod_15.yml TIMEOUT 485.89 61.05 ws16 QF_BV_log-slicing_bvsmod_19.yml TIMEOUT 485.04 61.04 ws12 QF_BV_log-slicing_bvsub_23940.yml OUT OF MEMORY 47.86 6.02 ws18 QF_BV_log-slicing_bvudiv_24.yml TIMEOUT 484.96 61.05 ws16 QF_BV_mcm_105.yml TIMEOUT 488.86 65.82 ws13 QF_BV_mcm_126.yml TIMEOUT 488.81 68.24 ws02 QF_BV_mcm_128.yml TIMEOUT 488.71 67.59 ws18 QF_BV_mcm_145.yml TIMEOUT 488.74 69.01 ws05 QF_BV_mcm_151.yml TIMEOUT 488.73 66.97 ws16 QF_BV_mcm_153.yml TIMEOUT 488.64 70.90 ws03 QF_BV_mcm_163.yml TIMEOUT 484.55 97.99 ws04 QF_BV_mcm_174.yml TIMEOUT 484.68 120.52 ws10 QF_BV_mcm_179.yml TIMEOUT 480.48 122.34 ws12 QF_BV_mcm_180.yml TIMEOUT 480.50 122.41 ws05 QF_BV_mcm_50.yml OUT OF MEMORY 402.55 51.02 ws11 QF_BV_mcm_63.yml OUT OF MEMORY 406.93 51.58 ws13 ------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None None - Statistics: 46 Files correct: 1 correct true: 0 correct false: 1 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 45