BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_inc_Bitvec.xml name: smtinterpol_inc_Bitvec run sets: SMTInterpol,1,Incremental.task date: Fri, 2025-06-27 00:41:06 CEST tool: SMTInterpol tool executable: ./unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 120 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ SMTInterpol,1,Incremental.task Run set 1 of 1 with options 'unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol' 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 DONE (3716 correct) 23.36 11.81 tc08 BV_20170501-Heizmann-UltimateAutomizer_byte_add_1_true-unreach-call_true-no-overflow.i.yml DONE (1499 correct) 38.98 19.58 tc02 BV_20170501-Heizmann-UltimateAutomizer_byte_add_2_true-unreach-call_true-no-overflow.i.yml DONE (1526 correct) 39.66 19.93 tc08 BV_20170501-Heizmann-UltimateAutomizer_gcd02_true-unreach-call_true-no-overflow_true-termination.c.yml DONE (3618 correct) 28.57 14.42 tc05 BV_20170501-Heizmann-UltimateAutomizer_gcd_2_true-unreach-call_true-no-overflow.i.yml DONE (726 correct) 82.92 47.06 tc02 BV_20170501-Heizmann-UltimateAutomizer_gcd_3_true-unreach-call_true-no-overflow.i.yml DONE (840 correct) 70.61 35.65 tc02 BV_20170501-Heizmann-UltimateAutomizer_gcd_4_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (529 correct)) 120.21 116.98 tc02 BV_20170501-Heizmann-UltimateAutomizer_jain_1_true-unreach-call_true-no-overflow.i.yml DONE (363 correct) 6.13 3.14 tc02 BV_20170501-Heizmann-UltimateAutomizer_jain_2_true-unreach-call_true-no-overflow.i.yml DONE (366 correct) 10.13 5.14 tc02 BV_20170501-Heizmann-UltimateAutomizer_jain_4_true-unreach-call_true-no-overflow.i.yml DONE (365 correct) 14.42 7.31 tc08 BV_20170501-Heizmann-UltimateAutomizer_jain_6_true-unreach-call_true-no-overflow.i.yml DONE (363 correct) 13.11 6.64 tc08 BV_20170501-Heizmann-UltimateAutomizer_jain_7_true-unreach-call_true-no-overflow.i.yml DONE (369 correct) 10.14 5.18 tc08 BV_20170501-Heizmann-UltimateAutomizer_num_conversion_2_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (2108 correct)) 120.25 77.05 tc02 BV_20170501-Heizmann-UltimateAutomizer_s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c.yml DONE (2395 correct) 41.27 20.77 tc08 BV_20170501-Heizmann-UltimateAutomizer_s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c.yml TIMEOUT (TIMEOUT (375 correct)) 120.88 96.16 tc08 BV_20170501-Heizmann-UltimateAutomizer_soft_float_4_true-unreach-call_true-no-overflow.c.cil.c.yml TIMEOUT (TIMEOUT (457 correct)) 120.95 99.71 tc05 BV_20170501-Heizmann-UltimateAutomizer_sum02_false-unreach-call_true-no-overflow.i.yml DONE (183 correct) 13.39 6.77 tc02 BV_20170501-Heizmann-UltimateAutomizer_sum02_true-unreach-call_true-no-overflow.i.yml DONE (189 correct) 8.84 4.51 tc08 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 18 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 18