detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfbc3d2.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfb7752.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfb6ebf.smt2 (content) warn ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfb6727.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfb6716.smt2 (content) warn ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfb37f7.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfb1a82.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfaf92d.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfa6a6c.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfa6725.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfa1e11.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf9b36b.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf99177.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf98c30.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf957ea.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf92b60.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf91bfd.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf9115b.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf8cb5c.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf8b47f.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf8055e.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf7ecbc.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf7c67f.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf7bdda.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibf7bb2b.smt2 (content) warn ok 0.138s