(a,b) = (2,2), (m,p) = (4,4), n = 16, seed 3, 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.6569e-03
  start 1: lambda_min = -2.6569e-03
  start 2: lambda_min = -2.6575e-03
  start 3: lambda_min = -2.6582e-03
RESULT (4,4) seed 3: no certificate   [3.8 s]
