>10 minutes (which is approximately the amount of time it takes a human judge to judge a human’s solution)

Hah, some student solutions take hours to read...