detailed results (241608 total)

prover file res expected time
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
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