detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb9aad3.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb96a45.smt2 (content) warn ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb95e57.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb92f34.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb92292.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb8eb6b.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb8d60f.smt2 (content) warn ok 0.194s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb8ad0a.smt2 (content) warn ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb84f36.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb83707.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb7d3c4.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb7c449.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb79c35.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb770e3.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb7147d.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb6efaf.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb65021.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb6131b.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb60ff7.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb60c3f.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb5edbd.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb5d8b9.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb56696.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb55608.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibb4f3c5.smt2 (content) warn ok 0.136s