Yes, sorry I noticed too late they had just picked up the result from GLBenchmark DB...
Well if you clock a GPU at 500MHz results like that aren't really a surprise. If Samsung as just one example clocks the Mali400MP4 under 32nm at 400MHz as projected, T3 won't have it easy.