root
file
detailed [2800..2824]
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_label49_smt-query.0.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label48_smt-query.0.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label47_smt-query.1.smt2
(content)
ok
ok
0.144s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label46_smt-query.0.smt2
(content)
ok
ok
0.147s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label45_smt-query.0.smt2
(content)
ok
ok
0.153s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label44_smt-query.1.smt2
(content)
ok
ok
0.108s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label43_smt-query.0.smt2
(content)
ok
ok
0.150s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label42_smt-query.0.smt2
(content)
ok
ok
0.143s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label41_smt-query.0.smt2
(content)
ok
ok
0.186s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label40_smt-query.0.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label39_smt-query.0.smt2
(content)
ok
ok
0.186s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label38_smt-query.1.smt2
(content)
ok
ok
0.140s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label37_smt-query.1.smt2
(content)
ok
ok
0.209s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label36_smt-query.0.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label35_smt-query.1.smt2
(content)
ok
ok
0.194s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label34_smt-query.0.smt2
(content)
ok
ok
0.211s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label33_smt-query.1.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label32_smt-query.1.smt2
(content)
ok
ok
0.132s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label31_smt-query.0.smt2
(content)
ok
ok
0.178s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label30_smt-query.0.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label29_smt-query.0.smt2
(content)
ok
ok
0.188s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label28_smt-query.0.smt2
(content)
ok
ok
0.220s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label27_smt-query.0.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label26_smt-query.0.smt2
(content)
ok
ok
0.185s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem01_label25_smt-query.0.smt2
(content)
ok
ok
0.218s