Estimating verification time