root
file
detailed [3275..3299]
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/Problem16_label36_smt-query.0.smt2
(content)
ok
ok
0.248s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label35_smt-query.0.smt2
(content)
ok
ok
0.262s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label34_smt-query.0.smt2
(content)
ok
ok
0.274s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label33_smt-query.0.smt2
(content)
ok
ok
0.238s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label32_smt-query.0.smt2
(content)
ok
ok
0.253s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label31_smt-query.0.smt2
(content)
ok
ok
0.235s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label30_smt-query.0.smt2
(content)
ok
ok
0.243s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label29_smt-query.0.smt2
(content)
ok
ok
0.246s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label28_smt-query.0.smt2
(content)
ok
ok
0.229s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label27_smt-query.0.smt2
(content)
ok
ok
0.244s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label26_smt-query.0.smt2
(content)
ok
ok
0.230s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label25_smt-query.0.smt2
(content)
ok
ok
0.297s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label24_smt-query.0.smt2
(content)
ok
ok
0.260s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label23_smt-query.0.smt2
(content)
ok
ok
0.230s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label22_smt-query.0.smt2
(content)
ok
ok
0.238s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label21_smt-query.0.smt2
(content)
ok
ok
0.232s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label20_smt-query.0.smt2
(content)
ok
ok
0.252s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label19_smt-query.0.smt2
(content)
ok
ok
0.242s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label18_smt-query.0.smt2
(content)
ok
ok
0.233s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label17_smt-query.0.smt2
(content)
ok
ok
0.231s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label16_smt-query.0.smt2
(content)
ok
ok
0.236s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label15_smt-query.0.smt2
(content)
ok
ok
0.229s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label14_smt-query.0.smt2
(content)
ok
ok
0.273s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label13_smt-query.0.smt2
(content)
ok
ok
0.318s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem16_label12_smt-query.0.smt2
(content)
ok
ok
0.253s