Improving Verification Predictability and Efficiency Using Big Data