detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product11_true-unreach-call.cil.c.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product09_true-unreach-call.cil.c.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product03_true-unreach-call.cil.c.smt2 (content) ok ok 0.324s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec1_product01_true-unreach-call.cil.c.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_productSimulator_false-unreach-call.cil.c.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product28_false-unreach-call.cil.c.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product27_true-unreach-call.cil.c.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product20_false-unreach-call.cil.c.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product19_true-unreach-call.cil.c.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product11_true-unreach-call.cil.c.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product03_true-unreach-call.cil.c.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_productSimulator_true-unreach-call.cil.c.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.count_up_down_true-unreach-call_true-termination.i.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.count_up_down_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.bubble_sort_linux_true-unreach-call.i.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.bubble_sort_linux_false-unreach-call.i.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.bubble_sort_false-unreach-call.i.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.bist_cell_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.alt_test.c_false-unreach-call.i.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.alias_of_return_2.c_true-unreach-call_1.i.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.alias_of_return_2.c_true-unreach-call.i.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.alias_of_return.c_true-unreach-call_1.i.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.alias_of_return.c_true-unreach-call.i.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem18_60_false-unreach-call.c.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.Problem14_60_false-unreach-call.c.smt2 (content) ok ok 0.242s