root
file
detailed [3200..3224]
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/Problem15_label21_smt-query.0.smt2
(content)
ok
ok
0.284s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label20_smt-query.0.smt2
(content)
ok
ok
0.275s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label19_smt-query.0.smt2
(content)
ok
ok
0.294s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label18_smt-query.0.smt2
(content)
ok
ok
0.365s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label17_smt-query.0.smt2
(content)
ok
ok
0.469s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label16_smt-query.0.smt2
(content)
ok
ok
0.341s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label15_smt-query.0.smt2
(content)
ok
ok
0.287s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label14_smt-query.0.smt2
(content)
ok
ok
0.292s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label13_smt-query.0.smt2
(content)
ok
ok
0.293s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label12_smt-query.0.smt2
(content)
ok
ok
0.295s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label11_smt-query.0.smt2
(content)
ok
ok
0.340s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label10_smt-query.0.smt2
(content)
ok
ok
0.289s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label09_smt-query.0.smt2
(content)
ok
ok
0.302s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label08_smt-query.0.smt2
(content)
ok
ok
0.411s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label07_smt-query.0.smt2
(content)
ok
ok
0.296s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label06_smt-query.0.smt2
(content)
ok
ok
0.296s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label05_smt-query.0.smt2
(content)
ok
ok
0.286s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label04_smt-query.0.smt2
(content)
ok
ok
0.358s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label03_smt-query.0.smt2
(content)
ok
ok
0.284s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label02_smt-query.0.smt2
(content)
ok
ok
0.280s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label01_smt-query.0.smt2
(content)
ok
ok
0.260s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem15_label00_smt-query.0.smt2
(content)
ok
ok
0.286s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label59_smt-query.0.smt2
(content)
ok
ok
0.231s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label49_smt-query.0.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label47_smt-query.0.smt2
(content)
ok
ok
0.193s