root
file
detailed [3475..3499]
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/Problem19_label59_smt-query.0.smt2
(content)
ok
ok
0.934s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label58_smt-query.0.smt2
(content)
ok
ok
0.924s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label57_smt-query.0.smt2
(content)
ok
ok
0.936s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label56_smt-query.0.smt2
(content)
ok
ok
0.961s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label55_smt-query.0.smt2
(content)
ok
ok
0.941s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label54_smt-query.0.smt2
(content)
ok
ok
0.916s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label52_smt-query.0.smt2
(content)
ok
ok
0.988s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label51_smt-query.0.smt2
(content)
ok
ok
0.932s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label50_smt-query.0.smt2
(content)
ok
ok
0.962s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label49_smt-query.0.smt2
(content)
ok
ok
0.963s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label48_smt-query.0.smt2
(content)
ok
ok
0.982s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label47_smt-query.0.smt2
(content)
ok
ok
0.944s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label46_smt-query.0.smt2
(content)
ok
ok
0.948s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label45_smt-query.0.smt2
(content)
ok
ok
0.910s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label44_smt-query.0.smt2
(content)
ok
ok
0.932s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label43_smt-query.0.smt2
(content)
ok
ok
0.950s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label42_smt-query.0.smt2
(content)
ok
ok
0.986s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label41_smt-query.0.smt2
(content)
ok
ok
1s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label40_smt-query.0.smt2
(content)
ok
ok
0.951s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label39_smt-query.0.smt2
(content)
ok
ok
0.977s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label38_smt-query.0.smt2
(content)
ok
ok
1s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label37_smt-query.0.smt2
(content)
ok
ok
0.949s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label36_smt-query.0.smt2
(content)
ok
ok
0.951s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label35_smt-query.0.smt2
(content)
ok
ok
0.981s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label34_smt-query.0.smt2
(content)
ok
ok
0.965s