Maybe, but I doubt it. When you're using a "benchmark" that is specifically tailored to be optimised for your specific product you will always appear stronger than you actually are. Schedulers tend to be biased toward using the same SMT core as the physical core being used for a task so it's very possible that AOTS is forcing the 5950X to use six physical cores and six SMT cores while the 19200K was using 16 physical cores and only 8 SMT cores because that's all it has. Even if the 5950X isn't being forced to use 12 SMT cores, it's most likely using more SMT cores than the 19200K is. That alone could explain the difference in scores.