detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product29_true-unreach-call.cil.c.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product28_true-unreach-call.cil.c.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product27_false-unreach-call.cil.c.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product25_false-unreach-call.cil.c.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product24_false-unreach-call.cil.c.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product23_false-unreach-call.cil.c.smt2 (content) fatal ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product19_false-unreach-call.cil.c.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec4_product18_false-unreach-call.cil.c.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product35_false-unreach-call.cil.c.smt2 (content) fatal ok 0.323s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product34_false-unreach-call.cil.c.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product33_false-unreach-call.cil.c.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product32_false-unreach-call.cil.c.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product31_false-unreach-call.cil.c.smt2 (content) fatal ok 0.335s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product30_false-unreach-call.cil.c.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product29_false-unreach-call.cil.c.smt2 (content) fatal ok 0.256s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product28_true-unreach-call.cil.c.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product27_false-unreach-call.cil.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product25_false-unreach-call.cil.c.smt2 (content) fatal ok 0.254s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product24_false-unreach-call.cil.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product23_false-unreach-call.cil.c.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product19_false-unreach-call.cil.c.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product18_false-unreach-call.cil.c.smt2 (content) fatal ok 0.327s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product17_false-unreach-call.cil.c.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec1_productSimulator_false-unreach-call.cil.c.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec1_product35_false-unreach-call.cil.c.smt2 (content) fatal ok 0.240s