detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4a599a.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib48ee2e.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib48bc84.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib48b779.smt2 (content) warn ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4882a4.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib485f7b.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib480ef8.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib47f43f.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib475640.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib46f14a.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib469903.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib468fdf.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib464b82.smt2 (content) warn ok 0.190s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib45b19a.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4572c6.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4507fb.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib44bbbc.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib449af0.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib44847b.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4416ee.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib440f78.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib43fdbb.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib43af32.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib43a48d.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib436d14.smt2 (content) warn ok 0.115s