root
file
detailed [3300..3324]
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/Problem17_label01_smt-query.0.smt2
(content)
ok
ok
0.388s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem17_label00_smt-query.0.smt2
(content)
ok
ok
0.395s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label59_smt-query.0.smt2
(content)
ok
ok
0.245s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label58_smt-query.0.smt2
(content)
ok
ok
0.279s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label57_smt-query.0.smt2
(content)
ok
ok
0.232s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label56_smt-query.0.smt2
(content)
ok
ok
0.258s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label55_smt-query.0.smt2
(content)
ok
ok
0.270s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label54_smt-query.0.smt2
(content)
ok
ok
0.238s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label53_smt-query.0.smt2
(content)
ok
ok
0.308s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label52_smt-query.0.smt2
(content)
ok
ok
0.232s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label51_smt-query.0.smt2
(content)
ok
ok
0.257s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label50_smt-query.0.smt2
(content)
ok
ok
0.262s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label49_smt-query.0.smt2
(content)
ok
ok
0.234s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label48_smt-query.0.smt2
(content)
ok
ok
0.250s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label47_smt-query.0.smt2
(content)
ok
ok
0.261s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label46_smt-query.0.smt2
(content)
ok
ok
0.249s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label45_smt-query.0.smt2
(content)
ok
ok
0.235s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label44_smt-query.0.smt2
(content)
ok
ok
0.242s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label43_smt-query.0.smt2
(content)
ok
ok
0.245s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label42_smt-query.0.smt2
(content)
ok
ok
0.250s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label41_smt-query.0.smt2
(content)
ok
ok
0.363s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label40_smt-query.0.smt2
(content)
ok
ok
0.224s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label39_smt-query.0.smt2
(content)
ok
ok
0.239s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label38_smt-query.0.smt2
(content)
ok
ok
0.238s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label37_smt-query.0.smt2
(content)
ok
ok
0.233s