detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label30_smt-query.0.smt2 (content) ok ok 0.659s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label29_smt-query.0.smt2 (content) ok ok 0.590s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label28_smt-query.0.smt2 (content) ok ok 0.646s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label25_smt-query.0.smt2 (content) ok ok 0.725s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label24_smt-query.0.smt2 (content) ok ok 0.690s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label23_smt-query.0.smt2 (content) ok ok 0.648s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label22_smt-query.0.smt2 (content) ok ok 0.699s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label21_smt-query.0.smt2 (content) ok ok 0.659s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label20_smt-query.0.smt2 (content) ok ok 0.658s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label16_smt-query.0.smt2 (content) ok ok 0.587s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label10_smt-query.0.smt2 (content) ok ok 0.667s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label08_smt-query.0.smt2 (content) ok ok 0.608s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label07_smt-query.0.smt2 (content) ok ok 0.653s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label05_smt-query.0.smt2 (content) ok ok 0.649s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label03_smt-query.0.smt2 (content) ok ok 0.591s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label02_smt-query.0.smt2 (content) ok ok 0.725s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label01_smt-query.0.smt2 (content) ok ok 0.632s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label00_smt-query.0.smt2 (content) ok ok 0.648s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label52_smt-query.1.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label50_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label46_smt-query.0.smt2 (content) ok ok 0.395s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label45_smt-query.1.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label43_smt-query.1.smt2 (content) ok ok 0.324s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label39_smt-query.1.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label38_smt-query.0.smt2 (content) ok ok 0.374s