[PPL-devel] PPL timings depend on sort (ordering) of input?