detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib22dfc1.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib224f20-1.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib221b4b.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib21f23c.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib21da5f.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib218dfb.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib213e2d.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib212a2e.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib20eab7.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib20c393.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib20b607.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib20b01c.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib204693.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1fcd3b.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1fc0f3.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1f68f9.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1f66e4.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1f4584.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1f3ca2.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1eca17.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e8ad9.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e89ac.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e8028.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e64cb.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e4ae6.smt2 (content) warn ok 0.047s