グリッド幅を狭くしていったら
(7.88675135,7.88675135)のときに10.77350269秒が最大という計算になった。

5+10/√3=10.77350269189625764509148780501957455647601751270126876018...

に一致していて、プログラムは正確みたいでほっとした。

俺には理論はわからないけどwwww