detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib7374b3.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib737131.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib7311ed.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib72eddf.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib724253.smt2 (content) warn ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib7237b4.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib7215cb.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib71c6f3.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib71af12.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib71572f.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib715153.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib7116ba.smt2 (content) warn ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib7110c8.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib70a135.smt2 (content) warn ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib705f9d.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib70475a.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib703633.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib702307.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib702156.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib701e8a.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib700d26.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6fe77c.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6fe0b6.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6fdfe0.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib6f7f11.smt2 (content) warn ok 0.128s