Performance like that may open the door to the strategy of brutefocing solutions to problems for which you have a verifier (problems such as decompilation).