detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) ok ok 0.149s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) warn ok 0.196s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.1_3.c_false-unreach-call.i.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums_e8_1032.ec.smt2 (content) ok ok 0.964s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums_e7_1700.ec.smt2 (content) ok ok 0.107s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums.ec.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e7_222.ec.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e3_325.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e2_3.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e1_268.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters.ec.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway_e7_3304.ec.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway_e7_1834_e7_2363.ec.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway.ec.smt2 (content) ok ok 0.719s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic_e7_46_e7_171.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic_e7_348.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic.ec.smt2 (content) ok ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e8_505_e7_2450.ec.smt2 (content) ok ok 0.516s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e7_591.ec.smt2 (content) ok ok 0.432s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e3_557_e7_3464.ec.smt2 (content) warn ok 0.453s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e2_1117_e7_553.ec.smt2 (content) ok ok 0.483s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e1_2706_e7_1776.ec.smt2 (content) ok ok 0.448s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e7_3176_e1_2924.ec.smt2 (content) ok ok 0.421s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e7_3176.ec.smt2 (content) ok ok 0.445s