root
file
detailed [3100..3124]
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/Problem13_label06_smt-query.0.smt2
(content)
ok
ok
0.647s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label05_smt-query.0.smt2
(content)
ok
ok
0.653s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label04_smt-query.0.smt2
(content)
ok
ok
0.922s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label03_smt-query.0.smt2
(content)
ok
ok
0.682s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label02_smt-query.0.smt2
(content)
ok
ok
0.653s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label01_smt-query.0.smt2
(content)
ok
ok
0.621s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem13_label00_smt-query.0.smt2
(content)
ok
ok
0.700s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label59_smt-query.0.smt2
(content)
ok
ok
0.495s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label58_smt-query.0.smt2
(content)
ok
ok
0.567s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label57_smt-query.0.smt2
(content)
ok
ok
0.559s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label56_smt-query.0.smt2
(content)
ok
ok
0.523s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label55_smt-query.0.smt2
(content)
ok
ok
0.523s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label54_smt-query.0.smt2
(content)
ok
ok
0.583s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label53_smt-query.0.smt2
(content)
ok
ok
0.500s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label52_smt-query.0.smt2
(content)
ok
ok
0.573s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label51_smt-query.0.smt2
(content)
ok
ok
0.530s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label50_smt-query.0.smt2
(content)
ok
ok
0.540s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label49_smt-query.0.smt2
(content)
ok
ok
0.523s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label48_smt-query.0.smt2
(content)
ok
ok
0.595s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label47_smt-query.0.smt2
(content)
ok
ok
0.512s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label46_smt-query.0.smt2
(content)
ok
ok
0.525s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label45_smt-query.0.smt2
(content)
ok
ok
0.543s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label44_smt-query.0.smt2
(content)
ok
ok
0.544s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label43_smt-query.0.smt2
(content)
ok
ok
0.508s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/Problem12_label42_smt-query.0.smt2
(content)
ok
ok
0.541s