The total number of characteristic-set instances.
The total number of unique predicates.
The total number of signatures across all characteristic sets.