root
file
detailed [2900..2924]
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/Problem04_label29_smt-query.0.smt2
(content)
ok
ok
0.535s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label28_smt-query.0.smt2
(content)
ok
ok
0.584s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label25_smt-query.0.smt2
(content)
ok
ok
0.550s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label24_smt-query.0.smt2
(content)
ok
ok
0.548s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label23_smt-query.0.smt2
(content)
ok
ok
0.561s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label22_smt-query.0.smt2
(content)
ok
ok
0.602s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label21_smt-query.0.smt2
(content)
ok
ok
0.589s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label20_smt-query.0.smt2
(content)
ok
ok
0.514s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label16_smt-query.0.smt2
(content)
ok
ok
0.584s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label10_smt-query.0.smt2
(content)
ok
ok
0.546s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label08_smt-query.0.smt2
(content)
ok
ok
0.618s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label07_smt-query.0.smt2
(content)
ok
ok
0.537s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label05_smt-query.0.smt2
(content)
ok
ok
0.529s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label03_smt-query.0.smt2
(content)
ok
ok
0.556s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label02_smt-query.0.smt2
(content)
ok
ok
0.592s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label01_smt-query.0.smt2
(content)
ok
ok
0.525s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem04_label00_smt-query.0.smt2
(content)
ok
ok
0.545s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label52_smt-query.1.smt2
(content)
ok
ok
0.203s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label50_smt-query.1.smt2
(content)
ok
ok
0.143s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label46_smt-query.0.smt2
(content)
ok
ok
0.292s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label45_smt-query.1.smt2
(content)
ok
ok
0.184s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label43_smt-query.1.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label39_smt-query.1.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label38_smt-query.0.smt2
(content)
ok
ok
0.350s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem03_label37_smt-query.1.smt2
(content)
ok
ok
0.146s