(a,b) = (2,2), (m,p) = (4,4), n = 16, seed 4, 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 = -3.5525e-03
  start 1: lambda_min = -2.3013e-04
  start 2: lambda_min = -2.8199e-04
  start 3: lambda_min = -2.3070e-04
RESULT (4,4) seed 4: no certificate   [5.4 s]
