root
file
detailed [3775..3799]
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/minepump_spec3_product07.cil_smt-query.0.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product06.cil_smt-query.1.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product06.cil_smt-query.0.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product05.cil_smt-query.1.smt2
(content)
ok
ok
0.137s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product05.cil_smt-query.0.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product04.cil_smt-query.1.smt2
(content)
ok
ok
0.095s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product04.cil_smt-query.0.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product03.cil_smt-query.1.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product03.cil_smt-query.0.smt2
(content)
ok
ok
0.102s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product02.cil_smt-query.1.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product02.cil_smt-query.0.smt2
(content)
ok
ok
0.093s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product01.cil_smt-query.1.smt2
(content)
ok
ok
0.110s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec3_product01.cil_smt-query.0.smt2
(content)
ok
ok
0.151s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_productSimulator.cil_smt-query.1.smt2
(content)
ok
ok
0.104s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product62.cil_smt-query.0.smt2
(content)
ok
ok
0.173s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product61.cil_smt-query.0.smt2
(content)
ok
ok
0.144s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product54.cil_smt-query.0.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product53.cil_smt-query.0.smt2
(content)
ok
ok
0.190s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product46.cil_smt-query.0.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product45.cil_smt-query.0.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product44.cil_smt-query.1.smt2
(content)
ok
ok
0.107s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product43.cil_smt-query.1.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product42.cil_smt-query.1.smt2
(content)
ok
ok
0.111s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product41.cil_smt-query.1.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/minepump_spec2_product38.cil_smt-query.0.smt2
(content)
ok
ok
0.141s