detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1eca17.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e8ad9.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e89ac.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e8028.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e64cb.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1e4ae6.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1d60bb.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1d573c.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1d244a.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1cdf42.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1c791d.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1c3dce.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1bd9ca.smt2 (content) warn ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1ba8ba.smt2 (content) warn ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1b8bd3.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1b3f4c.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1b2bcf.smt2 (content) warn ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1a84eb.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1a597f.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1a039e.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib19f6a3.smt2 (content) warn ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib19e978.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib19c0f2.smt2 (content) warn ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib198e59.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib195af0.smt2 (content) warn ok 0.144s