detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_50_false-unreach-call.c.smt2 (content) warn ok 0.938s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_40_false-unreach-call.c.smt2 (content) warn ok 1.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_30_false-unreach-call.c.smt2 (content) warn ok 1.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_20_false-unreach-call.c.smt2 (content) warn ok 0.821s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_10_false-unreach-call.c.smt2 (content) warn ok 1.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_00_false-unreach-call.c.smt2 (content) warn ok 1.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_50_false-unreach-call.c.smt2 (content) warn ok 0.539s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_40_false-unreach-call.c.smt2 (content) warn ok 0.454s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_30_false-unreach-call.c.smt2 (content) warn ok 0.655s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_20_false-unreach-call.c.smt2 (content) warn ok 0.455s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_10_false-unreach-call.c.smt2 (content) warn ok 0.371s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_00_false-unreach-call.c.smt2 (content) warn ok 0.320s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_40_false-unreach-call.c.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_30_false-unreach-call.c.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_20_false-unreach-call.c.smt2 (content) warn ok 0.935s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_08_false-unreach-call.c.smt2 (content) warn ok 0.862s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_00_false-unreach-call.c.smt2 (content) warn ok 0.210s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_50_false-unreach-call.c.smt2 (content) warn ok 0.392s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_40_false-unreach-call.c.smt2 (content) warn ok 0.329s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_30_false-unreach-call.c.smt2 (content) warn ok 0.334s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_20_false-unreach-call.c.smt2 (content) warn ok 0.304s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_10_false-unreach-call.c.smt2 (content) warn ok 0.339s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_00_false-unreach-call.c.smt2 (content) warn ok 0.281s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_50_true-unreach-call.c.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_40_false-unreach-call.c.smt2 (content) warn ok 0.334s