The Lean Kernel Arena runs in rounds. The main page shows the round currently in progress, which is rebuilt whenever checkers or tests change. When a round is closed, its site is archived here unchanged, together with the raw results and the test suite it was run against.
Results are only really comparable within a round: checkers, tests and the Lean version they are measured against all move between rounds, and the timings depend on the machine the round happened to run on.
Closed rounds
No rounds have been closed yet.