C(17,12,5) = 17

Method of Construction: dynamic programming covering

Lower Bound: Schonheim

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