detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave37.ec.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave36.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave35.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave34.ec.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave33.ec.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave32.ec.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave31.ec.smt2 (content) warn ok 0.134s
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