1. A method for estimating the difficulty level of a verification problem, comprising: receiving input comprising a design and a set of properties, a property of the set of properties operable to be verified on the design; repeating the following for each property of the set of properties: performing a plurality of verification processes on the each property on the design; and establishing a property verifiability metric value for the each property in accordance with the verification processes, the property verifiability metric value representing a difficulty level of verifying the each property on the design; and determining a design verifiability metric value from the property verifiability metric values of the set of properties, the design verifiability metric value representing a difficulty level of verifying the set of properties on the design.