Recent activity

2026-08-26 14:54 David Renshaw commented on length 836 over {0, 1, 2, 3, 4, 5, 6}
Found by alternating reversal with exact tail-release DFS; independently verified.
2026-08-26 14:54 David Renshaw extended {0, 1, 2, 3, 4, 5, 6} — length 836 (was 757)
2026-08-26 14:54 Bryna Kra opened {0, 1, 2, 97, 98, 99} — length 6042
2026-08-26 14:49 David Renshaw commented on length 1102 over {0, 1, 2, 3, 4, 5, 7}
Fifteen-minute improvement campaign seeded from word 41, the 750-symbol record for alphabet {0,1,2,3,4,5,7}. Ten parallel mobility-guided randomized DFS workers explored shallow, focused, reverse, and deep suffix rewrites for three five-minute phases. Verified phase records rose …
2026-08-26 14:49 David Renshaw extended {0, 1, 2, 3, 4, 5, 7} — length 1102 (was 750)
2026-08-26 14:32 David Renshaw commented on length 23449 over {0, 1, 3, 7, 12, 20, 30}
Fifteen-minute improvement campaign seeded from word 55, the 4,745-symbol record for alphabet {0,1,3,7,12,20,30}. Ten parallel mobility-guided randomized DFS workers explored shallow, focused, reverse, and deep suffix rewrites for three five-minute phases. Verified phase records …
2026-08-26 14:32 David Renshaw extended {0, 1, 3, 7, 12, 20, 30} — length 23449 (was 4745)
2026-08-26 14:32 Bryna Kra commented on length 5165 over {0, 2, 46, 80, 85, 99}
This one came from a substitution.
2026-08-26 14:32 Bryna Kra commented on length 5184 over {0, 3, 41, 85, 90, 96}
This one came from a substitution.
2026-08-26 14:32 Bryna Kra commented on length 6002 over {0, 1, 2, 85, 89, 96}
This one came from a substitution
2026-08-26 14:26 Bryna Kra opened {0, 1, 2, 85, 89, 96} — length 6002
2026-08-26 14:21 Bryna Kra opened {0, 2, 46, 80, 85, 99} — length 5165
2026-08-26 14:13 Bryna Kra opened {0, 3, 41, 85, 90, 96} — length 5184
2026-08-26 13:44 Bryna Kra extended {0, 1, 11, 15} — length 881 (was 831)
2026-08-26 13:34 Kaitlyn Loyd extended {0, 1, 4, 13} — length 494 (was 460)
2026-08-26 13:18 Bryna Kra opened {0, 1, 11, 15} — length 831
2026-08-26 12:37 Redmond McNamara commented on length 474 over {0, 1, 2, 3, 4, 5}
I conjecture best possible on {0, ..., 5}
2026-08-26 12:31 David Renshaw commented on length 21936 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19}
Fifteen-minute search campaign for alphabet {0,...,19}. I lifted the verified 21,936-symbol {0,...,18} construction by retaining its longest prefix that accepted 19, producing a valid exact-alphabet seed of length 21,931. Ten parallel mobility-guided randomized DFS workers then e…
2026-08-26 12:31 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19} — length 21936 (was 21185)
2026-08-26 12:29 Redmond McNamara extended {0, 1, 2, 3, 4, 5} — length 474 (was 435)
2026-08-26 11:43 David Renshaw commented on length 21936 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18}
Thirty-minute search campaign for alphabet {0,...,18}. I lifted the strongest verified {0,...,17} construction by finding the longest prefix accepting 18, producing a valid exact-alphabet seed of length 21,883. Ten parallel mobility-guided randomized DFS workers then explored sha…
2026-08-26 11:43 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18} — length 21936 (was 19279)
2026-08-26 10:00 David Renshaw commented on length 21936 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17}
Seven-hour search campaign for alphabet {0,...,17}. The candidate was produced by mobility-guided randomized depth-first suffix rewriting with ten parallel workers spanning shallow, focused, reverse, and deep regimes. I also tested an independent fresh construction and both globa…
2026-08-26 10:00 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17} — length 21936 (was 17929)
2026-08-26 03:11 Bryna Kra extended {0, 1, 9, 14} — length 798 (was 775)
2026-08-26 03:06 David Renshaw commented on length 21185 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19}
Mobility-guided randomized DFS with mixed suffix-rewrite restarts, seeded from the previous {0,...,19} record; 10 parallel strategies in a 15-minute search-and-validation run. Independently verified before submission.
2026-08-26 03:06 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19} — length 21185 (was 18705)
2026-08-26 02:43 David Renshaw commented on length 26401 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20}
Mobility-guided randomized DFS with mixed suffix-rewrite restarts, seeded from the previous {0,...,20} record; 10 parallel strategies in a 15-minute search-and-validation run. Independently verified before submission.
2026-08-26 02:43 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20} — length 26401 (was 19892)
2026-08-26 02:27 David Renshaw commented on length 36538 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21}
Mobility-guided randomized DFS with mixed suffix-rewrite restarts, seeded from the prior {0,...,15} record; 10 parallel strategies for 15 minutes. Independently verified before submission.