Combine
l For large FAIL(p), naïve Monte Carlo
l For small FAIL(p), RCA/DNF counting
l Balance: e-approx. in O(mn3.5/e2) time
l Implementations show practical for
hundreds of nodes
l Again, no way to verify correct