Your pass-rate table under-budgets the verification job in 77% of cases

Over 1,440 cells a budget sized from a pass-rate table comes up short 77% of the time — worst case by 4.93x. Why a pass rate cannot answer a question about dependency structure, and what does.