detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib83ff54.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib83f80c.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib83e84a.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib83b731.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib838fcf.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8380d9.smt2 (content) warn ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib833fe0.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib82b2c1.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib82845a.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8228fa.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib821a55.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib820c1e.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib82062c.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib81d242.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib81c734.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib819964.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib81954b.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8191ac.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8176da.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib815997.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib808fe6.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib808ac0.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib80872f.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8083e9.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib805727.smt2 (content) warn ok 0.038s