BENCHMARK INFORMATION benchmark definition: run_definitions/bitwuzla_inc_Bitvec.xml name: bitwuzla_inc_Bitvec run sets: Bitwuzla,1,Incremental.task date: Tue, 2025-06-24 13:56:06 CEST tool: Bitwuzla tool executable: ./unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla 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 ------------------------------------------------------------ Bitwuzla,1,Incremental.task Run set 1 of 1 with options 'unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- BV_20170501-Heizmann-UltimateAutomizer_MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.yml TIMEOUT (TIMEOUT (1961 correct)) 61.01 61.00 tc04 BV_20170501-Heizmann-UltimateAutomizer_byte_add_1_true-unreach-call_true-no-overflow.i.yml DONE (4239 correct) 10.84 10.86 tc04 BV_20170501-Heizmann-UltimateAutomizer_byte_add_2_true-unreach-call_true-no-overflow.i.yml DONE (4412 correct) 12.21 12.20 tc08 BV_20170501-Heizmann-UltimateAutomizer_gcd02_true-unreach-call_true-no-overflow_true-termination.c.yml TIMEOUT (TIMEOUT (3260 correct)) 60.96 61.00 tc04 BV_20170501-Heizmann-UltimateAutomizer_gcd_2_true-unreach-call_true-no-overflow.i.yml DONE (1203 correct) 41.29 41.29 tc08 BV_20170501-Heizmann-UltimateAutomizer_gcd_3_true-unreach-call_true-no-overflow.i.yml DONE (1468 correct) 46.22 46.23 tc07 BV_20170501-Heizmann-UltimateAutomizer_gcd_4_true-unreach-call_true-no-overflow.i.yml DONE (2669 correct) 31.21 31.30 tc07 BV_20170501-Heizmann-UltimateAutomizer_jain_1_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (195 correct)) 60.99 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_jain_2_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (58 correct)) 61.02 61.00 tc04 BV_20170501-Heizmann-UltimateAutomizer_jain_4_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (58 correct)) 61.02 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_jain_6_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (58 correct)) 61.02 61.00 tc05 BV_20170501-Heizmann-UltimateAutomizer_jain_7_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (61 correct)) 61.00 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_num_conversion_2_true-unreach-call_true-no-overflow.i.yml DONE (3824 correct) 9.47 9.46 tc02 BV_20170501-Heizmann-UltimateAutomizer_s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c.yml TIMEOUT (TIMEOUT (2713 correct)) 61.04 61.00 tc07 BV_20170501-Heizmann-UltimateAutomizer_s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c.yml DONE (3164 correct) 9.91 9.90 tc02 BV_20170501-Heizmann-UltimateAutomizer_soft_float_4_true-unreach-call_true-no-overflow.c.cil.c.yml TIMEOUT (TIMEOUT (3202 correct)) 61.00 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_sum02_false-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (597 correct)) 61.04 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_sum02_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (414 correct)) 61.01 61.00 tc08 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 144.34 - Statistics: 18 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 18