Instance(n=10, side=[0, 0, 0, 1, 1, 1, 1, 0, 0, 0], edges=[(0, 3, 2), (0, 4, 2), (1, 3, 2), (1, 4, 3), (2, 3, 4), (2, 4, 2), (0, 5, 0), (1, 6, 0), (3, 7, 3), (3, 8, 4), (4, 9, 3)], I=[5, 6, 7, 8, 9], k=3)
  degrees of integral vertices: {5: 1, 6: 1, 7: 1, 8: 1, 9: 1}
  |family max| 8  |family all| 116
  min c.x: conv S (ext. form.) 25.000000 | direct MILP over S 25.000000 | Q(all family) 24.777778 | Q(max family) 24.777778
  x_Q ~ ['2/3', '8/9', '4/3', '0', '2/9', '-1/3', '-2/3', '4/3', '4/3', '1']
  x_Q in conv S(T,I_T) for every T in the full family (sparse disjunctive LP): True (116/116)
Instance(n=10, side=[0, 0, 0, 1, 1, 1, 1, 1, 0, 0], edges=[(0, 3, 3), (0, 4, 8), (1, 3, 5), (1, 4, 9), (2, 4, 1), (0, 5, 0), (1, 6, 9), (2, 7, 0), (3, 8, 1), (4, 9, 2)], I=[5, 6, 7, 8, 9], k=5)
  degrees of integral vertices: {5: 1, 6: 1, 7: 1, 8: 1, 9: 1}
  |family max| 4  |family all| 67
  min c.x: conv S (ext. form.) 22.800000 | direct MILP over S 22.800000 | Q(all family) 22.720000 | Q(max family) 22.720000
  x_Q ~ ['29/25', '38/25', '0', '-11/25', '11/25', '-1', '3/5', '0', '4/5', '0']
  x_Q in conv S(T,I_T) for every T in the full family (sparse disjunctive LP): True (67/67)
