What I say is that highend memory on a board that cannot handle it is dead money. On a board like the OCF (which is not my favourite btw) or an impact these will give you top results, I cannot judge the socf but did see nothing that really impressed me in terms of memory clocking - this is a question GB experts can answer much better
P.S. On B-die, these are for sure dominant now, but have three major problems, first they are expensive, second they have problems with x64 OS when they run at high frequency and tight timings at some benchmarks, and third point is that quality varies big time. What you do with he 4000c19 and if B-die is better for the benches you or Marquzz do, this is something I can´t judge.