Example problems
The exact construction problems bundled with hillclimb, with the best known value beside each.
Construction problems in one shape: the submission is a small CSV of numbers, the verifier
checks the constraints and computes the score exactly, and there is no dataset, no hidden split
and no noise. Each ships with the best known value as a reference line on the chart, and each
family is a ladder. hillclimb problem list prints this catalog; hillclimb problem get <id>
copies one in. The pictures are on hillclimb.sh/problems.
| problem | family | metric | best known | by hand | |
|---|---|---|---|---|---|
 | circle-packing | Circle packing | sum-radii, max | 2.63598 (AlphaEvolve) | play |
 | circle-packing-32 | Circle packing | sum-radii, max | 2.93957 (Georgiev et al. 2025) | play |
 | heilbronn-11 | Heilbronn triangles | min-triangle-area, max | 0.037037 (Goldberg 1972) | play |
 | heilbronn-14 | Heilbronn triangles | min-triangle-area, max | 0.0243 (Beyleveld 2006) | play |
 | heilbronn-17 | Heilbronn triangles | min-triangle-area, max | 0.016481 (Stead 2026) | play |
 | heilbronn-convex-13 | Heilbronn triangles | normalized-min-triangle-area, max | 0.0309369 (AlphaEvolve) | play |
 | labs-40 | Low-autocorrelation binary sequences | autocorrelation-energy, min | 108 (optimal (Packebusch & Mertens 2016)) | play |
 | labs-60 | Low-autocorrelation binary sequences | autocorrelation-energy, min | 218 (optimal (Packebusch & Mertens 2016)) | play |
 | tammes-30 | Tammes | min-angle-deg, max | 38.5971 (Hardin, Sloane & Smith 1994) | play |
 | tammes-50 | Tammes | min-angle-deg, max | 29.753 (Hardin, Sloane & Smith 1994) | play |
 | thomson-50 | Thomson | coulomb-energy, min | 1055.18 (Wikipedia Thomson table) | play |
 | thomson-100 | Thomson | coulomb-energy, min | 4448.35 (Wikipedia Thomson table) | play |
 | autocorr-1 | Autocorrelation inequalities | c1-ratio, min | 1.5053 (AlphaEvolve 2025) | — |
 | autocorr-3 | Autocorrelation inequalities | c3-ratio, min | 1.4557 (AlphaEvolve 2025) | — |
 | erdos-overlap | Autocorrelation inequalities | overlap-bound, min | 0.380924 (AlphaEvolve 2025) | — |
 | kissing-11 | Kissing configuration | points, max | 593 (AlphaEvolve 2025) | — |
 | golomb-20 | Golomb rulers | length, min | 283 (optimal (Garry, Vanderschel et al. 1997)) | play |
 | golomb-27 | Golomb rulers | length, min | 553 (optimal (distributed.net 2014)) | play |
 | tsp-200 | Travelling salesman | tour-length, min | — | play |
 | mknap-100-5 | Multidimensional knapsack | total-value, max | 24381 (Chu & Beasley 1998) | play |
 | mknap-250-10 | Multidimensional knapsack | total-value, max | 59187 (Chu & Beasley 1998) | play |