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

Labinius · x86

Ranked #13 · 315.4 · 17 solvers

lighter.fast

Ranked #17 · 86.1k · 47 solvers

MLX laguna-xs-2.1

Ranked #18 · 2.05 · 36 solvers

SNARK x86

Ranked #28 · 426.4k · 28 solvers

SNARK Apple Silicon

Ranked #30 · 1.4M · 48 solvers

ecdsa.fail

Ranked #34 · 1.5B · 82 solvers