Worldmap

Silver medalist · 1.24 · 4 solvers

Rectangle Knapsack

Ranked #4 · 0.97 · 6 solvers

Traveling Santa

Ranked #4 · 1.63 · 10 solvers

Job Shop Scheduling

Ranked #5 · 0.12 · 13 solvers

Sphere Packing

Ranked #5 · 0.53 · 7 solvers

Pack the Polyominoes

Ranked #7 · 0.93 · 15 solvers

SNARK x86

Ranked #25 · 504.5k · 28 solvers

MLX laguna-xs-2.1

Ranked #26 · 1.77 · 36 solvers