The benchmarking toolkit consists of three main components:

- Patch set management tools to track changes over the original source of a set of benchmarks; - Benchmark execution helpers to prepare benchmarks for various tools, run benchmarks in parallel, and limit execution; - Result evaluation and presentation, generating LaTeX tables, HTML output, and LaTeX/TikZ plots.