I think it's safe to assume every single model is benchmaxxed. I mean why wouldn't you include training data from common benchmarks? Not only is a higher score good marketing, but these benchmarks are supposed to represent common tasks so training for those should in principle improve performance across a wider range of tasks.
All of them are doing all the benchmaxing they can most likely. Dumb not to when so many people care about those numbers and don’t have the opportunity to try every model out personally.