detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib480ef8.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib47f43f.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib475640.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib46f14a.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib469903.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib468fdf.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib464b82.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib45b19a.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4572c6.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4507fb.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib44bbbc.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib449af0.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib44847b.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4416ee.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib440f78.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib43fdbb.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib43af32.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib43a48d.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib436d14.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib4362cd.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib435e08.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib430f21.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib42ca92.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib42a8a3.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib42a125.smt2 (content) warn ok 0.034s