--opt-sdp-attention vs --opt-sdp-no-mem-attention

[ice051128]

According to the optimization page, the former is non-deterministic while the latter is deterministic. However, I have found that --opt-sdp-attention is deterministic as well. Is this a bug or intended? Both have the same speed as well.