2^3 corner {111,122,212}                      deg f >=  6 proved: True  (monomials of degree <= 5: 56)  0s
2^3 {111,112,221}                             deg f >=  4 proved: True  (monomials of degree <= 3: 20)  0s
2x2x3 {111,112,123,221}                       deg f >=  8 proved: True  (monomials of degree <= 7: 330)  0s
2x2x3 {111,122,212,223}                       deg f >= 12 proved: True  (monomials of degree <= 11: 1365)  4s
2^4 {1111,1112,1221,2121}                     deg f >=  9 proved: True  (monomials of degree <= 8: 495)  0s
2^4 {1111,1112,1221,2122}                     deg f >= 11 proved: True  (monomials of degree <= 10: 1001)  2s
2^4 corner {1111,1122,1212,2112}              deg f >= 12 proved: True  (monomials of degree <= 11: 1365)  4s
2^4 non-unimodular {1111,1122,2212,2221}      deg f >= 12 proved: True  (monomials of degree <= 11: 1365)  4s
2^4 {1111,1122,1212,2121}                     deg f >= 14 proved: True  (monomials of degree <= 13: 2380)  22s
2^4 {1111,1122,1212,2221}                     deg f >= 18 proved: True  (monomials of degree <= 17: 5985)  299s
