detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.952008.smt2 (content) ok ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.951745.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.951243.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.947473.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.944582.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.926730.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.923360.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.922994.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.922324.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.919037.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.918671.smt2 (content) ok ok 0.061s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.918001.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.914714.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.914348.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.913678.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.910391.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.910025.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.909355.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.882771.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.882425.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.878807.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.878461.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.874843.smt2 (content) ok ok 0.061s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.874497.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.870879.smt2 (content) ok ok 0.057s