detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product20_false-unreach-call.cil.c.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product16_false-unreach-call.cil.c.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec1_product15_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_spec1_product14_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_spec1_product12_true-unreach-call.cil.c.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_productSimulator_false-unreach-call.cil.c.smt2 (content) ok ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product40_true-unreach-call.cil.c.smt2 (content) warn ok 0.119s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product39_true-unreach-call.cil.c.smt2 (content) warn ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product37_true-unreach-call.cil.c.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product36_true-unreach-call.cil.c.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product35_false-unreach-call.cil.c.smt2 (content) warn ok 0.238s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product33_false-unreach-call.cil.c.smt2 (content) warn ok 0.264s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product32_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_spec11_product30_false-unreach-call.cil.c.smt2 (content) warn ok 0.202s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product27_true-unreach-call.cil.c.smt2 (content) warn ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product26_false-unreach-call.cil.c.smt2 (content) warn ok 0.196s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product24_true-unreach-call.cil.c.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product23_true-unreach-call.cil.c.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product22_false-unreach-call.cil.c.smt2 (content) warn ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product20_false-unreach-call.cil.c.smt2 (content) warn ok 0.200s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product18_true-unreach-call.cil.c.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product15_false-unreach-call.cil.c.smt2 (content) warn ok 0.232s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product10_true-unreach-call.cil.c.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product08_true-unreach-call.cil.c.smt2 (content) warn ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec11_product07_true-unreach-call.cil.c.smt2 (content) ok ok 0.108s