detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product32_false-unreach-call.cil.c.smt2 (content) warn ok 0.251s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product31_false-unreach-call.cil.c.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product30_false-unreach-call.cil.c.smt2 (content) warn ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product29_false-unreach-call.cil.c.smt2 (content) warn ok 0.216s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product28_true-unreach-call.cil.c.smt2 (content) warn ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product27_false-unreach-call.cil.c.smt2 (content) warn ok 0.245s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product25_false-unreach-call.cil.c.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product24_false-unreach-call.cil.c.smt2 (content) warn ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product23_false-unreach-call.cil.c.smt2 (content) warn ok 0.160s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product19_false-unreach-call.cil.c.smt2 (content) warn ok 0.149s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product18_false-unreach-call.cil.c.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product17_false-unreach-call.cil.c.smt2 (content) warn ok 0.151s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec27_product13_true-unreach-call.cil.c.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_productSimulator_false-unreach-call.cil.c.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product35_false-unreach-call.cil.c.smt2 (content) warn ok 0.201s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product34_false-unreach-call.cil.c.smt2 (content) warn ok 0.206s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product33_false-unreach-call.cil.c.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product32_false-unreach-call.cil.c.smt2 (content) warn ok 0.160s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product31_false-unreach-call.cil.c.smt2 (content) warn ok 0.195s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product30_false-unreach-call.cil.c.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product29_false-unreach-call.cil.c.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product28_true-unreach-call.cil.c.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product26_false-unreach-call.cil.c.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product22_false-unreach-call.cil.c.smt2 (content) warn ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product21_false-unreach-call.cil.c.smt2 (content) warn ok 0.177s