Compute reachable sets for sample network