detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec3_product01_true-unreach-call.cil.c.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_productSimulator_false-unreach-call.cil.c.smt2 (content) fatal ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product32_false-unreach-call.cil.c.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product31_true-unreach-call.cil.c.smt2 (content) fatal ok 0.324s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product30_false-unreach-call.cil.c.smt2 (content) fatal ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product29_true-unreach-call.cil.c.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product28_false-unreach-call.cil.c.smt2 (content) fatal ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product26_false-unreach-call.cil.c.smt2 (content) fatal ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product24_false-unreach-call.cil.c.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product23_true-unreach-call.cil.c.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product22_false-unreach-call.cil.c.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product21_true-unreach-call.cil.c.smt2 (content) fatal ok 0.398s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product20_false-unreach-call.cil.c.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec2_product18_false-unreach-call.cil.c.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product32_false-unreach-call.cil.c.smt2 (content) fatal ok 0.252s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product31_true-unreach-call.cil.c.smt2 (content) fatal ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product30_false-unreach-call.cil.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product29_true-unreach-call.cil.c.smt2 (content) fatal ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product28_false-unreach-call.cil.c.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product26_false-unreach-call.cil.c.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product24_false-unreach-call.cil.c.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product23_true-unreach-call.cil.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product22_false-unreach-call.cil.c.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product21_true-unreach-call.cil.c.smt2 (content) fatal ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product20_false-unreach-call.cil.c.smt2 (content) fatal ok 0.234s