detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8db9f4.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8d5b28.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8d40c2.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8d38f7.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8ce6d5.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8cd5fd.smt2 (content) warn ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8c85ed.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8c7b7d.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8c6586.smt2 (content) warn ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8c644f.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8bf58f.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8be3cd.smt2 (content) warn ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8bb890.smt2 (content) warn ok 0.197s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8bb49c.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8b7692.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8b6730.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8b4e05.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8b3377.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8b2968.smt2 (content) warn ok 0.192s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8aba3a.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8ab5da.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8a57c6.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib8a5616.smt2 (content) warn ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib89de1d.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib89c4a0.smt2 (content) warn ok 0.141s