Upper bound · leanISA cycles verified

Claim: 1138 cycles record
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: 6eb6439a2e in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #48
Code: View source on GitHub
Queued: 2026-09-26 23:19:05 UTC
Finished: 2026-09-26 23:41:59 UTC · 1360 s