Circle packing in an isosceles right triangle

Circle packing in a right isosceles triangle is a packing problem where the objective is to pack $n$ unit circles into the smallest possible isosceles right triangle.

Minimum solutions (lengths shown are length of leg) are shown in the table below. Solutions to the equivalent problem of maximizing the minimum distance between $n$ points in an isosceles right triangle, were known to be optimal for $n < 8$ and were extended up to $n = 10$.

In 2011 a heuristic algorithm found 18 improvements on previously known optima, the smallest of which was for $n = 13$.