detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product31_true-unreach-call.cil.c.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product24_false-unreach-call.cil.c.smt2 (content) warn ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec14_product23_true-unreach-call.cil.c.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product32_true-unreach-call.cil.c.smt2 (content) warn ok 0.111s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product31_true-unreach-call.cil.c.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product30_true-unreach-call.cil.c.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product29_true-unreach-call.cil.c.smt2 (content) warn ok 0.149s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product24_true-unreach-call.cil.c.smt2 (content) warn ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product23_true-unreach-call.cil.c.smt2 (content) warn ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product22_true-unreach-call.cil.c.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.elevator_spec13_product21_true-unreach-call.cil.c.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.diskperf_true-unreach-call.i.cil.c.smt2 (content) warn ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.diskperf_simpl1_true-unreach-call_true-termination.cil.c.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_pthread_mutex_unlock_true-unreach-call.i.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_outw_p_true-unreach-call.i.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_outl_true-unreach-call.i.smt2 (content) warn ok 0.110s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_outl_p_true-unreach-call.i.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_outb_p_true-unreach-call.i.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_outb_false-unreach-call.i.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_inw_p_true-unreach-call.i.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_inw_false-unreach-call.i.smt2 (content) warn ok 0.112s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_inl_true-unreach-call.i.smt2 (content) warn ok 0.106s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_inl_p_true-unreach-call.i.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_inb_true-unreach-call.i.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_inb_p_true-unreach-call.i.smt2 (content) warn ok 0.141s