[jonathanstrange]

I was being sarcastic because 13,000 times faster is 4 orders of magnitude faster so it doesn't matter to which supercomputer it is compared.