Statistics for Strong Induction in Hardware Model Checking