root
file
detailed [11525..11549]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_40_false-unreach-call.c.smt2
(content)
warn
ok
0.208s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_30_false-unreach-call.c.smt2
(content)
warn
ok
0.234s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_50_false-unreach-call.c.smt2
(content)
ok
ok
30s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_40_true-unreach-call.c.smt2
(content)
ok
ok
48.8s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_30_true-unreach-call.c.smt2
(content)
ok
ok
35.3s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_20_true-unreach-call.c.smt2
(content)
ok
ok
39.2s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_10_false-unreach-call.c.smt2
(content)
ok
ok
26.2s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_00_true-unreach-call.c.smt2
(content)
ok
ok
26.6s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_40_false-unreach-call.c.smt2
(content)
ok
ok
14s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_30_false-unreach-call.c.smt2
(content)
ok
ok
16.8s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_20_false-unreach-call.c.smt2
(content)
ok
ok
18.8s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_50_true-unreach-call.c.smt2
(content)
ok
ok
3.6s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_40_true-unreach-call.c.smt2
(content)
ok
ok
3.6s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_30_true-unreach-call.c.smt2
(content)
ok
ok
3.3s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_20_false-unreach-call.c.smt2
(content)
ok
ok
2.8s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_10_false-unreach-call.c.smt2
(content)
ok
ok
3s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_00_false-unreach-call.c.smt2
(content)
ok
ok
3.9s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_50_true-unreach-call.c.smt2
(content)
ok
ok
3.6s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_40_false-unreach-call.c.smt2
(content)
ok
ok
3s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_30_false-unreach-call.c.smt2
(content)
ok
ok
3.7s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_20_true-unreach-call.c.smt2
(content)
ok
ok
3s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_10_true-unreach-call.c.smt2
(content)
ok
ok
3.0s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_00_false-unreach-call.c.smt2
(content)
ok
ok
2.9s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_40_false-unreach-call.c.smt2
(content)
ok
ok
3.2s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_50_false-unreach-call.c.smt2
(content)
ok
ok
0.735s