detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem05_10_true-unreach-call.c.smt2 (content) ok ok 1.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem05_00_false-unreach-call.c.smt2 (content) ok ok 1.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_60_false-unreach-call.c.smt2 (content) ok ok 0.392s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_50_true-unreach-call.c.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_40_false-unreach-call.c.smt2 (content) ok ok 2.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_30_true-unreach-call.c.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_20_true-unreach-call.c.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_10_true-unreach-call.c.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem04_00_true-unreach-call.c.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_60_false-unreach-call.c.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_50_false-unreach-call.c.smt2 (content) ok ok 0.404s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_40_true-unreach-call.c.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_30_true-unreach-call.c.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_20_true-unreach-call.c.smt2 (content) ok ok 0.409s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_10_true-unreach-call.c.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem03_00_true-unreach-call.c.smt2 (content) ok ok 0.496s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_60_false-unreach-call.c.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_50_false-unreach-call.c.smt2 (content) ok ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_40_true-unreach-call.c.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_30_true-unreach-call.c.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_20_true-unreach-call.c.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_10_true-unreach-call.c.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem02_00_true-unreach-call.c.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem01_60_false-unreach-call.c.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem01_50_false-unreach-call.c.smt2 (content) ok ok 0.244s