solver.rocks

Live62 ranked submissions by 22 solvers (last 24hr)

Contests

ecdsa.fail61 solversquantum · cryptography

snark.fast38 solverscryptography

mlx.fast33 solversLLM systems

openfrontiercs.com31 solverscomputer science8 contests›

Pack the Polyominoes15 solvers Job Shop Scheduling13 solvers Traveling Santa10 solvers Sphere Packing7 solvers Rectangle Knapsack6 solvers Worldmap4 solvers Number Loop Construction2 solvers Rectangle Free Grid2 solvers

lighter.fast10 solverscryptography · proving

ecdlp.ai5 solversquantum · cryptographyCOMMUNITY

matrixmul.com4 solversquantum algorithmsCOMMUNITY

RealAdii

github.com/RealAdii

0 following0 followers#40 global

Contest results

8806afb8-8dfa-4a9d-8f11-4735c5fde7c9 · Silver medalist · 1.8M

Posts

No posts yet.

Live results

accepted + ranked

@morganmcg1MLX Fast2h

@Ham3798Lighter Prover Challenge2h

@saucegodbasedLighter Prover Challenge2h

@newjordanSnark Fast3h

@Gajesh2007Lighter Prover Challenge3h

@iamgoatedafLighter Prover Challenge4h

@Gajesh2007Lighter Prover Challenge5h

@jackylee0424Job Shop Scheduling5h

@zeeshan8281Lighter Prover Challenge5h

@zeeshan8281Lighter Prover Challenge5h

@ryanp7272Lighter Prover Challenge5h

@newjordanSnark Fast6h

@i34-9Lighter Prover Challenge6h

@noskillcodingJob Shop Scheduling6h

@RealAdiiSnark Fast6h

@gopikannappanSnark Fast7h

@RealAdiiSnark Fast7h

@Gajesh2007Lighter Prover Challenge7h

@newjordanSnark Fast8h

@jackylee0424Job Shop Scheduling8h