detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0073_why.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0071_why.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0063_why.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/axiomatic_why.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/array_double_why.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibffdfd3.smt2 (content) warn ok 0.194s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibff95f2.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibff8b59.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibff81f9.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibff475e.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibff30b9.smt2 (content) warn ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfee7e3.smt2 (content) warn ok 0.194s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfe82f0.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfe3bc8.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfe25e8.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfd9529.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfd8057.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfd7efe.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfd333e.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfd0d00.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfd07eb.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfced23.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfcb3fe.smt2 (content) warn ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfc7619.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibfbf232.smt2 (content) warn ok 0.182s