detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd287f4.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd22706.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd10ffb.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd0c602.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd0a1e1.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd064c7.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd0331e.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcf91df.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcf8b69.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibceef00.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibce551b.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcdc340.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcdc03c.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcda059.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibccc6b2.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibccc007.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcca1ae.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcc487c.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcbc73a.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcbc6d5.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcb96d2.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcb94e4.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcb81b5.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcb6dd7.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibcb093e.smt2 (content) warn ok 0.053s