detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe1cd1c.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe14b69.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe12286.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe0c291.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe0801b.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe0620b.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibe007a4.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdf8892.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdf40cd.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdea2f5.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdde23a.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibddd405.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd9f7b.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd9284.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd8339.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd6929.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd67fe.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd5b69.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd385f.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd1c2a.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdcfbbd.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdcc80b.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdcbcf3.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdc9c48.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdc71b3.smt2 (content) warn ok 0.034s