detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.877834.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.876764.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.873870.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.872800.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.869906.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.868836.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.865953.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.864863.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.861982.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.860981.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.858887.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.858350.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.857393.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.854640.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.853506.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.850480.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.849348.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.846296.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.845302.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.838638.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.837455.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.835099.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.834515.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.833494.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.831243.smt2 (content) ok ok 0.064s