If this bot is better than humans not only at searching for map but at actually playing the game (and it seems so, given how fast it can solve these non-trivial maps) then requiring more work to generate a map will not make humans more competitive. It may slow down him but he will still be superior to humans. We need to change game itself, not only map validity criteria, to fight these kinds of bots.

I must say that this bot is pretty impressive, old bots look like idiots compared to him. This annealing thing or whatever else he uses is pretty good. The one who made this bot probably put a lot of effort for very low reward.