detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.13_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.253s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.12_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.248s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.11_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.235s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.10_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.224s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.09_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.08_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.07_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.159s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.06_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.05_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.04_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.03_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.02_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.01_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.358s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy2_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy1_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.15_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.290s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.14_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.13_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.13_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.295s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.12_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.267s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.12_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.259s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.11_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.719s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.11_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.287s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.10_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.976s