32 ≤ C(20,12,5) ≤ 42

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 13 14
  1  2  3  4  5  6  7  8  9 10 15 16
  1  2  3  4  5  6  7  8  9 11 13 15
  1  2  3  4  5  6  7  8  9 11 14 16
  1  2  3  4  5  6  7  8  9 12 13 16
  1  2  3  4  5  6  7  8  9 12 14 15
  1  2  3  4  5 10 11 12 13 14 15 16
  1  6  7  8  9 10 11 12 13 14 15 16
  2  3  4  6  7 10 11 12 13 14 15 16
  2  3  4  8  9 10 11 12 13 14 15 16
  5  6  7  8  9 10 11 12 13 14 15 16
  3  6  7  9 10 13 15 16 17 18 19 20
  1  2  4  5  8 11 12 14 17 18 19 20
  2  3  7 11 12 13 14 16 17 18 19 20
  1  4  5  6  8  9 10 15 17 18 19 20
  1  3  4  6 12 13 14 15 17 18 19 20
  2  5  7  8  9 10 11 16 17 18 19 20
  2  4  5  6  7 10 13 14 17 18 19 20
  1  3  8  9 11 12 15 16 17 18 19 20
  1  6  7  8 10 11 12 13 17 18 19 20
  2  3  4  5  9 14 15 16 17 18 19 20
  3  5  8  9 10 12 13 14 17 18 19 20
  1  2  4  6  7 11 15 16 17 18 19 20
  4  5  7  9 11 12 13 15 17 18 19 20
  1  2  3  6  8 10 14 16 17 18 19 20
  1  2  5  6  9 12 13 16 17 18 19 20
  3  4  7  8 10 11 14 15 17 18 19 20
  1  2  7  8  9 13 14 15 17 18 19 20
  3  4  5  6 10 11 12 16 17 18 19 20
  1  2  3  4  9 10 11 13 17 18 19 20
  5  6  7  8 12 14 15 16 17 18 19 20
  4  6  8  9 11 13 14 16 17 18 19 20
  1  2  3  5  7 10 12 15 17 18 19 20
  2  3  5  6  8 11 13 15 17 18 19 20
  1  4  7  9 10 12 14 16 17 18 19 20
  2  4  8 10 12 13 15 16 17 18 19 20
  1  3  5  6  7  9 11 14 17 18 19 20
  1  5 10 11 13 14 15 16 17 18 19 20
  2  3  4  6  7  8  9 12 17 18 19 20
  1  3  4  5  7  8 13 16 17 18 19 20
  2  6  9 10 11 12 14 15 17 18 19 20