detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib959ac4.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib950826.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib94edcb.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib94e256.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib949548.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib948b28.smt2 (content) warn ok 0.187s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib945803.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib945203.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib942c66.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9419cb.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib94078e.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib940065.smt2 (content) warn ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib93fc3d.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib93b410.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9393d1.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib938f2e.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib937c87.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib9357ac.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib933cdd.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib92c7e4.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib92a319.smt2 (content) warn ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib925b72.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib924036.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib922e76.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib91e209.smt2 (content) warn ok 0.133s