BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_Bitvec.xml name: cvc5_inc_Bitvec run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 15:00:40 CEST tool: cvc5 tool executable: ./unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_sq 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 ------------------------------------------------------------ cvc5,3,Incremental.task Run set 1 of 1 with options 'unpack/5a2472e19477669429b98bad30984ceb59109d7a9f83532297e06bc8dfd2a949/bin/smtcomp_run_incremental' 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 (3875 correct) 24.01 23.99 tc02 BV_20170501-Heizmann-UltimateAutomizer_byte_add_1_true-unreach-call_true-no-overflow.i.yml DONE (4239 correct) 9.02 8.97 tc08 BV_20170501-Heizmann-UltimateAutomizer_byte_add_2_true-unreach-call_true-no-overflow.i.yml DONE (4412 correct) 9.39 9.33 tc08 BV_20170501-Heizmann-UltimateAutomizer_gcd02_true-unreach-call_true-no-overflow_true-termination.c.yml TIMEOUT (TIMEOUT (3276 correct)) 61.06 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_gcd_2_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (715 correct)) 61.09 61.00 tc05 BV_20170501-Heizmann-UltimateAutomizer_gcd_3_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (585 correct)) 61.10 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_gcd_4_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (2656 correct)) 61.08 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_jain_1_true-unreach-call_true-no-overflow.i.yml DONE (438 correct) 4.12 4.11 tc05 BV_20170501-Heizmann-UltimateAutomizer_jain_2_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (233 correct)) 61.01 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_jain_4_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (199 correct)) 61.01 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_jain_6_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (194 correct)) 61.01 61.00 tc08 BV_20170501-Heizmann-UltimateAutomizer_jain_7_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (215 correct)) 61.00 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_num_conversion_2_true-unreach-call_true-no-overflow.i.yml DONE (3824 correct) 38.66 38.61 tc02 BV_20170501-Heizmann-UltimateAutomizer_s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c.yml TIMEOUT (TIMEOUT (2292 correct)) 61.06 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c.yml DONE (3164 correct) 6.12 6.07 tc08 BV_20170501-Heizmann-UltimateAutomizer_soft_float_4_true-unreach-call_true-no-overflow.c.cil.c.yml DONE (3580 correct) 30.16 30.14 tc02 BV_20170501-Heizmann-UltimateAutomizer_sum02_false-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (226 correct)) 61.01 61.00 tc02 BV_20170501-Heizmann-UltimateAutomizer_sum02_true-unreach-call_true-no-overflow.i.yml TIMEOUT (TIMEOUT (245 correct)) 61.01 61.00 tc02 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 66.83 - Statistics: 18 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 18