detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.944599.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.944289.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.943708.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.942623.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.940633.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.940390.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.939846.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.938815.smt2 (content) ok ok 0.146s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.933657.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.929857.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.926856.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.925667.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.923470.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.923114.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.922450.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.921280.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.919084.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.918728.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.918064.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.916894.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.914698.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.914342.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.913678.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.912508.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.910312.smt2 (content) ok ok 0.039s