detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums_e8_1032.ec.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums_e7_1700.ec.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums.ec.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e7_222.ec.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e3_325.ec.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e2_3.ec.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e1_268.ec.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway_e7_3304.ec.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway_e7_1834_e7_2363.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway.ec.smt2 (content) ok ok 0.815s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic_e7_46_e7_171.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic_e7_348.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic.ec.smt2 (content) ok ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e8_505_e7_2450.ec.smt2 (content) ok ok 0.645s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e7_591.ec.smt2 (content) ok ok 0.556s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e2_1117_e7_553.ec.smt2 (content) ok ok 0.569s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e1_2706_e7_1776.ec.smt2 (content) ok ok 0.619s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all.ec.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e7_3176_e1_2924.ec.smt2 (content) ok ok 0.566s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e7_3176.ec.smt2 (content) ok ok 0.496s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e2_2724_e7_524.ec.smt2 (content) ok ok 0.564s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e1_2192_e1_1852.ec.smt2 (content) ok ok 0.575s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_6_e7_1096_e7_2688.ec.smt2 (content) ok ok 0.577s