Table 11: Comparison of formulations 𝐸𝐶𝑡 and 𝐷𝐶𝑢𝑡𝑡 with and without using odd hole ienqualities. Index 𝑜 denotes if odd hole inequalities are separated, index 𝑏 indicates that odd hole inequalities have been used to induce branching over related label variables.