sampled admissible points (u in [u0, u3]): {'cell': 443, 'lp': 5480, 'ms:+': 1181, 'ms:-': 1175, 'ms:c1': 1211, 'nc': 4239}
  min(cell S2 - bound) = +7.334e-03  (OK)
  min(cell bound - E|L|) = +3.383e-02  (OK)
  min(lp E P - E|L|) = +3.140e-03  (OK)
  min(lp S2 - E P) = +1.018e-04  (OK)
  min(ms:+ S2 - bound) = +1.014e-03  (OK)
  min(ms:+ bound - E|L|) = +2.434e-07  (OK)
  min(ms:- E P - E|L|) = +1.319e-02  (OK)
  min(ms:- S2 - E P) = +3.073e-02  (OK)
  min(ms:- p* - p3) = +1.588e-03  (OK)
  min(ms:c1 E P - E|L|) = +1.596e-02  (OK)
  min(ms:c1 S2 - E P) = +4.789e-03  (OK)
  min(nc S2 - bound) = +2.676e-03  (OK)
  min(nc bound - E|L|) = +1.015e-08  (OK)
max E|L|/S_2 over all sampled points: 0.998864404658
RESULT: no violation
