Figure 6: Example graph used in the following to show the properties of the formulations listed in Table 1. The set of labels is given by , the optimal solution value is .