BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_inc_QF_Bitvec.xml name: yices2_inc_QF_Bitvec run sets: Yices2,3,Incremental.task date: Mon, 2025-06-23 15:42:21 CEST tool: Yices2 tool executable: /usr/bin/./false 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 ------------------------------------------------------------ Yices2,3,Incremental.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices_smt2 --incremental' 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.01 0.01 tc05 QF_BV_2018-Goel-hwbench_QF_BV_bv8_bv_szymanski.2.prop1_cc_ref_max.yml DONE (2 correct) 0.01 0.01 tc08 QF_BV_2018-Goel-hwbench_QF_BV_bv_bv_bakery.6.prop1_cc_ref_max.yml DONE (2 correct) 0.01 0.01 tc02 QF_BV_2018-Goel-hwbench_QF_BV_bv_bv_needham.1.prop2_cc_ref_max.yml DONE (2 correct) 0.56 0.56 tc05 QF_BV_2018-Goel-hwbench_QF_BV_iprotocol.5.prop1_cc_ref_max.yml DONE (2 correct) 0.07 0.07 tc08 QF_BV_2018-Goel-hwbench_QF_BV_synapse.5.prop1_cc_ref_max.yml DONE (2 correct) 0.14 0.14 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem01_label40_smt-query.0.yml DONE (1 correct) 0.14 0.14 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem13_label55_smt-query.0.yml DONE (1 correct) 12.10 12.07 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem14_label04_smt-query.0.yml DONE (1 correct) 2.02 2.01 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem15_label25_smt-query.0.yml DONE (1 correct) 5.27 5.26 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem19_label03_smt-query.0.yml DONE (1 correct) 32.44 32.39 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem19_label14_smt-query.0.yml DONE (1 correct) 16.71 16.66 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec2_product04.cil_smt-query.0.yml DONE (2 correct) 0.01 0.01 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec2_product18.cil_smt-query.0.yml DONE (2 correct) 0.01 0.01 tc05 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec3_product01.cil_smt-query.0.yml DONE (2 correct) 0.01 0.01 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec3_product04.cil_smt-query.1.yml DONE (1 correct) 0.00 0.00 tc08 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.03 0.03 tc05 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.05 0.05 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_soft_float_5.c.cil_smt-query.0.yml DONE (2 correct) 0.00 0.01 tc02 QF_BV_kratos_systemC_swmc_pipeline.c.kratos.bv64.ind_k100.yml TIMEOUT (TIMEOUT (13 correct)) 61.01 61.00 tc02 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 67.01 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20