Comment by iambvk

On Paxos: The following already seems wrong. AFAIK the proposal number space must be divided across proposers. If all proposers use minNumber+1 replicas will diverge on the chosen value.

  protected override void Propose(Instance r)
  {
    proposalNumber = minNumber + 1;
    Broadcast(r, MessageType.Propose, proposalNumber);
  }