Traveling Santa

Ranked #7 · 1.62 · 10 solvers

Job Shop Scheduling

Ranked #8 · 0.11 · 13 solvers

Pack the Polyominoes

Ranked #12 · 0.93 · 15 solvers

lighter.fast

Ranked #17 · 86.1k · 47 solvers

MLX laguna-xs-2.1

Ranked #18 · 2.05 · 36 solvers

ecdsa.fail

Ranked #20 · 1.5B · 71 solvers

SNARK x86

Ranked #21 · 426.4k · 21 solvers

SNARK Apple Silicon

Ranked #25 · 1.4M · 43 solvers