I think, if FX at 4.2 GHz in single is whoirse than Thuban at 3700MHz, here is some bug in chip (maybe too smal L1D or noit good optimized comunication between caches? Latency are bigger than K10, but not too much for this diferences...)