On Fri, Jun 6, 2025 at 6:58 PM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> Agreed. Given the above test results, it's unlikely always sorting the
> array helps speedups.
Did you try specializing the sort? In my experience, it makes a big difference.
--
Peter Geoghegan