S  200 cells, 4800 (u, s, M) samples (66s)
   (s1) moment polynomials vs distribution: max rel. error 6.25e-14
   (s2) min [E P(M) - E Gt(M)] = 1.474e-02  (must be > 0)
   (s3) min [C - sum c_k EM^k] = 9.380e-06 (mine), 3.877e-04 (RQ-B's)  (must be >= 0)
   (s4) identity (9.1): max abs error 1.22e-15
   (s5) min [sqrt3 (1-q)^2 - a - sum c_k EM^k - delta T] = 8.065e-04  (must be > 0)
   (s6) min [T - E|L|] over the 4800 samples with E|M| <= T: 6.832e-02  (must be >= 0)
A  72 (u, a) points (109s); max E|L|/T = 0.932659 at u = 2.54300, a = 0.29340, (k1, k2, s2, k3, s3, c) = (1, 0, 1, 11, 1, 0.28824), E|M|/T there = 0.937316
   u = 2.40000: max E|L|/T = 0.921946 at a = 0.29340, (3, 8, 1, 1, -1, 0.23041)
   u = 2.44000: max E|L|/T = 0.923097 at a = 0.29340, (6, 5, 1, 1, -1, 0.23041)
   u = 2.48000: max E|L|/T = 0.923777 at a = 0.29340, (1, 0, 1, 12, -1, 0.27597)
   u = 2.52000: max E|L|/T = 0.929025 at a = 0.29340, (1, 0, 1, 11, 1, 0.28824)
   u = 2.54246: max E|L|/T = 0.932577 at a = 0.29340, (1, 0, 1, 11, 1, 0.28824)
   u = 2.54300: max E|L|/T = 0.932659 at a = 0.29340, (1, 0, 1, 11, 1, 0.28824)
RESULT: SEMANTIC CHECKS PASSED ; NO COUNTEREXAMPLE FOUND (109s)

real	2m1.134s
user	14m39.407s
sys	0m0.461s
