(a,b) = (2,2), (m,p) = (4,4), n = 16, seed 1, 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 = -8.0990e-04
  start 1: lambda_min = -8.0900e-04
  start 2: lambda_min = -8.0822e-04
  start 3: lambda_min = -8.1102e-04
RESULT (4,4) seed 1: no certificate   [4.7 s]
