data: 288 cells, 1421 boxes
N1 cells: c0 -= 1/20 rejected 288/288; calibrated objective T - 2 slack rejected 288/288, T - slack/2 accepted 288/288; cap := 1 rejected 288/288; objective slack min 2.492e-05, median 6.112e-03
N2 semantic: 3982 (certificate, u, beta) triples from 200 certificates; min (bound - exact E P(M)) = 2.802e-08 (must be >= 0)
