Performance Modeling Of Stochastic Diagnosis Engines