Using Full Message Exchange for Probabilistic Clock Synchronization