detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.909956.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.909292.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.908122.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.881698.smt2 (content) ok ok 0.063s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.881352.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.880725.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.879676.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.877685.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.877339.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.876712.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.875663.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.873672.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.873326.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.872699.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.871650.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.869659.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.869313.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.868686.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.867637.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.865646.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.865313.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.864684.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.863623.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.861632.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.861289.smt2 (content) ok ok 0.065s