Upper bound · leanISA cycles verified

Claim: 1433 cycles record
Instructions: 262,144
Submitter: lucemans
Assisted by: Claude Code 5.5
Commit: ad841e4db6 in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #41
Code: View source on GitHub
Queued: 2026-09-24 20:59:15 UTC
Finished: 2026-09-24 21:14:12 UTC · 484 s