Let's say you have two miners: A and B.
Let's also say you have two transactions: one which increases a number at a smart contract by one (transaction X), and another which decreases the same number by one (transaction Y).
Miner A mines a block containing transaction X.
Miner B mines a block containing transaction Y.
So Miner A's view is that the smart contract number has incremented, and miner B's view is that the number has decremented. They have both updated the state of the address in their respective EVMs.
These blocks are broadcasted and nodes update their smart contract state accordingly. Eventually, let's say consensus is reached and Miner A comes out the "winner".
Are the state updates from Miner B then "rolled back" and the state update from Miner B applied?