detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_10_false-unreach-call.c.smt2 (content) warn ok 0.293s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_50_false-unreach-call.c.smt2 (content) warn ok 0.777s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_40_false-unreach-call.c.smt2 (content) warn ok 0.518s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_30_false-unreach-call.c.smt2 (content) warn ok 0.970s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_20_false-unreach-call.c.smt2 (content) warn ok 0.955s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_10_false-unreach-call.c.smt2 (content) warn ok 0.665s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_00_false-unreach-call.c.smt2 (content) warn ok 0.654s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_50_false-unreach-call.c.smt2 (content) warn ok 0.707s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_40_false-unreach-call.c.smt2 (content) warn ok 0.642s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_30_false-unreach-call.c.smt2 (content) warn ok 0.758s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_20_false-unreach-call.c.smt2 (content) warn ok 0.937s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_10_false-unreach-call.c.smt2 (content) warn ok 0.927s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_00_false-unreach-call.c.smt2 (content) warn ok 0.771s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_60_false-unreach-call.c.smt2 (content) warn ok 0.269s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_50_false-unreach-call.c.smt2 (content) warn ok 0.247s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_40_false-unreach-call.c.smt2 (content) warn ok 0.237s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_30_false-unreach-call.c.smt2 (content) warn ok 0.253s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_20_false-unreach-call.c.smt2 (content) warn ok 0.320s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_10_false-unreach-call.c.smt2 (content) warn ok 0.284s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem11_00_false-unreach-call.c.smt2 (content) warn ok 0.220s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_60_false-unreach-call.c.smt2 (content) warn ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_50_false-unreach-call.c.smt2 (content) warn ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_40_false-unreach-call.c.smt2 (content) warn ok 0.208s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_30_false-unreach-call.c.smt2 (content) warn ok 0.234s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--backlight--tdo24m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) warn ok 0.219s