detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0b7833.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0b64fa.smt2 (content) warn ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0b4fcd.smt2 (content) warn ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0aa95b.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0aa676.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0a636f.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0a56da.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0a26af.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib09e17d.smt2 (content) warn ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib09c3a3.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib09c1b9.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib09654e.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib093db9.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib08a77f.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib08670e.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib07f3d5.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib07ad02.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0756c4.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib073ca2.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib071d3d.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib06e33b.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib06b2ae.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib069642.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib063fae.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0625aa.smt2 (content) warn ok 0.137s