detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave11.ec.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave10.ec.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave09.ec.smt2 (content) fatal ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave08.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave07.ec.smt2 (content) fatal ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave06.ec.smt2 (content) fatal ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave05.ec.smt2 (content) fatal ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave04.ec.smt2 (content) fatal ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave03.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave02.ec.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave01.ec.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_5_e4_1208_e1_337.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_5.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e5_1150.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e4_232.ec.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e3_522.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e2_1317.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e1_1044.ec.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1025.ec.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e7_860.ec.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e6_236.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e5_991.ec.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e4_801.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e3_931.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e2_1166.ec.smt2 (content) fatal ok 0.316s