detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe7bf1.smt2 (content) warn ok 0.192s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe70d7.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe6e2f.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe437a.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe3f5e.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe3e18.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbe06be.smt2 (content) warn ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbdc4d1.smt2 (content) warn ok 0.187s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbda03d.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbd37fa.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbcac18.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbc950a.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbc224d.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbc1f89.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbbbb5d.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbba62e.smt2 (content) warn ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbb8400.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbb1eb2.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbb0522.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbaf888.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibbac26d.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibba688b.smt2 (content) warn ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibba5800.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibba28f4.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb9ad0b.smt2 (content) warn ok 0.142s