detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.760866.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.757001.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.756643.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752778.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752395.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748622.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748236.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715376.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715261.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.712662.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.708311.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.708210.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.707927.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.682484.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.666029.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.657874.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.657621.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.633742.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.619215.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618857.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618174.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.614580.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.614216.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.613529.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.609936.smt2 (content) ok ok 0.056s