A 1000X Speed Up for Properties Completeness Evaluation