In the description of the transaction life cycle it is mentioned that:
SCP resolves the differences between the various transaction sets proposed and decides on the one transaction set that the network will apply.
My understanding is that difference instances of stellar-core
might decide to add different transactions in a transaction set, but why would that happen? Then, how specifically the servers reach a consensus about which transaction set is the right one?