Current Limits for Exploiting Automated Verification