detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9f2f3b.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9f122c.smt2 (content) warn ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9f0b16.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9eda3d.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9e694c.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9e6351.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9e2003.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9deac9.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9dc140.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9db43a.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9d7b04.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9d6077.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9d57f3.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9cc1c1.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9caf2b.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9c6e1a.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9c51b5.smt2 (content) warn ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9bcdce.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9b15d2.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9b0257.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9aca20.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9a9446.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9a6219.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9a221c.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib99dd70.smt2 (content) warn ok 0.147s