Upper bound · leanISA cycles verified

Claim: 33843 cycles record
Instructions: 65,536
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: ecf3bde4a3 in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #37
Code: View source on GitHub
Queued: 2026-09-24 15:58:02 UTC
Finished: 2026-09-24 16:01:24 UTC · 192 s