detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product32_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_spec4_product31_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_spec4_product30_true-unreach-call.cil.c.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product29_true-unreach-call.cil.c.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product28_true-unreach-call.cil.c.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_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_spec4_product26_true-unreach-call.cil.c.smt2 (content) ok ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product25_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_spec4_product24_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_spec4_product23_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_spec4_product22_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_spec4_product21_true-unreach-call.cil.c.smt2 (content) ok ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product20_true-unreach-call.cil.c.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product19_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_spec4_product18_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_spec4_product17_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_spec4_product16_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_spec4_product15_true-unreach-call.cil.c.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product14_true-unreach-call.cil.c.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product13_true-unreach-call.cil.c.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product12_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_spec4_product11_true-unreach-call.cil.c.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product10_true-unreach-call.cil.c.smt2 (content) ok ok 0.163s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product09_true-unreach-call.cil.c.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec4_product08_true-unreach-call.cil.c.smt2 (content) ok ok 0.104s