root
file
detailed [2925..2949]
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/Problem101_label13_smt-query.0.smt2
(content)
ok
ok
0.292s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem101_label09_smt-query.0.smt2
(content)
ok
ok
0.303s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem101_label02_smt-query.0.smt2
(content)
ok
ok
0.348s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem07_label20_smt-query.0.smt2
(content)
ok
ok
0.342s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem06_label57_smt-query.0.smt2
(content)
ok
ok
1.1s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem05_label45_smt-query.0.smt2
(content)
ok
ok
1s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label59_smt-query.0.smt2
(content)
ok
ok
0.723s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label57_smt-query.0.smt2
(content)
ok
ok
0.544s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label56_smt-query.0.smt2
(content)
ok
ok
0.522s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label54_smt-query.0.smt2
(content)
ok
ok
0.559s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label53_smt-query.0.smt2
(content)
ok
ok
0.541s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label51_smt-query.0.smt2
(content)
ok
ok
0.583s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label50_smt-query.0.smt2
(content)
ok
ok
0.557s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label49_smt-query.0.smt2
(content)
ok
ok
0.545s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label48_smt-query.0.smt2
(content)
ok
ok
0.573s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label47_smt-query.0.smt2
(content)
ok
ok
0.532s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label46_smt-query.0.smt2
(content)
ok
ok
0.569s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label44_smt-query.0.smt2
(content)
ok
ok
0.543s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label43_smt-query.0.smt2
(content)
ok
ok
0.540s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label42_smt-query.0.smt2
(content)
ok
ok
0.535s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label41_smt-query.0.smt2
(content)
ok
ok
0.550s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label37_smt-query.0.smt2
(content)
ok
ok
0.563s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label34_smt-query.0.smt2
(content)
ok
ok
0.561s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label33_smt-query.0.smt2
(content)
ok
ok
0.605s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label30_smt-query.0.smt2
(content)
ok
ok
0.584s