There are press conferences about FP32 performance and the shader configuration of the part. (4096 * 2) x FREQUENCY = 13TFLOP. Frequency = 1600MHz. It's not rocket science. We don't even have to look at the Linux driver to know that at this point. He said that they have two models, but that they both get ~13Tflop, so that means that the boost (?) clock of 1.6GHz holds for both, with the watercooled part more likely to sustain it for longer.