detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_9_true-unreach-call.c.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_8_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_7_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_6_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_5_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_15_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_15_false-unreach-call.c.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_14_true-unreach-call.c.smt2 (content) ok ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_14_false-unreach-call.c.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_13_true-unreach-call.c.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_12_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_11_true-unreach-call_false-termination.c.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_locks_10_true-unreach-call.c.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.test_address.c_true-unreach-call.i.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.terminator_03_true-unreach-call_true-termination.i.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.terminator_03_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.terminator_02_true-unreach-call_true-termination.i.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.terminator_02_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.terminator_01_false-unreach-call_false-termination.i.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.sum_array_true-unreach-call.i.smt2 (content) warn ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.sum_array_false-unreach-call.i.smt2 (content) warn ok 0.151s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.sum04_true-unreach-call_true-termination.i.smt2 (content) warn ok 0.107s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.sum04_false-unreach-call_true-termination.i.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.sum03_true-unreach-call_false-termination.i.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.sum03_false-unreach-call_true-termination.i.smt2 (content) warn ok 0.102s