detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec2_product05_true-unreach-call.cil.c.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec2_product04_true-unreach-call.cil.c.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec2_product03_true-unreach-call.cil.c.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec2_product02_true-unreach-call.cil.c.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec2_product01_true-unreach-call.cil.c.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product62_true-unreach-call.cil.c.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product61_true-unreach-call.cil.c.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product46_true-unreach-call.cil.c.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product45_true-unreach-call.cil.c.smt2 (content) ok ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product32_true-unreach-call.cil.c.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product31_true-unreach-call.cil.c.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product30_true-unreach-call.cil.c.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product29_true-unreach-call.cil.c.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product28_true-unreach-call.cil.c.smt2 (content) ok ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product27_true-unreach-call.cil.c.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product26_true-unreach-call.cil.c.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product25_true-unreach-call.cil.c.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product24_true-unreach-call.cil.c.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product23_true-unreach-call.cil.c.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product22_true-unreach-call.cil.c.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product21_true-unreach-call.cil.c.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product20_true-unreach-call.cil.c.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product19_true-unreach-call.cil.c.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product18_true-unreach-call.cil.c.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product17_true-unreach-call.cil.c.smt2 (content) ok ok 0.095s