detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.870533.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.866915.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.866582.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.862942.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.862596.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.859164.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.847295.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.846927.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.839647.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.839277.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.835417.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.831561.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.827705.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.823849.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.819950.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.819564.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.811950.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.811615.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.807743.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.807408.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.803536.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.803201.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.799329.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.798994.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.795122.smt2 (content) ok ok 0.051s