detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.877834.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.876764.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.873870.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.872800.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.869906.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.868836.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.865953.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.864863.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.861982.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.860981.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.858887.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.858350.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.857393.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.854640.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.853506.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.850480.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.849348.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.846296.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.845302.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.838638.smt2 (content) ok ok 0.107s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.837455.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.835099.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.834515.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.833494.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.831243.smt2 (content) ok ok 0.080s