{apertureidentification, aperture,}
The CCUS suffers quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment with these three HLC-classes disabled (i.e. with type_hlc-optional.filc, type_hlc+non_null-attr.filc, non_null-exists.filc, domain_rules_hlc.filc and propagate_from_defined_type.filc excluded from the case-library).
| Mode | E | -T | -U | -S | -H | -R | M | X |
| HLCs extracted from first model | 13 | 13 | 13 | 13 | 0 | 13 | 13 | 13 |
| HLCs extracted from second model | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Comparisons | 277 | 284 | 277 | 277 | 277 | 277 | 277 | 277 |
| HLC-comparisons | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Correspondences | 30 | 25 | 30 | 30 | 30 | 30 | 30 | 30 |
| HLC-correspondences | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Differences | 25 | 19 | 25 | 25 | 25 | 25 | 25 | 25 |
| Number of FC-thesaurus lookups | 3 | 0 | 3 | 3 | 3 | 3 | 3 | 3 |
| Number of name-thesaurus lookups | 129 | 0 | 129 | 129 | 129 | 129 | 129 | 129 |
Detailed results suppressed because the models are private.