Klever

One fails to quickly get very useful and important statistics on safes, unsafes and unknowns when try to intensively use Klever to verify many modules against many rules. The only way to do this is to open corresponding pages (Safes, Unsafes, Unknowns) and either set up appropriate filters through views or copy-paste to some sheets for further investigation. When the number of corresponding table rows more than 100, tables are opened very slowly (it is by design and it is well but I am sure that can be optimized). For say 100000 row tables it is almost impossible to wait for corresponding pages to be opened.

This feature becomes even more important after support of lightweight verification results (#7368) that already replace the most of the most large heavyweight verification results by default. Lightweight verification results don't contain any details on Safes that constitute the most of verification results and almost aren't interesting.

It is suggested to calculate and show additional statistics on Safes, Unsafes and Unknowns, namely:

1. Specify lists of attribute names for various job classes. For instance, it looks that initially just Rule specification should be specified for all job classes. If there won't be the specified attribute, especially for Unknowns, you can use special attribute value Others.
2. Calculate additional caches keeping the number of Safes, Unsafes and Unknowns grouped by values of the specified attribute names. I think that these caches should be bound to all component reports as other caches do.
3. Show pretty tables with corresponding sorted statistics. It would be great if one will be able to click on corresponding values to get pages with respectively filtered lists of corresponding reports. I think that views don't need to support anything regarding these tables except (not) showing them at all (by default they should be shown).