detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_6.ec.smt2 (content) ok ok 0.393s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_5_e7_3307.ec.smt2 (content) ok ok 0.570s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_5.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_4_e7_1775_e7_3320.ec.smt2 (content) ok ok 0.562s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_4.ec.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312_e8_1916.ec.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312_e7_1495.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_2.ec.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_1_e7_1669.ec.smt2 (content) ok ok 0.500s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_1.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/switch2.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_9.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_8.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_7.ec.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10_e8_1713.ec.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10_e7_341.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_5.ec.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_4_e7_2197.ec.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_4.ec.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_3.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_2.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/steam_boiler_no_arr2_e8_21449_e5_18210.ec.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/steam_boiler_no_arr2_e1_17214_e5_18600.ec.smt2 (content) ok ok 0.312s