In three steps
Same optimizer, same verifier, public evidence.
Suites, SOL scores and proof pages are built and tested, and waiting for GPU verification. No suite result has been recorded yet, so this page explains the method and shows no scores.
01 / 03 · Run
Standard tasks, the everyday pipeline.
Suite runs don’t get a special harness. Each task goes through the same optimizer and verifier you use, so a suite result says something about the product, not a demo path.
Suites
- KernelBench-Verified MIT licence, pinned commit Coming soon
- SOL-ExecBench results only; data never redistributed Coming soon
- CPU mini suite pipeline check, never publishable Coming soon
Every run bundles
- Raw logs and per-task verdicts Coming soon
- Environment fingerprint, harness version Coming soon
- Clock-lock and L2-flush evidence, SHA256SUMS Coming soon
02 / 03 · Score
Speedup is relative. Speed-of-light isn’t.
“5× faster” from a slow baseline can still be far from good. The SOL fraction says how much of the hardware’s limit a kernel reaches, and it will sit next to every optimizer speedup.
The floor
TSOL = max( FLOPs ÷ peak FLOP/s , bytes ÷ peak DRAM bandwidth )
Work counted on the reference: FLOPs by torch.utils.flop_counter, bytes as compulsory traffic.
The score
SOL fraction = TSOL ÷ Tmeasured
03 / 03 · Publish
A proof page, or a refusal.
Publishing is refused unless every condition holds. A result that can’t be checked doesn’t get a page.
- Ran on a GPU Coming soon
- Clocks locked, and held under load both sides of every measurement Coming soon
- L2 flushed both sides of every measurement Coming soon
- SOL from datasheet peaks, none above SOL Coming soon
- A model did the optimizing scripted runs are pipeline checks only Coming soon
- Public page with JSON and bundle download Coming soon