Yes, it's after multiple attempts at the problem. It's hard to nudge it to have it come up with an algorithm that generates 'interestingly difficult' levels.