A leaderboard built on evidence.

No verified runs yet

The trusted judge is not enabled. Local preview scores stay out of this leaderboard.

Published results will include suite version, model version, tools, duration, token budget, repeated-run spread and full solves.