detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_productSimulator_false-unreach-call.cil.c.smt2 (content) warn ok 2.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product35_false-unreach-call.cil.c.smt2 (content) warn ok 0.646s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product34_false-unreach-call.cil.c.smt2 (content) warn ok 1.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product33_false-unreach-call.cil.c.smt2 (content) warn ok 0.385s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product32_false-unreach-call.cil.c.smt2 (content) warn ok 0.526s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product31_false-unreach-call.cil.c.smt2 (content) warn ok 0.316s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product30_false-unreach-call.cil.c.smt2 (content) warn ok 0.297s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product29_true-unreach-call.cil.c.smt2 (content) warn ok 0.576s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product28_true-unreach-call.cil.c.smt2 (content) warn ok 0.329s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product26_false-unreach-call.cil.c.smt2 (content) warn ok 0.877s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product22_false-unreach-call.cil.c.smt2 (content) warn ok 0.524s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product21_false-unreach-call.cil.c.smt2 (content) warn ok 1.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product20_false-unreach-call.cil.c.smt2 (content) warn ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product16_false-unreach-call.cil.c.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product15_false-unreach-call.cil.c.smt2 (content) warn ok 0.410s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_productSimulator_false-unreach-call.cil.c.smt2 (content) warn ok 4.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product35_false-unreach-call.cil.c.smt2 (content) warn ok 0.394s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product34_false-unreach-call.cil.c.smt2 (content) warn ok 0.360s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product33_false-unreach-call.cil.c.smt2 (content) warn ok 0.257s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product32_false-unreach-call.cil.c.smt2 (content) warn ok 0.464s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product31_false-unreach-call.cil.c.smt2 (content) warn ok 0.405s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product30_false-unreach-call.cil.c.smt2 (content) warn ok 0.246s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product29_false-unreach-call.cil.c.smt2 (content) warn ok 0.618s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec7_product28_false-unreach-call.cil.c.smt2 (content) warn ok 0.254s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec6_productSimulator_false-unreach-call.cil.c.smt2 (content) warn ok 3.2s