detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.786568.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.782559.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.782172.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.778166.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.777801.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.769670.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.769312.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.765447.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.765089.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.761224.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.760866.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.757001.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.756643.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752778.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752395.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748622.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748236.smt2 (content) warn ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715376.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715261.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.707927.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.682484.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.657621.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.619215.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618857.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618174.smt2 (content) warn ok 0.040s