detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.799236.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.797113.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.796779.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.796143.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.794968.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.792845.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.792511.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.791875.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.790700.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.788577.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.788234.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.787622.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.786512.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.784716.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.784327.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.783662.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.782459.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.780480.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.780093.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.779430.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.778229.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.776249.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.775888.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.775261.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.774116.smt2 (content) ok ok 0.093s