detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.944582.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.926730.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.923360.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.922994.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.922324.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.919037.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.918671.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.918001.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.914714.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.914348.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.913678.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.910391.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.910025.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.909355.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.882771.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.882425.smt2 (content) warn ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.878807.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.878461.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.874843.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.874497.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.870879.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.870533.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.866915.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.866582.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.862942.smt2 (content) warn ok 0.035s