Upper bound · leanISA cycles verified

Claim: 1209 cycles record
Instructions: 262,144
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: 6363c32ead in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #45
Code: View source on GitHub
Queued: 2026-09-25 12:57:59 UTC
Finished: 2026-09-25 13:06:27 UTC · 497 s