detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.695337.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.695009.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.694291.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.692863.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.692734.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.692368.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.691631.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.689469.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.687448.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.687278.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.686904.smt2 (content) ok ok 0.063s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.685476.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.685296.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.684910.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.683368.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.682948.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.682088.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.678148.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.677987.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.677614.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.676882.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.675263.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.675244.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.675189.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.674628.smt2 (content) ok ok 0.064s