detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product54_true-unreach-call.cil.c.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product53_true-unreach-call.cil.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product52_false-unreach-call.cil.c.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product51_false-unreach-call.cil.c.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product50_true-unreach-call.cil.c.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product49_true-unreach-call.cil.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product48_false-unreach-call.cil.c.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product47_false-unreach-call.cil.c.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product44_false-unreach-call.cil.c.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product43_false-unreach-call.cil.c.smt2 (content) fatal ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product40_false-unreach-call.cil.c.smt2 (content) fatal ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product39_false-unreach-call.cil.c.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product36_false-unreach-call.cil.c.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product35_false-unreach-call.cil.c.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product32_false-unreach-call.cil.c.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product31_false-unreach-call.cil.c.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product30_false-unreach-call.cil.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product29_false-unreach-call.cil.c.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product28_false-unreach-call.cil.c.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product27_false-unreach-call.cil.c.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product26_false-unreach-call.cil.c.smt2 (content) fatal ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product25_false-unreach-call.cil.c.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product24_false-unreach-call.cil.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product23_false-unreach-call.cil.c.smt2 (content) fatal ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec3_product22_false-unreach-call.cil.c.smt2 (content) fatal ok 0.308s