detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product29_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_spec6_product28_false-unreach-call.cil.c.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product26_false-unreach-call.cil.c.smt2 (content) warn ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product22_false-unreach-call.cil.c.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product21_false-unreach-call.cil.c.smt2 (content) warn ok 0.165s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product20_false-unreach-call.cil.c.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product16_false-unreach-call.cil.c.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product15_false-unreach-call.cil.c.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec6_product14_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_spec6_product12_false-unreach-call.cil.c.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product35_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_spec4_product34_false-unreach-call.cil.c.smt2 (content) warn ok 0.287s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product33_false-unreach-call.cil.c.smt2 (content) warn ok 0.197s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product32_false-unreach-call.cil.c.smt2 (content) warn ok 0.207s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product31_false-unreach-call.cil.c.smt2 (content) warn ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product30_false-unreach-call.cil.c.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product29_true-unreach-call.cil.c.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product28_true-unreach-call.cil.c.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product27_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_spec4_product25_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_spec4_product24_false-unreach-call.cil.c.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product23_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_spec4_product19_false-unreach-call.cil.c.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product18_false-unreach-call.cil.c.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.email_spec4_product17_true-unreach-call.cil.c.smt2 (content) warn ok 0.141s