(a,b) = (2,2), (m,p) = (4,4), n = 16, seed 2, coefficients in [-3,3]; 70 Pluecker coordinates, 1316 distinct relations R_IJ
  dim U(V_R) = 54 (C(N,m) - n = 54)   [0.1 s]
  restricted forms: 1316 non-zero   [0.1 s]
  start 0: lambda_min = -2.2189e-04
  start 1: lambda_min = -2.2168e-04
  start 2: lambda_min = -2.2064e-04
  start 3: lambda_min = -2.2171e-04
RESULT (4,4) seed 2: no certificate   [3.5 s]
