root
file
detailed [2950..2974]
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/Problem10_label27_smt-query.0.smt2
(content)
ok
ok
0.179s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label25_smt-query.0.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label23_smt-query.0.smt2
(content)
ok
ok
0.213s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label22_smt-query.0.smt2
(content)
ok
ok
0.200s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label21_smt-query.0.smt2
(content)
ok
ok
0.193s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label20_smt-query.0.smt2
(content)
ok
ok
0.143s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label19_smt-query.0.smt2
(content)
ok
ok
0.202s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label18_smt-query.0.smt2
(content)
ok
ok
0.183s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label17_smt-query.0.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label16_smt-query.0.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label14_smt-query.0.smt2
(content)
ok
ok
0.187s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label13_smt-query.0.smt2
(content)
ok
ok
0.153s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label11_smt-query.0.smt2
(content)
ok
ok
0.197s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label10_smt-query.0.smt2
(content)
ok
ok
0.192s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label09_smt-query.0.smt2
(content)
ok
ok
0.254s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label08_smt-query.0.smt2
(content)
ok
ok
0.190s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label07_smt-query.0.smt2
(content)
ok
ok
0.195s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label06_smt-query.0.smt2
(content)
ok
ok
0.208s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label05_smt-query.0.smt2
(content)
ok
ok
0.221s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label04_smt-query.0.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label03_smt-query.0.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label02_smt-query.0.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label01_smt-query.0.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem10_label00_smt-query.0.smt2
(content)
ok
ok
0.147s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem101_label22_smt-query.0.smt2
(content)
ok
ok
0.359s