detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product32.cil_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product32.cil_smt-query.0.smt2 (content) ok ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product31.cil_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product28.cil_smt-query.1.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product28.cil_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product27.cil_smt-query.0.smt2 (content) ok ok 0.329s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product24.cil_smt-query.1.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product24.cil_smt-query.0.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product23.cil_smt-query.0.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product20.cil_smt-query.1.smt2 (content) ok ok 0.336s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product20.cil_smt-query.0.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product19.cil_smt-query.0.smt2 (content) ok ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product11.cil_smt-query.0.smt2 (content) ok ok 0.326s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec14_product03.cil_smt-query.0.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec13_product32.cil_smt-query.0.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec13_product31.cil_smt-query.0.smt2 (content) ok ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec13_product24.cil_smt-query.0.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/elevator_spec13_product23.cil_smt-query.0.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/diskperf.i.cil-1_smt-query.0.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/diamond_2-1_smt-query.1.smt2 (content) ok ok 0.257s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/diamond_1-2_smt-query.1.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/css2003_smt-query.0.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/count_up_down-2_smt-query.1.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/count_up_down-2_smt-query.0.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/const_1-1_smt-query.0.smt2 (content) ok ok 0.181s