Reliability Analysis For Nondeterministic Simulators