update results json

No real change, just that after 2b8c16be4ecd4d3b0d282cdb5ff1d679c151a2d7
the order is stable.