root
file
detailed [3425..3449]
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_label06_smt-query.0.smt2
(content)
ok
ok
0.940s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label05_smt-query.0.smt2
(content)
ok
ok
0.917s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label04_smt-query.0.smt2
(content)
ok
ok
1s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label03_smt-query.0.smt2
(content)
ok
ok
0.942s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label02_smt-query.0.smt2
(content)
ok
ok
0.940s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label01_smt-query.0.smt2
(content)
ok
ok
0.932s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem19_label00_smt-query.0.smt2
(content)
ok
ok
0.908s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label59_smt-query.0.smt2
(content)
ok
ok
0.378s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label58_smt-query.0.smt2
(content)
ok
ok
0.452s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label57_smt-query.0.smt2
(content)
ok
ok
0.390s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label56_smt-query.0.smt2
(content)
ok
ok
0.430s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label55_smt-query.0.smt2
(content)
ok
ok
0.423s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label54_smt-query.0.smt2
(content)
ok
ok
0.381s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label53_smt-query.0.smt2
(content)
ok
ok
0.438s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label52_smt-query.0.smt2
(content)
ok
ok
0.380s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label51_smt-query.0.smt2
(content)
ok
ok
0.377s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label50_smt-query.0.smt2
(content)
ok
ok
0.383s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label49_smt-query.0.smt2
(content)
ok
ok
0.418s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label48_smt-query.0.smt2
(content)
ok
ok
0.477s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label47_smt-query.0.smt2
(content)
ok
ok
0.383s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label46_smt-query.0.smt2
(content)
ok
ok
0.411s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label45_smt-query.0.smt2
(content)
ok
ok
0.398s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label44_smt-query.0.smt2
(content)
ok
ok
0.391s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label43_smt-query.0.smt2
(content)
ok
ok
0.390s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem18_label42_smt-query.0.smt2
(content)
ok
ok
0.554s