root
file
detailed [2775..2799]
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/Problem01_label24_smt-query.0.smt2
(content)
ok
ok
0.143s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label23_smt-query.0.smt2
(content)
ok
ok
0.207s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label22_smt-query.0.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label21_smt-query.1.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label20_smt-query.1.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label19_smt-query.0.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label18_smt-query.0.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label17_smt-query.0.smt2
(content)
ok
ok
0.149s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label16_smt-query.0.smt2
(content)
ok
ok
0.205s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label15_smt-query.1.smt2
(content)
ok
ok
0.195s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label14_smt-query.0.smt2
(content)
ok
ok
0.148s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label13_smt-query.0.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label12_smt-query.0.smt2
(content)
ok
ok
0.150s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label11_smt-query.0.smt2
(content)
ok
ok
0.186s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label10_smt-query.0.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label09_smt-query.0.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label08_smt-query.0.smt2
(content)
ok
ok
0.189s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label07_smt-query.0.smt2
(content)
ok
ok
0.146s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label06_smt-query.0.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label05_smt-query.0.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label04_smt-query.0.smt2
(content)
ok
ok
0.149s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label03_smt-query.0.smt2
(content)
ok
ok
0.148s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label02_smt-query.0.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label01_smt-query.0.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label00_smt-query.0.smt2
(content)
ok
ok
0.187s