Upper bound · leanISA cycles verified

Claim: 1149 cycles record
Submitter: nconsigny
Commit: 3c87a7b95a in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #47
Code: View source on GitHub
Queued: 2026-09-26 09:09:14 UTC
Finished: 2026-09-26 09:31:53 UTC · 1349 s