P = B = dictator: p = 0.4000, W_+ = 0.2400 (Theorem L bound 0.2400), G = 0.00e+00
P = B = AND2: p = 0.1600, W_+ = 0.0768 (Theorem L bound 0.0768), G = -1.39e-17
P = B = 1{z=(1,-1)}: p = 0.2400, W_+ = 0.1248 (Theorem L bound 0.1248), G = -3.47e-17
relaxation 1: min G = -0.023278 at p = 0.1250, b = 0.0250
relaxation 2: min G = -0.015319 at p = 0.1000, b = 0.0250
