The complexity of deciding reachability properties of distributed negotiation schemes