root
file
detailed [3175..3199]
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/Problem14_label42_smt-query.0.smt2
(content)
ok
ok
0.185s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label38_smt-query.0.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label36_smt-query.0.smt2
(content)
ok
ok
0.189s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label35_smt-query.0.smt2
(content)
ok
ok
0.189s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label33_smt-query.0.smt2
(content)
ok
ok
0.196s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label30_smt-query.0.smt2
(content)
ok
ok
0.177s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label26_smt-query.0.smt2
(content)
ok
ok
0.243s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label25_smt-query.0.smt2
(content)
ok
ok
0.183s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label24_smt-query.0.smt2
(content)
ok
ok
0.189s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label23_smt-query.0.smt2
(content)
ok
ok
0.198s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label21_smt-query.0.smt2
(content)
ok
ok
0.218s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label20_smt-query.0.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label19_smt-query.0.smt2
(content)
ok
ok
0.237s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label17_smt-query.0.smt2
(content)
ok
ok
0.238s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label16_smt-query.0.smt2
(content)
ok
ok
0.241s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label15_smt-query.0.smt2
(content)
ok
ok
0.187s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label07_smt-query.0.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label06_smt-query.0.smt2
(content)
ok
ok
0.196s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label05_smt-query.0.smt2
(content)
ok
ok
0.186s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label04_smt-query.0.smt2
(content)
ok
ok
0.210s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label03_smt-query.0.smt2
(content)
ok
ok
0.187s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label01_smt-query.0.smt2
(content)
ok
ok
0.213s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem14_label00_smt-query.0.smt2
(content)
ok
ok
0.185s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label59_smt-query.0.smt2
(content)
ok
ok
0.649s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label58_smt-query.0.smt2
(content)
ok
ok
0.711s