detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave32.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave31.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave30.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave29.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave28.ec.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave27.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave26.ec.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave25.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave24.ec.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave23.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave22.ec.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave21.ec.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave20.ec.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave19.ec.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave18.ec.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave17.ec.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave16.ec.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave15.ec.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave14.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave12.ec.smt2 (content) fatal ok 0.229s
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