detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave30.ec.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave29.ec.smt2 (content) warn ok 0.246s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave28.ec.smt2 (content) warn ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave27.ec.smt2 (content) warn ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave26.ec.smt2 (content) warn ok 0.228s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave25.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave24.ec.smt2 (content) warn ok 0.206s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave23.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave22.ec.smt2 (content) warn ok 0.323s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave21.ec.smt2 (content) warn ok 0.289s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave20.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave19.ec.smt2 (content) warn ok 0.441s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave18.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave17.ec.smt2 (content) warn ok 0.326s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave16.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave15.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave14.ec.smt2 (content) warn ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave12.ec.smt2 (content) warn ok 0.175s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave11.ec.smt2 (content) warn ok 0.974s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave10.ec.smt2 (content) warn ok 0.930s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave09.ec.smt2 (content) warn ok 0.622s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave08.ec.smt2 (content) warn ok 0.802s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave07.ec.smt2 (content) warn ok 0.823s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave06.ec.smt2 (content) warn ok 0.890s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave05.ec.smt2 (content) warn ok 0.309s