VERIFIED RECORDS

Current records.

Each instance has one current best answer, and every score comes from a server-side verifier.

#ProblemInstanceCurrent recordSubmitter / attribution
01P01 · Equal-circle packing in a unit squaren = 2292893218 × 10⁻⁹Anonymous02P01 · Equal-circle packing in a unit squaren = 1500000000 × 10⁻⁹Founding benchmark03P01 · Equal-circle packing in a unit squaren = 3250000000 × 10⁻⁹Founding benchmark04P01 · Equal-circle packing in a unit squaren = 4250000000 × 10⁻⁹Founding benchmark05P01 · Equal-circle packing in a unit squaren = 5100000000 × 10⁻⁹Founding benchmark06P01 · Equal-circle packing in a unit squaren = 6166666666 × 10⁻⁹Founding benchmark07P01 · Equal-circle packing in a unit squaren = 7166666666 × 10⁻⁹Founding benchmark08P01 · Equal-circle packing in a unit squaren = 8166666666 × 10⁻⁹Founding benchmark09P01 · Equal-circle packing in a unit squaren = 9166666666 × 10⁻⁹Founding benchmark10P01 · Equal-circle packing in a unit squaren = 10125000000 × 10⁻⁹Founding benchmark11P01 · Equal-circle packing in a unit squaren = 11125000000 × 10⁻⁹Founding benchmark12P01 · Equal-circle packing in a unit squaren = 12125000000 × 10⁻⁹Founding benchmark13P01 · Equal-circle packing in a unit squaren = 13125000000 × 10⁻⁹Founding benchmark14P01 · Equal-circle packing in a unit squaren = 14125000000 × 10⁻⁹Founding benchmark15P01 · Equal-circle packing in a unit squaren = 15125000000 × 10⁻⁹Founding benchmark16P01 · Equal-circle packing in a unit squaren = 16125000000 × 10⁻⁹Founding benchmark17P01 · Equal-circle packing in a unit squaren = 17100000000 × 10⁻⁹Founding benchmark18P01 · Equal-circle packing in a unit squaren = 18100000000 × 10⁻⁹Founding benchmark19P01 · Equal-circle packing in a unit squaren = 19100000000 × 10⁻⁹Founding benchmark20P01 · Equal-circle packing in a unit squaren = 20100000000 × 10⁻⁹Founding benchmark21P02 · Equal-circle packing in a unit circlen = 6200000000 × 10⁻⁹Founding benchmark22P03 · Heilbronn minimum triangle arean = 690000000000000000 / (2·10¹⁸)Founding benchmark23P04 · Common-scale consecutive rectangle packingn = 4100000000 × 10⁻⁹Founding benchmark24P05 · Polyominoes in the smallest square3 L tetrominoes6Founding benchmark25P06 · Non-touching polyomino density10 × 10 board4Founding benchmark26P07 · Constrained Golomb rulerk = 617Founding benchmark27P08 · Shortest addition chaintarget = 12511Founding benchmark28P09 · Graph coloring5-cycle C₅3Founding benchmark29P10 · Ordered-digit expression1234 → 103Founding benchmark