detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib626a56.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib62545e.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib622c3d.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib61a089.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib619141.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib60cd3c.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6094fa.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6082a3.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib606d47.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib606c4a.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6063bb.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib603ae7.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib601b98.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5fa82b.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5f9446.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5f6ae2.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5f614d.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5f13ec.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5ed484.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5ed1e2.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5e5612.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5e3cf2.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5dee2f.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5dd3b1.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib5d6c1e.smt2 (content) warn ok 0.042s