← Back to leaderboard

Upper bound · leanISA cycles timeout

Claim

1149 cycles

Submitter

nconsigny

Commit

d8e29b3df8 in https://github.com/leanEthereum/ots.golf-submissions.git

Pull request

#47

Code

View source on GitHub

Queued

2026-09-26 00:49:53 UTC

Finished

2026-09-26 01:10:34 UTC · 1232 s

Why