detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ddv_machzwd_all_false-unreach-call.i.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_time_var_mutex_true-unreach-call.i.smt2 (content) warn ok 0.201s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_szymanski_true-unreach-call.i.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_sync_true-unreach-call.i.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_stateful_true-unreach-call.i.smt2 (content) warn ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_stateful_false-unreach-call.i.smt2 (content) warn ok 0.194s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_stack_true-unreach-call.i.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_stack_false-unreach-call.i.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_read_write_lock_true-unreach-call.i.smt2 (content) warn ok 0.384s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_read_write_lock_false-unreach-call.i.smt2 (content) warn ok 0.386s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_queue_true-unreach-call.i.smt2 (content) warn ok 0.247s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_queue_false-unreach-call.i.smt2 (content) warn ok 0.258s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_peterson_true-unreach-call.i.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_lazy_false-unreach-call.i.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_lamport_true-unreach-call.i.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_fib_true-unreach-call.i.smt2 (content) warn ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_fib_longer_true-unreach-call.i.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_fib_longer_false-unreach-call.i.smt2 (content) warn ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_fib_false-unreach-call.i.smt2 (content) warn ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cs_dekker_true-unreach-call.i.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cdaudio_simpl1_true-unreach-call_true-termination.cil.c.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cdaudio_simpl1_false-unreach-call_true-termination.cil.c.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.cdaudio_false-unreach-call.i.cil.c.smt2 (content) warn ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.byte_add_false-unreach-call.i.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.byte_add_2_true-unreach-call.i.smt2 (content) warn ok 0.151s