BENCHMARK INFORMATION benchmark definition: run_definitions/bitwuzla_inc_QF_Bitvec.xml name: bitwuzla_inc_QF_Bitvec run sets: Bitwuzla,1,Incremental.task date: Tue, 2025-06-24 13:51:49 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 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_BV_2018-Goel-hwbench_QF_BV_bv8_bv_bakery.5.prop1_cc_ref_max.yml DONE (2 correct) 0.02 0.02 tc07 QF_BV_2018-Goel-hwbench_QF_BV_bv8_bv_szymanski.2.prop1_cc_ref_max.yml DONE (2 correct) 0.03 0.03 tc07 QF_BV_2018-Goel-hwbench_QF_BV_bv_bv_bakery.6.prop1_cc_ref_max.yml DONE (2 correct) 0.02 0.02 tc07 QF_BV_2018-Goel-hwbench_QF_BV_bv_bv_needham.1.prop2_cc_ref_max.yml DONE (2 correct) 1.47 1.45 tc07 QF_BV_2018-Goel-hwbench_QF_BV_iprotocol.5.prop1_cc_ref_max.yml DONE (2 correct) 0.26 0.26 tc04 QF_BV_2018-Goel-hwbench_QF_BV_synapse.5.prop1_cc_ref_max.yml DONE (2 correct) 0.47 0.46 tc04 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem01_label40_smt-query.0.yml DONE (1 correct) 0.43 0.43 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem13_label55_smt-query.0.yml DONE (1 correct) 34.48 34.43 tc06 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem14_label04_smt-query.0.yml DONE (1 correct) 5.19 5.19 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem15_label25_smt-query.0.yml DONE (1 correct) 15.26 15.27 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem19_label03_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 61.47 61.00 tc05 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem19_label14_smt-query.0.yml TIMEOUT (TIMEOUT (1 correct)) 61.27 61.00 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec2_product04.cil_smt-query.0.yml DONE (2 correct) 0.01 0.02 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec2_product18.cil_smt-query.0.yml DONE (2 correct) 0.01 0.01 tc03 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec3_product01.cil_smt-query.0.yml DONE (2 correct) 0.01 0.01 tc03 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec3_product04.cil_smt-query.1.yml DONE (1 correct) 0.01 0.01 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_pals_floodmax.3.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer_smt-query.1.yml DONE (1 correct) 0.04 0.04 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_pals_lcr.5.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer_smt-query.1.yml DONE (1 correct) 0.08 0.08 tc07 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_soft_float_5.c.cil_smt-query.0.yml DONE (2 correct) 0.01 0.01 tc07 QF_BV_kratos_systemC_swmc_pipeline.c.kratos.bv64.ind_k100.yml TIMEOUT (TIMEOUT (45 correct)) 61.08 61.00 tc03 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 88.58 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20