This product area groups together the verification, analysis, and data-heavy work around perft(), UPC-style workloads, and large-scale statistics publishing.
It is meant to act like a parent minisite: one place for the overview, with child products underneath for the tools and pipelines that deserve their own feeds, experiments, and release pages.