1. developed formulations + descriptions of variables / constraints
2. description of separation methods (integer and fractional case)
3. result table(s) comparing the formulations, including

• I best solution values found
• I optimality gaps
• I running times
• I numbers of branch-and-bound nodes
• I numbers of added violated inequalities (for CEC and DCC)

4. short interpretation of results

I ProgEx 1 (max. 20 points): three different compact formulations using

1. the sequential formulation by Miller, Tucker, Zemlin (MTZ)
2. single-commodity flows (SCF)
3. multi-commodity flows (MCF)