detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.799236.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.797113.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.796779.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.796143.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.794968.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.792845.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.792511.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.791875.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.790700.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.788577.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.788234.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.787622.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.786512.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.784716.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.784327.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.783662.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.782459.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.780480.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.780093.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.779430.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.778229.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.776249.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.775888.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.775261.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.774116.smt2 (content) ok ok 0.112s