[benchaney]

Adding to this. If two miners both discover a solution it is astronomically unlikely that it will be the same solution.

[mnw21cam]

Given that two different miners will be setting the mining fee address differently, I'd say that it is guaranteed that they will have different solutions.