top500にはSXとあるが。