Upper bound · hinted RISC-V cycles verified

Claim: 315 cycles record
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: 26a5366661 in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #65
Code: View source on GitHub
Queued: 2026-09-28 13:06:49 UTC
Finished: 2026-09-28 13:53:17 UTC · 936 s