BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_inc_QF_Bitvec.xml name: smtinterpol_inc_QF_Bitvec run sets: SMTInterpol,1,Incremental.task date: Fri, 2025-06-27 00:29:31 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 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_BV_2018-Goel-hwbench_QF_BV_bv8_bv_bakery.5.prop1_cc_ref_max.yml DONE (2 correct) 2.18 1.14 tc02 QF_BV_2018-Goel-hwbench_QF_BV_bv8_bv_szymanski.2.prop1_cc_ref_max.yml DONE (2 correct) 5.85 2.99 tc08 QF_BV_2018-Goel-hwbench_QF_BV_bv_bv_bakery.6.prop1_cc_ref_max.yml DONE (2 correct) 2.17 1.14 tc05 QF_BV_2018-Goel-hwbench_QF_BV_bv_bv_needham.1.prop2_cc_ref_max.yml TIMEOUT (TIMEOUT (0 correct)) 120.20 91.67 tc02 QF_BV_2018-Goel-hwbench_QF_BV_iprotocol.5.prop1_cc_ref_max.yml DONE (0 correct) 47.98 29.55 tc08 QF_BV_2018-Goel-hwbench_QF_BV_synapse.5.prop1_cc_ref_max.yml TIMEOUT (TIMEOUT (0 correct)) 121.02 95.41 tc05 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem01_label40_smt-query.0.yml DONE (1 correct) 6.25 3.19 tc05 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem13_label55_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 121.01 96.50 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem14_label04_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 120.08 94.89 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem15_label25_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 120.42 93.54 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem19_label03_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 120.59 65.08 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_Problem19_label14_smt-query.0.yml TIMEOUT (TIMEOUT (0 correct)) 122.14 66.39 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec2_product04.cil_smt-query.0.yml DONE (2 correct) 0.86 0.48 tc02 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec2_product18.cil_smt-query.0.yml DONE (2 correct) 0.83 0.47 tc05 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec3_product01.cil_smt-query.0.yml DONE (2 correct) 0.94 0.52 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_minepump_spec3_product04.cil_smt-query.1.yml DONE (1 correct) 0.77 0.44 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) 5.80 2.96 tc02 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) 22.74 11.43 tc08 QF_BV_20190307-CPAchecker_kInduction-SoSy_Lab_soft_float_5.c.cil_smt-query.0.yml DONE (2 correct) 0.63 0.37 tc08 QF_BV_kratos_systemC_swmc_pipeline.c.kratos.bv64.ind_k100.yml TIMEOUT (TIMEOUT (11 correct)) 120.23 90.68 tc02 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20