Shareable benchmark table
Wall time, generated tokens, and localisation
Operational aggregates across all terminal runs. These are operational observations only and do not measure finding quality.
Table 13 · Operational telemetry
Wall time, generated tokens, and localisation
| Metric | Value |
|---|---|
| Median wall time / run | pending |
| Total collection wall time | pending |
| Generated tokens (total) | pending |
| Generated tokens (median / run) | pending |
| Tool calls (total) | pending |
| Source localised (tool-enabled runs) | pending |
Operational telemetry is kept separate from the verified-proof endpoint. Wall time and generated tokens do not prove correctness. Pending cells are never shown as zero.