Guck am besten direkt auf dem Aufkleber aufm Speicher nach, CPU-Z spinnt manchmal rum. Du kannst aber auch den 4-4-4-12 kaufen und dann im BIOS entweder fest auf 4-4-4-12 oder 5-5-5-15 stellen (beide sollten beide Timings locker mitmachen, ohne zu stressen). Performanceunterschiede wirst du eh keine feststellen.