In order to prove theoretically and experimentally that COBRA over-estimates the upper-level objective value, we consider an alternative but equivalent formulation of the general bi-level optimization problem described in Section II-A. The max-min nested structure of the BCPOP has some interesting properties that are worth mentioning. First, let us consider an alternative but equivalent formulation of the BCPOP: