detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.860677.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.859684.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.857918.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.857642.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.857109.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.856156.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.853412.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.852276.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.849188.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.848054.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.845939.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.845575.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.844945.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.843953.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.838140.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.837770.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.837129.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.835930.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.833776.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.833458.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.832874.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.831856.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.829846.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.829528.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.828944.smt2 (content) ok ok 0.077s