detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdd1c2a.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdcfbbd.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdcc80b.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdcbcf3.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdc9c48.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdc71b3.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdc5b41.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdbb8d0.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdb9af2.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdb7484.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdb5c11.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdb288f.smt2 (content) warn ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdb287f.smt2 (content) warn ok 0.191s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdb1ce4.smt2 (content) warn ok 0.187s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdafb73.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdaf938.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdaee52.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdae3ce.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibdad3a4.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibda9f23.smt2 (content) warn ok 0.190s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibda8ef7.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibda7803.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd9d1ba.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd9c9d6.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibd98a1e.smt2 (content) warn ok 0.146s