1. A method for characterizing average performance in a data processing system, comprising: adding a meta-tool level variable to a verification tool; finding the image of an initial state variable; dividing the image into a frontier and a set of previously reached states; ignoring the previously reached states; finding the image of the frontier; and repeating the previous three steps until the frontier is empty.