BB(4,3): Revision history

17 October 2026

• curprev 17:4217:42, 17 October 2026 ADucharme talk contribs m 23,588 bytes 0 →Stage 3: update cumulative progress Tag: Visual edit
• curprev 17:4117:41, 17 October 2026 ADucharme talk contribs m 23,588 bytes +26 →Stage 3: text-align name
• curprev 17:4017:40, 17 October 2026 ADucharme talk contribs m 23,562 bytes +257 →Stage 3: add new (bad) decider run, enter some decider compute times Tag: Visual edit
• curprev 13:2713:27, 17 October 2026 Polygon talk contribs 23,305 bytes +121 →Stage 3: added missing reduction

14 August 2026

• curprev 10:2110:21, 14 August 2026 ADucharme talk contribs 23,184 bytes 0 →Top Halters: added new top 8-10 scoring halters Tag: Visual edit

25 July 2026

• curprev 09:3909:39, 25 July 2026 Polygon talk contribs 23,184 bytes +254 →Stage 3: Added new reductions

18 July 2026

• curprev 14:0214:02, 18 July 2026 ADucharme talk contribs 22,930 bytes −4 →Stage 3: correcting parameter maxT on some deciders Tag: Visual edit

2 July 2026

• curprev 15:0615:06, 2 July 2026 Polygon talk contribs 22,934 bytes +138 →Stage 3: Added new reduction

29 June 2026

• curprev 15:2415:24, 29 June 2026 Polygon talk contribs 22,796 bytes +139 →Stage 3: Added new reduction

25 June 2026

• curprev 12:2412:24, 25 June 2026 Polygon talk contribs 22,657 bytes +137 →Stage 3: Added new reduction

22 June 2026

• curprev 16:1416:14, 22 June 2026 Polygon talk contribs 22,520 bytes +137 →Stage 3: Added new reduction

16 May 2026

• curprev 16:1016:10, 16 May 2026 XnoobSpeakable talk contribs 22,383 bytes +26 →Stage 3: fix fix Tag: Visual edit: Switched
• curprev 16:1016:10, 16 May 2026 XnoobSpeakable talk contribs 22,357 bytes +208 →Stage 3: attempt fix text align Tag: Visual edit: Switched

9 May 2026

• curprev 19:5919:59, 9 May 2026 ADucharme talk contribs 22,149 bytes +98 →Stage 3: new inductive decider row Tag: Visual edit

29 April 2026

• curprev 16:3216:32, 29 April 2026 Polygon talk contribs 22,051 bytes 0 →Phase 1: fixed percent reduction

26 April 2026

• curprev 18:2018:20, 26 April 2026 Polygon talk contribs m 22,051 bytes +4 →Phase 1: linked TNF
• curprev 07:0207:02, 26 April 2026 ADucharme talk contribs m 22,047 bytes −3 →Stage 3: new google drive link Tag: Visual edit
• curprev 05:2405:24, 26 April 2026 ADucharme talk contribs m 22,050 bytes +10 →Top Halters: spaces Tag: Visual edit

25 April 2026

• curprev 22:1822:18, 25 April 2026 ADucharme talk contribs 22,040 bytes +3,437 →Phase 2: Phase 2, Stage 3 table added Tag: Visual edit
• curprev 21:5921:59, 25 April 2026 ADucharme talk contribs m 18,603 bytes +148 →Top Halters: templating TMs
• curprev 21:5721:57, 25 April 2026 ADucharme talk contribs 18,455 bytes −115 →Top Halters: adding a bunch of new top 20 halters found by comprehensive search Tag: Visual edit

17 March 2026

• curprev 20:2120:21, 17 March 2026 ADucharme talk contribs 18,570 bytes +14 →Top Halters: TMify
• curprev 20:2020:20, 17 March 2026 ADucharme talk contribs 18,556 bytes +293 →Top Halters: add discoverer column, two new top 20 halters Tag: Visual edit

26 October 2025

• curprev 22:2022:20, 26 October 2025 ADucharme talk contribs 18,263 bytes −2 →Top Halters: updating discoverer of top 4x3 halters Tag: Visual edit
• curprev 20:4420:44, 26 October 2025 RobinCodes talk contribs 18,265 bytes −20 →Top Halters: Removed {incomplete list} as list is not incomplete. Tag: Visual edit: Switched
• curprev 19:5519:55, 26 October 2025 Tjligocki talk contribs 18,285 bytes +102 Added link to results on Google Drive
• curprev 19:2319:23, 26 October 2025 Tjligocki talk contribs 18,183 bytes +798 Added top 20 halting TMs found by comprehensive search

25 October 2025

• curprev 08:5508:55, 25 October 2025 Polygon talk contribs 17,385 bytes +3 Used a closer lower bound

24 October 2025

• curprev 12:4112:41, 24 October 2025 Polygon talk contribs m 17,382 bytes +4 Some grammar changes in the introduction
• curprev 12:3412:34, 24 October 2025 Polygon talk contribs 17,378 bytes −1 →Stage 2: Updated text with new holdout reductions

23 October 2025

• curprev 18:3718:37, 23 October 2025 Polygon talk contribs m 17,379 bytes 0 →Potential Champions: Fixed equivalence
• curprev 18:2918:29, 23 October 2025 ADucharme talk contribs m 17,379 bytes −99 →Top Halters: remove 10^^10 halter from Top Halter list Tag: Visual edit
• curprev 18:2318:23, 23 October 2025 RobinCodes talk contribs 17,478 bytes −2,088 →Potential Champions: Removed halting tapes, instead included table with sigma scores. Kept paragraph. Tag: Visual edit
• curprev 17:3717:37, 23 October 2025 Polygon talk contribs 19,566 bytes +99 →Top Halters: Made this a complete list of Pavel's potential champions
• curprev 17:2917:29, 23 October 2025 Polygon talk contribs 19,467 bytes +23 Re-added the functions
• curprev 17:1817:18, 23 October 2025 RobinCodes talk contribs 19,444 bytes +14 Updated page with the new champion. Tag: Visual edit

22 October 2025

• curprev 18:0518:05, 22 October 2025 Tjligocki talk contribs 19,430 bytes +1,009 Added more results to Phase 2 Stage 2.

20 October 2025

• curprev 18:0718:07, 20 October 2025 Polygon talk contribs 18,421 bytes +3 →Top Halters: These also seem to be score approximations
• curprev 17:2217:22, 20 October 2025 Polygon talk contribs 18,418 bytes +31 →Potential Champions: Reworded opening sentence
• curprev 17:1717:17, 20 October 2025 Polygon talk contribs m 18,387 bytes 0 →Top Halters: de-capitalized halters
• curprev 17:1617:16, 20 October 2025 Polygon talk contribs 18,387 bytes +31 →Top Halters: Changed sentence

19 October 2025

• curprev 19:3319:33, 19 October 2025 RobinCodes talk contribs 18,356 bytes +90 No edit summary Tag: Visual edit
• curprev 19:2919:29, 19 October 2025 RobinCodes talk contribs 18,266 bytes +149 →Potential Champions Tag: Visual edit
• curprev 17:4717:47, 19 October 2025 Tjligocki talk contribs m 18,117 bytes −194 Removed duplicate entry
• curprev 17:4417:44, 19 October 2025 Tjligocki talk contribs 18,311 bytes +1,192 Added some new results to Phase 2 Stage 2
• curprev 15:4415:44, 19 October 2025 Polygon talk contribs 17,119 bytes +26 →Potential Champions: Reorganized the list
• curprev 14:2514:25, 19 October 2025 Polygon talk contribs m 17,093 bytes −1 Grammar
• curprev 14:2114:21, 19 October 2025 Polygon talk contribs 17,094 bytes +103 →Top Halters: Added 1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD to list of Pavel's TMs
• curprev 08:3108:31, 19 October 2025 Polygon talk contribs m 16,991 bytes −1 →Phase 1: Fixed grammar

17 October 2025

• curprev 00:4800:48, 17 October 2025 Konkhra talk contribs 16,992 bytes +1 not 392 infinite TMs, but 392B infinite TMs Tag: Visual edit: Switched