> if the constraints and tests are reasonably well specified.

if they are, then why would a human be so slow? You're not comparing the same situation.