root
file
detailed [3375..3399]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label16_smt-query.0.smt2
(content)
ok
ok
0.456s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label15_smt-query.0.smt2
(content)
ok
ok
0.461s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label14_smt-query.0.smt2
(content)
ok
ok
0.423s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label13_smt-query.0.smt2
(content)
ok
ok
0.388s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label12_smt-query.0.smt2
(content)
ok
ok
0.382s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label11_smt-query.0.smt2
(content)
ok
ok
0.427s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label10_smt-query.0.smt2
(content)
ok
ok
0.396s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label09_smt-query.0.smt2
(content)
ok
ok
0.402s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label08_smt-query.0.smt2
(content)
ok
ok
0.389s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label07_smt-query.0.smt2
(content)
ok
ok
0.380s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label06_smt-query.0.smt2
(content)
ok
ok
0.441s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label05_smt-query.0.smt2
(content)
ok
ok
0.416s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label04_smt-query.0.smt2
(content)
ok
ok
0.394s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label03_smt-query.0.smt2
(content)
ok
ok
0.388s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label02_smt-query.0.smt2
(content)
ok
ok
0.443s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label01_smt-query.0.smt2
(content)
ok
ok
0.391s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label00_smt-query.0.smt2
(content)
ok
ok
0.390s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label59_smt-query.0.smt2
(content)
ok
ok
0.393s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label58_smt-query.0.smt2
(content)
ok
ok
0.386s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label57_smt-query.0.smt2
(content)
ok
ok
0.529s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label56_smt-query.0.smt2
(content)
ok
ok
0.400s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label55_smt-query.0.smt2
(content)
ok
ok
0.375s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label54_smt-query.0.smt2
(content)
ok
ok
0.392s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label53_smt-query.0.smt2
(content)
ok
ok
0.402s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label52_smt-query.0.smt2
(content)
ok
ok
0.399s