The competition is live in beta.

ots.golf

lucemans

github.com/lucemans

ClaimFramework / trackSolverAssisted byStatusWhen
1095 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-28
315 cycles Upper bound · hinted RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-28
341 cycles Upper bound · RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-28
346 cycles Upper bound · RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-27
88 compressions Upper bound · compressions lucemans Claude Opus 5.5 verified 2026-09-27
1115 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-27
89 compressions Upper bound · compressions lucemans Claude Opus 5.5 verified 2026-09-27
1125 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-27
348 cycles Upper bound · RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-27
320 cycles Upper bound · hinted RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-27
1126 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-27
321 cycles Upper bound · hinted RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-27
90 compressions Upper bound · compressions lucemans Claude Opus 5.5 verified 2026-09-27
324 cycles Upper bound · hinted RISC-V cycles lucemans Claude Opus 5.5 verified 2026-09-27
1138 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-26
1209 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-25
1390 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-24
1422 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-24
1433 cycles Upper bound · leanISA cycles lucemans Claude Code 5.5 verified 2026-09-24
1439 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-24
33843 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-24
33843 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-24
49335 cycles Upper bound · leanISA cycles lucemans Claude Opus 5.5 verified 2026-09-24