root
file
detailed [3450..3474]
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/Problem19_label33_smt-query.0.smt2
(content)
ok
ok
0.957s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label32_smt-query.0.smt2
(content)
ok
ok
0.936s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label31_smt-query.0.smt2
(content)
ok
ok
0.944s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label30_smt-query.0.smt2
(content)
ok
ok
0.959s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label29_smt-query.0.smt2
(content)
ok
ok
0.994s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label28_smt-query.0.smt2
(content)
ok
ok
0.930s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label27_smt-query.0.smt2
(content)
ok
ok
0.925s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label26_smt-query.0.smt2
(content)
ok
ok
0.948s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label25_smt-query.0.smt2
(content)
ok
ok
0.915s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label24_smt-query.0.smt2
(content)
ok
ok
0.948s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label23_smt-query.0.smt2
(content)
ok
ok
0.944s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label21_smt-query.0.smt2
(content)
ok
ok
1s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label20_smt-query.0.smt2
(content)
ok
ok
0.980s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label19_smt-query.0.smt2
(content)
ok
ok
0.934s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label18_smt-query.0.smt2
(content)
ok
ok
0.980s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label17_smt-query.0.smt2
(content)
ok
ok
0.976s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label16_smt-query.0.smt2
(content)
ok
ok
0.931s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label14_smt-query.0.smt2
(content)
ok
ok
0.948s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label13_smt-query.0.smt2
(content)
ok
ok
0.955s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label12_smt-query.0.smt2
(content)
ok
ok
0.945s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label11_smt-query.0.smt2
(content)
ok
ok
0.984s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label10_smt-query.0.smt2
(content)
ok
ok
0.973s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label09_smt-query.0.smt2
(content)
ok
ok
0.940s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label08_smt-query.0.smt2
(content)
ok
ok
0.959s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label07_smt-query.0.smt2
(content)
ok
ok
1.2s