detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.740747.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.714299.smt2 (content) ok ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.714184.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.713843.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.713145.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.711639.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.711517.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.711170.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.710520.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.709094.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.706995.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.706191.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.702400.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.702239.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.701866.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.701134.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.699515.smt2 (content) ok ok 0.024s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.699496.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.699441.smt2 (content) ok ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.698880.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.697673.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.697561.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.697344.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.696723.smt2 (content) ok ok 0.064s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.695462.smt2 (content) ok ok 0.032s