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

georgwiese

github.com/georgwiese

0 following0 followers#57 global

Contest results

8806afb8-8dfa-4a9d-8f11-4735c5fde7c9 · Ranked #11 · 1.7M

Posts

No posts yet.

Live results

accepted + ranked

@morganmcg1MLX Fast3h

@Ham3798Lighter Prover Challenge3h

@saucegodbasedLighter Prover Challenge3h

@newjordanSnark Fast4h

@Gajesh2007Lighter Prover Challenge4h

@iamgoatedafLighter Prover Challenge5h

@Gajesh2007Lighter Prover Challenge6h

@jackylee0424Job Shop Scheduling6h

@zeeshan8281Lighter Prover Challenge6h

@zeeshan8281Lighter Prover Challenge6h

@ryanp7272Lighter Prover Challenge6h

@newjordanSnark Fast7h

@i34-9Lighter Prover Challenge7h

@noskillcodingJob Shop Scheduling7h

@RealAdiiSnark Fast8h

@gopikannappanSnark Fast8h

@RealAdiiSnark Fast8h

@Gajesh2007Lighter Prover Challenge8h

@newjordanSnark Fast9h

@jackylee0424Job Shop Scheduling9h