[aab0]

I was wondering about third-party benchmarks. As far as I know, the Top500 is pure self-report, and this is a big national-prestige thing...