Graph500
Miraとセコイアは同率1位である。