| Mode | E | -T | -U | -S | -H | -R | M | X |
| HLCs extracted from first model | 785 | 785 | 785 | 785 | 0 | 785 | 785 | 785 |
| HLCs extracted from second model | 398 | 398 | 398 | 398 | 0 | 398 | 398 | 398 |
| Comparisons | 342410 | 342410 | 342410 | 342113 | 5220 | 118846 | 117356 | 342573 |
| HLC-comparisons | 216482 | 216482 | 216482 | 217114 | 0 | 61710 | 61062 | 216645 |
| Correspondences | 938 | 938 | 938 | 935 | 247 | 706 | 669 | 938 |
| HLC-correspondences | 583 | 583 | 583 | 582 | 0 | 408 | 371 | 583 |
| Differences | 113243 | 113243 | 113243 | 113239 | 120 | 49099 | 48053 | 113243 |
| Number of FC-thesaurus lookups | 3337 | 0 | 3337 | 2689 | 0 | 1222 | 1492 | 3337 |
| Number of name-thesaurus lookups | 121859 | 0 | 121859 | 121107 | 3796 | 54351 | 53524 | 121859 |
The CCUS suffers gigantic quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment again 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 | 57 | 57 | 57 | 57 | 0 | 57 | 57 | 57 |
| HLCs extracted from second model | 20 | 20 | 20 | 20 | 0 | 20 | 20 | 20 |
| Comparisons | 13216 | 13216 | 13216 | 12296 | 5220 | 7668 | 8040 | 13204 |
| HLC-comparisons | 1186 | 1186 | 1186 | 1186 | 0 | 207 | 275 | 1174 |
| Correspondences | 309 | 309 | 309 | 309 | 247 | 283 | 283 | 309 |
| HLC-correspondences | 22 | 22 | 22 | 22 | 0 | 12 | 12 | 22 |
| Differences | 771 | 771 | 771 | 767 | 120 | 288 | 322 | 771 |
| Number of FC-thesaurus lookups | 3336 | 0 | 3336 | 2688 | 0 | 1221 | 1491 | 3336 |
| Number of name-thesaurus lookups | 9754 | 0 | 9754 | 9002 | 3796 | 5669 | 5921 | 9754 |
Detailed results suppressed due to commercial confidence.