My point is that it doesn't take less time to verify a result than to generate it. You can generate stuff all day but to verify it takes a lot more effort and tjme