C(17,12,4) = 10

Method of Construction: dynamic programming covering

Lower Bound: Todorov, JCTA, 1985

  1  2  3  4  5  6  7  8  9 10 11 12
  1  2  3  4  5  6  7  8  9 10 13 14
  1  2  3  4  5  6  7  8  9 10 15 16
  1  2  3  4  5  6  7  8  9 10 14 17
  2  3  5  6  8 11 12 13 14 15 16 17
  1  2  4  5  7 11 12 13 14 15 16 17
  1  3  4  6 10 11 12 13 14 15 16 17
  5  6  7  9 10 11 12 13 14 15 16 17
  2  4  8  9 10 11 12 13 14 15 16 17
  1  3  7  8  9 11 12 13 14 15 16 17