Ready! proposers and acceptors work well separatly. First have to start a node named 'proposers' and then start paxy_sep:start_sep_proposers(Sleep, AcceptorsNodeName). Then start a new erlang environment called 'acceptors' and call paxy_sep:start_sep_acceptors(ProposersNodeName).