detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.03_false-unreach-call.i.cil.c.smt2 (content) ok ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.02_true-unreach-call.i.cil.c.smt2 (content) ok ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.02_false-unreach-call.i.cil.c.smt2 (content) ok ok 0.172s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.01_true-unreach-call.i.cil.c.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.01_false-unreach-call.i.cil.c.smt2 (content) ok ok 0.161s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c.smt2 (content) ok ok 1.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c.smt2 (content) ok ok 0.558s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c.smt2 (content) ok ok 0.346s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c.smt2 (content) ok ok 0.301s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c.smt2 (content) ok ok 0.284s
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