detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.740747.smt2 (content) ok ok 0.133s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.714299.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.714184.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.713843.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.713145.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.711639.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.711517.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.711170.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.710520.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.709094.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.706995.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.706191.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.702400.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.702239.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.701866.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.701134.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.699515.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.699496.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.699441.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.698880.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.697673.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.697561.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.697344.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.696723.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.695462.smt2 (content) ok ok 0.062s