Clarified the polynomial runtime of the last polyhedral formulation.