The random and stratified random baselines revealed that Lee, Rule-of-3, and QED have low prevalence in the catalog, for example fewer than seven per 10,000 for QED. For highly non-linear (QED) or tight (Lee) constraint sets NGT with diversity sampling enriched results 2,650-fold (Lee) and 808-fold (QED) while increasing diversity compared to the random baseline. In contrast, HE enriched these constraint sets by about 30-fold. On the simpler 'Rule-of-3' constraint set, HE slightly outperformed NGT.