detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label12_smt-query.0.smt2 (content) ok ok 0.337s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label11_smt-query.0.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label10_smt-query.0.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label09_smt-query.0.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label08_smt-query.0.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label07_smt-query.0.smt2 (content) ok ok 0.414s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label06_smt-query.0.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label05_smt-query.0.smt2 (content) ok ok 0.416s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label04_smt-query.0.smt2 (content) ok ok 0.330s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label03_smt-query.0.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label02_smt-query.0.smt2 (content) ok ok 0.421s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label01_smt-query.0.smt2 (content) ok ok 0.326s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label00_smt-query.0.smt2 (content) ok ok 0.343s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label59_smt-query.0.smt2 (content) ok ok 0.336s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label58_smt-query.0.smt2 (content) ok ok 0.416s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label57_smt-query.0.smt2 (content) ok ok 0.398s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label56_smt-query.0.smt2 (content) ok ok 0.406s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label55_smt-query.0.smt2 (content) ok ok 0.389s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label54_smt-query.0.smt2 (content) ok ok 0.329s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label53_smt-query.0.smt2 (content) ok ok 0.401s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label52_smt-query.0.smt2 (content) ok ok 0.392s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label51_smt-query.0.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label50_smt-query.0.smt2 (content) ok ok 0.327s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label49_smt-query.0.smt2 (content) ok ok 0.323s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label48_smt-query.0.smt2 (content) ok ok 0.336s