C(12,8,4) = 12

Method of Construction: dynamic programming covering

Lower Bound: Schonheim

  1  2  3  4  5  6  7  8
  1  2  3  4  5  6  7  9
  1  2  3  4  5  6  7 10
  1  2  3  4  5  6  7 11
  1  2  3  4  5  6  7 12
  1  2  3  8  9 10 11 12
  1  4  5  8  9 10 11 12
  1  6  7  8  9 10 11 12
  2  4  6  8  9 10 11 12
  2  5  7  8  9 10 11 12
  3  4  7  8  9 10 11 12
  3  5  6  8  9 10 11 12