BusyBeaverWiki - User contributions [en]

BB(7)

2025-06-15T20:43:54Z

Stokastic: add max score TM for 34xxxx

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RC0LD}}
|10 ↑↑ 192.67
|Andrew Ducharme
|-
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_0RG0LA_1RB1RZ}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_1RG0LA_0LE1RZ}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_0RF0LF_0RA1RE_1RZ0LE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_0RF0LF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|}

The top 20 known halters with unique scores are:

{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC}}
|10 ↑↑ 140.28
|@stokastic
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.98
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.38
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LA_1RC0RA_0RD0RB_1LE0RC_0LD1LF_0LA1LG_0LC1RZ}}
|10 ↑↑ 105.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
22xxxx
|@C7X
|Yes
|No
|2,972,747
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|{{TM|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA}}
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|{{TM|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ}}
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|{{TM|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF}}
|10 ↑↑ 114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|{{TM|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF}}
|10 ↑↑ 31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|-
|31xxxx
|Yes
|Yes
|1,436,970
|{{TM|1RB1LD_1LC0RF_0RA0LB_0LE1RZ_1LA0LE_1RG1LA_0RC0RF}}
|10 ↑↑ 50.27
|-
|32xxxx
|Yes
|Yes
|1,036,950
|{{TM|1RB1RD_1LC0RF_0LE0LD_1LE1LE_1RF0LB_1RB0RG_1RA1RZ}}
|10 ↑↑ 50.28
|-
|33xxxx
|Yes
|Yes
|1,432,081
|{{TM|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC}}
|10 ↑↑ 140.28
|-
|34xxxx
|Yes
|Yes
|1,032,970
|{{TM|1RB0RA_1LC0LE_0LD0LB_1RE0RD_0RA0LF_1RD1RG_0RF1RZ}}
|10↑↑72.69
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="8" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="8" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|Yes
|Yes
|814,075
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RC0LD}}
|10 ↑↑ 192.67
|-
|42xxxx
|Yes
|Yes
|739,729
|{{TM|1RB1LD_0RC1RF_1LD0LE_0LE0LA_1LA1LE_1RG0LA_1RZ1RA}}
|10 ↑↑ 46.26
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|46xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|47xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="5" |@gerbil5709
|Yes
|No
|957,769
|TBD
|TBD
| rowspan="5" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|Yes
|No
|1,051,882
|TBD
|TBD
|-
|64xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|
65xxxx - 
68xxxx
|Terry Ligocki
|Yes
|Yes
|3,076,778
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|82xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|83xxxx
|Terry Ligocki
|Yes
|Yes
|815,246
|{{TM|1RB0LD_1RC0RF_0LD0RG_1RA1LE_1LC1LD_1RZ0LD_0LG0RE}}
|10 ↑↑ 43.74
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|84xxxx
|Terry Ligocki
|Yes
|Yes
|728,138
|{{TM|1RB0RE_0RC0RB_1LD1LG_1LE0LC_1RA0LF_1LE1LC_1LC1RZ}}
|10 ↑↑ 47.75
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-13T20:29:58Z

Stokastic:

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RC0LD}}
|10 ↑↑ 192.67
|Andrew Ducharme
|-
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_0RG0LA_1RB1RZ}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_1RG0LA_0LE1RZ}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_0RF0LF_0RA1RE_1RZ0LE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_0RF0LF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|}

The top 20 known halters with unique scores are:

{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC}}
|10↑↑140.28
|@stokastic
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.98
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.38
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LA_1RC0RA_0RD0RB_1LE0RC_0LD1LF_0LA1LG_0LC1RZ}}
|10 ↑↑ 105.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
22xxxx
|@C7X
|Yes
|No
|2,972,747
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|{{TM|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA}}
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|{{TM|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ}}
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|{{TM|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF}}
|10 ↑↑ 114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|{{TM|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF}}
|10 ↑↑ 31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|-
|31xxxx
|Yes
|Yes
|1,436,970
|{{TM|1RB1LD_1LC0RF_0RA0LB_0LE1RZ_1LA0LE_1RG1LA_0RC0RF}}
|10↑↑50.27
|-
|32xxxx
|Yes
|Yes
|1,036,950
|{{TM|1RB1RD_1LC0RF_0LE0LD_1LE1LE_1RF0LB_1RB0RG_1RA1RZ}}
|10↑↑50.28
|-
|33xxxx
|Yes
|No
|1,432,081
|{{TM|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC}}
|10↑↑140.28
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="8" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="8" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|Yes
|Yes
|814,075
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RC0LD}}
|10 ↑↑ 192.67
|-
|42xxxx
|Yes
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|46xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|47xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="5" |@gerbil5709
|Yes
|No
|957,769
|TBD
|TBD
| rowspan="5" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|Yes
|No
|1,051,882
|TBD
|TBD
|-
|64xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|
65xxxx - 
68xxxx
|Terry Ligocki
|Yes
|Yes
|3,076,778
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|84xxxx
|Terry Ligocki
|Yes
|No
|955,556
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-13T20:29:32Z

Stokastic: add max score TM for 32xxxx, 33xxxx, update top 20 unique halters

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RC0LD}}
|10 ↑↑ 192.67
|Andrew Ducharme
|-
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_0RG0LA_1RB1RZ}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_1RG0LA_0LE1RZ}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_0RF0LF_0RA1RE_1RZ0LE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_0RF0LF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|}

The top 20 known halters with unique scores are:

{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC}}
|10↑↑140.28
|@stokastic
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.98
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.38
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LA_1RC0RA_0RD0RB_1LE0RC_0LD1LF_0LA1LG_0LC1RZ}}
|10 ↑↑ 105.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
22xxxx
|@C7X
|Yes
|No
|2,972,747
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|{{TM|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA}}
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|{{TM|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ}}
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|{{TM|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF}}
|10 ↑↑ 114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|{{TM|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF}}
|10 ↑↑ 31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|-
|31xxxx
|Yes
|Yes
|1,436,970
|{{TM|1RB1LD_1LC0RF_0RA0LB_0LE1RZ_1LA0LE_1RG1LA_0RC0RF}}
|10↑↑50.27
|-
|32xxxx
|Yes
|No
|1,036,950
|{{TM|1RB1RD_1LC0RF_0LE0LD_1LE1LE_1RF0LB_1RB0RG_1RA1RZ}}
|10↑↑50.28
|-
|33xxxx
|Yes
|No
|1,432,081
|{{TM|1RB0LC_1LC0LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LC}}
|10↑↑140.28
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="8" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="8" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|Yes
|Yes
|814,075
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RC0LD}}
|10 ↑↑ 192.67
|-
|42xxxx
|Yes
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|46xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|47xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="5" |@gerbil5709
|Yes
|No
|957,769
|TBD
|TBD
| rowspan="5" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|Yes
|No
|1,051,882
|TBD
|TBD
|-
|64xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|
65xxxx - 
68xxxx
|Terry Ligocki
|Yes
|Yes
|3,076,778
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|84xxxx
|Terry Ligocki
|Yes
|No
|955,556
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-11T14:35:53Z

Stokastic: add max score TM for 31xxxx

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!#
!TM
!Approximate sigma score
!Discoverer
|-
|1
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|2
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|3
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|4
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|5
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|6
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|7
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|8
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|9
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|10
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|11
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|12
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|13
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|14
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|15
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|16
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|17
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|18
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|19
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|20
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!#
!TM
!Approximate sigma score
!Discoverer
|-
|1
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|2
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|3
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|4
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|5
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|6
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|7
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|8
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|9
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|10
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|11
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|12
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|13
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|14
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|15
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|16
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|17
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|18
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|19
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|20
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|{{TM|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA}}
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|{{TM|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ}}
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|{{TM|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF}}
|10 ↑↑ 114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|{{TM|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF}}
|10 ↑↑ 31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|-
|31xxxx
|Yes
|Yes
|1,436,970
|{{TM|1RB1LD_1LC0RF_0RA0LB_0LE1RZ_1LA0LE_1RG1LA_0RC0RF}}
|10↑↑50.27
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="5" |@gerbil5709
|Yes
|No
|957,769
|TBD
|TBD
| rowspan="5" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|64xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|66xxxx
|rowspan="3"|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|rowspan="3"|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|67xxxx
|Yes
|Yes
|814,028
|{{TM|1RB0LE_0RC0RG_1LD1LC_1LA1RG_0RF0LC_1RD0RC_1RZ1RF}}
|10 ↑↑ 47.06
|-
|68xxxx
|Yes
|Yes
|730,792
|{{TM|1RB0LD_0LC1RZ_1RA0RD_1RE1LD_1LF0RC_0LG1LE_1RG0LD}}
|10 ↑↑ 192.67
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-09T17:41:38Z

Stokastic: update some TM entries to use bbch template

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|{{TM|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA}}
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|{{TM|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ}}
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|{{TM|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF}}
|10↑↑114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|{{TM|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF}}
|10↑↑31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10↑↑126.20
|-
|31xxxx
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="4" |@gerbil5709
|Yes
|No
|957,769
|1RB0LC_1RC0RF_1LD0RB_0LA0LE_1LA1LA_1RG1RZ_1RC1RE
|10↑↑50.279
| rowspan="4" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|68xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-09T14:34:53Z

Stokastic:

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ ([https://bbchallenge.org/1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ bbch])
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF ([https://bbchallenge.org/1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF bbch])
|10↑↑114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF ([https://bbchallenge.org/1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF bbch])
|10↑↑31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD ([https://bbchallenge.org/1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD bbch])
|10↑↑126.20
|-
|31xxxx
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="4" |@gerbil5709
|Yes
|No
|957,769
|1RB0LC_1RC0RF_1LD0RB_0LA0LE_1LA1LA_1RG1RZ_1RC1RE
|10↑↑50.279
| rowspan="4" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|68xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-09T14:32:26Z

Stokastic: add new top 20 machine

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD}}
|10 ↑↑ 126.20
|@stokastic
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ ([https://bbchallenge.org/1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ bbch])
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF ([https://bbchallenge.org/1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF bbch])
|10↑↑114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF ([https://bbchallenge.org/1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF bbch])
|10↑↑31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD ([https://bbchallenge.org/1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD bbch])
|10↑↑126.20
|-
|31xxxx
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="4" |@gerbil5709
|Yes
|No
|957,769
|1RB0LC_1RC0RF_1LD0RB_0LA0LE_1LA1LA_1RG1RZ_1RC1RE
|10↑↑50.279
| rowspan="4" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|68xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-09T14:21:31Z

Stokastic: add some max TMs

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ ([https://bbchallenge.org/1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ bbch])
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF ([https://bbchallenge.org/1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF bbch])
|10↑↑114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF ([https://bbchallenge.org/1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF bbch])
|10↑↑31.67
|-
|30xxxx
|Yes
|Yes
|1,032,095
|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD ([https://bbchallenge.org/1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD bbch])
|10↑↑126.20
|-
|31xxxx
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="4" |@gerbil5709
|Yes
|No
|957,769
|1RB0LC_1RC0RF_1LD0RB_0LA0LE_1LA1LA_1RG1RZ_1RC1RE
|10↑↑50.279
| rowspan="4" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|68xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-09T14:18:14Z

Stokastic: add max score TM for 30xxxx

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ ([https://bbchallenge.org/1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ bbch])
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|No
|956,935
|TBD
|TBD
|-
|29xxxx
|Yes
|No
|1,052,415
|TBD
|TBD
|-
|30xxxx
|Yes
|Yes
|1,032,095
|1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD ([https://bbchallenge.org/1RB0LC_1RC0RG_1RD0LF_1RE0RF_1LA1RG_1LE1LF_1RZ1RD bbch])
|10↑↑126.20
|-
|31xxxx
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="4" |@gerbil5709
|Yes
|No
|957,769
|1RB0LC_1RC0RF_1LD0RB_0LA0LE_1LA1LA_1RG1RZ_1RC1RE
|10↑↑50.279
| rowspan="4" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|68xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|1,053,119
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-08T19:51:22Z

Stokastic: Add max score TM for 28xxxx, 29xxxx

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Within three days of the code's release, the Ligockis found three champions after applying their deciders to enumerator output. Shawn Ligocki found the first two, {{TM|1RB0RF_1LC0RE_1RD1LB_1LA1LD_0RA0LE_1RG0LB_1RZ1RB}} and {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}, with sigma scores of approximately 10 ↑↑ 22 and 10 ↑↑ 35. That evening, Terry Ligocki found {{TM|1RB0LG_1RC0RF_1LD1RZ_1LF0LE_1RA1LD_1LG1RE_0LB0LB}}, with sigma score ~10 ↑↑ 46. These were all outpaced by Pavel's champion.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|Andrew Ducharme
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RF_1RC0RB_0RD0RF_1LE0LG_1LC0RD_1LA0LD_1LF1RZ}}
|10 ↑↑ 114.61
|Andrew Ducharme
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|rowspan="10"|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
|rowspan="10"|[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|Yes
|Yes
|817,178
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|-
|02xxxx
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|Yes
|No
|1,056,745
|TBD
|TBD
|-
|06xxxx
|Yes
|No
|950,271
|TBD
|TBD
|-
|07xxxx
|Yes
|No
|1,053,750
|TBD
|TBD
|-
|08xxxx
|Yes
|No
|951,114
|TBD
|TBD
|-
|09xxxx
|Yes
|No
|1,052,362
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|
20xxxx - 
21xxxx
|@C7X
|Yes
|No
|2,013,389
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|rowspan="10"|@stokastic
|Yes
|Yes
|815,919
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
|rowspan="10"|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|Yes
|Yes
|731,995
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10 ↑↑ 36.26
|-
|27xxxx
|Yes
|Yes
|811,486
|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ ([https://bbchallenge.org/1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ bbch])
|10 ↑↑ 63.56
|-
|28xxxx
|Yes
|Yes
|956,935
|1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF ([https://bbchallenge.org/1RB1RZ_0LC1RC_0RE1RD_0RB1RG_1RF0RA_1LG0LC_1LB0LF bbch])
|10↑↑114.57
|-
|29xxxx
|Yes
|Yes
|1,052,415
|1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF ([https://bbchallenge.org/1RB1LA_1RC1RD_0LA1LG_1RZ0LE_1RB1RF_1RE0LC_0RE1LF bbch])
|10↑↑31.67
|-
|30xxxx
|Yes
|No
|1,032,095
|TBD
|TBD
|-
|31xxxx
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|
35xxxx - 
39xxxx
|Terry Ligocki
|Yes
|Yes
|4,894,047
|{{TM|1RB1RZ_1LC0RF_0LD1LB_1RD0LE_1RB1LE_1RG0RE_0RA0LE}}
|10 ↑↑ 192.67
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|Yes
|Yes
|730,310
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|rowspan="2"|@prurq
|Yes
|Yes
|120,520
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|rowspan="2"|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|501xxx
|Yes
|No
|96,102
|TBD
|TBD
|-
|60xxxx
| rowspan="4" |@gerbil5709
|Yes
|No
|957,769
|TBD
|TBD
| rowspan="4" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|Yes
|No
|1,052,047
|TBD
|TBD
|-
|62xxxx
|Yes
|No
|959,753
|TBD
|TBD
|-
|63xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|68xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|69xxxx
|@poppuncher
|Yes
|Yes
|899,874
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|71xxxx
|@hipparcos
|No
|No
|TBD
|TBD
|TBD
|
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-06T15:54:18Z

Stokastic: add max score TM for 27xxxx

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|-
|{{TM|1RB1LG_1RC0LA_1LD0RF_0LE0LD_1RE0RB_0LB1LF_1RZ1LC}}
|10 ↑↑ 80.18
|Andrew Ducharme
|-
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|Andrew Ducharme
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
| rowspan="10" |[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|@Iijil
|Yes
|Yes
|1,056,253
|TBD
|TBD
|-
|02xxxx
|@Iijil
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|@Iijil
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|@Iijil
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|06xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|07xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|08xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|09xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|20xxxx - 
21xxxx
|@C7X
|Yes
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|@stokastic
|Yes
|No
|1,056,591
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
| rowspan="10" |[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|@stokastic
|Yes
|No
|958,289
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10↑↑36.26
|-
|27xxxx
|@stokastic
|Yes
|No
|1,052,946
|1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ ([https://bbchallenge.org/1RB0RG_1LC1LB_0RE0LD_0LC1RF_0RA1RE_0LF0LB_1RF1RZ bbch])
|10↑↑63.56
|-
|28xxxx
|@stokastic
|Yes
|No
|956,935
|TBD
|TBD
|-
|29xxxx
|@stokastic
|Yes
|No
|1,052,415
|TBD
|TBD
|-
|30xxxx
|@stokastic
|Yes
|No
|1,032,095
|TBD
|TBD
|-
|31xxxx
|@stokastic
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|@stokastic
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|@stokastic
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|@stokastic
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|35xxxx
|rowspan="5"|Terry Ligocki
|Yes
|No
|1,437,841
|TBD
|TBD
|rowspan="5"|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|36xxxx
|Yes
|No
|1,032,318
|TBD
|TBD
|-
|37xxxx
|Yes
|No
|1,432,632
|TBD
|TBD
|-
|38xxxx
|Yes
|Yes
|801,308
|{{TM|1RB1RZ_1RC1RA_1RD0RB_1LE0RC_1LF0LD_1RG0LF_1RC0LG}}
|10 ↑↑ 108.77
|-
|39xxxx
|Yes
|Yes
|1,093,938
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_0RG0LA_1RB1RZ}}
|10 ↑↑ 192.67
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|No
|No
|TBD
|TBD
|TBD
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|@prurq
|Yes
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|60xxxx
|@gerbil5709
|Yes
|No
|TBD
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|@gerbil5709
|No
|No
|TBD
|TBD
|TBD
|-
|69xxxx
|@poppuncher
|Yes
|No
|TBD
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-06T02:39:36Z

Stokastic: add max score TM for 26xxxx

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|Andrew Ducharme
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|-
|{{TM|1RB1LG_1RC0LA_1LD0RF_0LE0LD_1RE0RB_0LB1LF_1RZ1LC}}
|10 ↑↑ 80.18
|Andrew Ducharme
|-
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|Andrew Ducharme
|-
|{{TM|1RB0LD_1RC0RF_0RD1RA_1LE0RB_0LA0LB_1RA1RG_0RA1RZ}}
|10 ↑↑ 64.03
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 45.64
| rowspan="10" |[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|@Iijil
|Yes
|Yes
|1,056,253
|TBD
|TBD
|-
|02xxxx
|@Iijil
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|@Iijil
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|@Iijil
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|06xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|07xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|08xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|09xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|20xxxx - 
21xxxx
|@C7X
|Yes
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|@stokastic
|Yes
|No
|1,056,591
|{{TM|1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA}}
|10 ↑↑ 31.33
| rowspan="10" |[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|@stokastic
|Yes
|No
|958,289
|1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA ([https://bbchallenge.org/1RB1RZ_0LC1RB_0LE0LD_1LE1LD_0RF0LC_0RG1RF_1RD0RA bbch])
|10↑↑36.26
|-
|27xxxx
|@stokastic
|Yes
|No
|1,052,946
|TBD
|TBD
|-
|28xxxx
|@stokastic
|Yes
|No
|956,935
|TBD
|TBD
|-
|29xxxx
|@stokastic
|Yes
|No
|1,052,415
|TBD
|TBD
|-
|30xxxx
|@stokastic
|Yes
|No
|1,032,095
|TBD
|TBD
|-
|31xxxx
|@stokastic
|Yes
|No
|1,436,970
|TBD
|TBD
|-
|32xxxx
|@stokastic
|Yes
|No
|1,036,950
|TBD
|TBD
|-
|33xxxx
|@stokastic
|Yes
|No
|1,432,081
|TBD
|TBD
|-
|34xxxx
|@stokastic
|Yes
|No
|1,032,970
|TBD
|TBD
|-
|35xxxx
|rowspan="5"|Terry Ligocki
|Yes
|No
|1,437,841
|TBD
|TBD
|rowspan="5"|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|36xxxx
|Yes
|No
|1,032,318
|TBD
|TBD
|-
|37xxxx
|Yes
|No
|1,432,632
|TBD
|TBD
|-
|38xxxx
|Yes
|No
|1,035,165
|TBD
|TBD
|-
|39xxxx
|Yes
|Yes
|1,093,938
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_0RG0LA_1RB1RZ}}
|10 ↑↑ 192.67
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|No
|No
|TBD
|TBD
|TBD
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|Yes
|Yes
|812,973
|{{TM|1RB0RE_0RC1LC_0LD1LF_1LE0LG_1RA0RC_0LB1LA_1LB1RZ}}
|10 ↑↑ 114.57
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|@prurq
|Yes
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|60xxxx
|@gerbil5709
|Yes
|No
|TBD
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1kAvBebeF09CEVocCk5bGKlDJfRN8co_i?usp=sharing Google Drive folder]
|-
|61xxxx
|@gerbil5709
|No
|No
|TBD
|TBD
|TBD
|-
|69xxxx
|@poppuncher
|Yes
|No
|TBD
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133.85
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|Yes
|Yes
|798,304
|
{{TM|1RB0LF_1RC1LE_0RD1RA_1RE1RG_0LA1LB_1LE1RG_0RC1RZ}} 
{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|
10 ↑↑ 33.81 
10 ↑↑ 26.63
|[https://github.com/jhuang97/bb7x2/releases/tag/70xxxx Github release]
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
| rowspan="2" |[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-04T15:03:16Z

Stokastic:

The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>

== History ==
Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had [[sigma score]] 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score <math>> 10 \uparrow\uparrow 5</math>.

In May 2025, mxdys shared [https://github.com/ccz181078/TM C++ code] that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

== Top Halters ==
Based on limited search through a subset of the 1 million subtasks from mxdys's code, the top 20 scoring known machines are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LG_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RG0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LD0RF_0RA1RE_1RZ0RA}}
|10 ↑↑ 188.28
|@XnoobSpeakable, @Peacemaker II
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|}
The top 20 known halters with unique scores are:
{| class="wikitable"
!TM
!Approximate sigma score
!Discoverer
|-
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|Pavel Kropitz
|-
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|10 ↑↑ 286.17
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD}}
|10 ↑↑ 246.32
|@Iijil
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192.67
|Terry Ligocki
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188.28
|Terry Ligocki
|-
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133
|@poppuncher
|-
|{{TM|1RB1RZ_1RC0RF_1LD1RB_1RG0LE_1LD0RA_1RE0LD_0RC1LF}}
|10 ↑↑ 129.24
|@Iijil
|-
|{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}}
|10 ↑↑ 116.97
|Terry Ligocki
|-
|{{TM|1RB0RD_1RC0LA_0LA0LE_1RE1RZ_1RF0RA_1LG0LE_1LC0LG}}
|10 ↑↑ 116.05
|
|-
|{{TM|1RB0RD_1RC0RA_0RD1LD_0LE1LF_1LA0LG_0LC1LB_1LC1RZ}}
|10 ↑↑ 115.52
|@prurq
|-
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|Shawn Ligocki
|-
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113.37
|Terry Ligocki
|-
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|Andrew Ducharme
|-
|{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|10 ↑↑ 93.78
|Terry Ligocki
|-
|{{TM|1RB1LB_1LC1RE_1RD1RC_0RE0RD_1LF0RB_1LF1LG_1RZ0LA}}
|10 ↑↑ 86.40
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0LG_1RD0RG_0LE0RA_1LC0LF_0LD1LF_1RZ1RA}}
|10 ↑↑ 82.44
|Terry Ligocki
|-
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|Andrew Ducharme
|-
|{{TM|1RB0LD_1RC0RF_0RD1RA_1LE0RB_0LA0LB_1RA1RG_0RA1RZ}}
|10 ↑↑ 64.03
|Terry Ligocki
|-
|{{TM|1RB1RF_1LC1LB_0RE0LD_0LC0LB_0RA1RE_1RG1RZ_0LG0LE}}
|10 ↑↑ 63.56
|Terry Ligocki
|-
|{{TM|1RB0LD_1RC0RF_0RD1RA_1LE0RB_0LA0LB_1RA1RG_1LE1RZ}}
|10 ↑↑ 61.02
|Terry Ligocki
|}

== Current Progress ==
This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):
{| class="wikitable defaultleft"
!rowspan="2"|Task range
!rowspan="2"|Done by
!colspan="2"|Completed
!rowspan="2"|# holdouts
!rowspan="2"|Maximum Score TM
!rowspan="2"|~Sigma
!rowspan="2"|Source
|-
!enumeration
!linear rule
|-
|00xxxx
|@Iijil
|Yes
|Yes
|728,495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 46
| rowspan="10" |[https://drive.google.com/drive/folders/1wniwrAuvsHfkvro8Tg65WAMNZEuIekzD Google Drive folder]
|-
|01xxxx
|@Iijil
|Yes
|Yes
|1,056,253
|TBD
|TBD
|-
|02xxxx
|@Iijil
|Yes
|No
|963,486
|TBD
|TBD
|-
|03xxxx
|@Iijil
|Yes
|No
|1,052,504
|TBD
|TBD
|-
|04xxxx
|@Iijil
|Yes
|No
|955,711
|TBD
|TBD
|-
|05xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|06xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|07xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|08xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|09xxxx
|@Iijil
|Yes
|No
|TBD
|TBD
|TBD
|-
|13xxxx
|Shawn Ligocki
|Yes
|Yes
|1,192,442
|{{TM|1RB0RE_1LC0LA_1LD0LC_0LE0LA_1RF0RG_1RD0LE_1RA1RZ}}
|10 ↑↑ 114.60
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|20xxxx - 
21xxxx
|@C7X
|Yes
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/11iGTKsvu2Y7aFrwOcWS1LYvcN6i_7-JM?usp=sharing Google Drive folder]
|-
|243308
|@uni
|Yes
|No
|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|[https://discord.com/channels/960643023006490684/1369339127652159509/1373660959960469545 Discord post]
|-
|25xxxx
|@stokastic
|Yes
|No
|1,056,591
|[https://bbchallenge.org/1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA 1RB1RZ_1LC0LE_0LD0LC_0RE1LB_1RF0RG_0LD1RB_1RD1RA]
|10↑↑31.33
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|26xxxx
|@stokastic
|Yes
|No
|958,289
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|27xxxx
|@stokastic
|Yes
|No
|1,052,946
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|28xxxx
|@stokastic
|Yes
|No
|956,935
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|29xxxx
|@stokastic
|Yes
|No
|1,052,415
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|30xxxx
|@stokastic
|Yes
|No
|1,032,095
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|31xxxx
|@stokastic
|Yes
|No
|1,436,970
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|32xxxx
|@stokastic
|Yes
|No
|1,036,950
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|33xxxx
|@stokastic
|Yes
|No
|1,432,081
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|34xxxx
|@stokastic
|Yes
|No
|1,032,970
|TBD
|TBD
|[https://drive.google.com/drive/folders/16_qIdWWD-wolj6zURB5ZSbY-otI4zoUF?usp=sharing Google Drive folder]
|-
|
35xxxx - 
38xxxx
|Terry Ligocki
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|39xxxx
|Terry Ligocki
|Yes
|Yes
|1,093,938
|{{TM|1RB1LA_1LC0RE_0LD1LB_1RD0LA_1RF0RA_0RG0LA_1RB1RZ}}
|10 ↑↑ 193
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|40xxxx
| rowspan="6" |Andrew Ducharme
|No
|No
|TBD
|TBD
|TBD
| rowspan="6" |[https://drive.google.com/drive/folders/16uDjgOahkhAMWv3v-YWmxJG7xxsBvj4h?usp=sharing Google Drive folder]
|-
|41xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|42xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|43xxxx
|Yes
|Yes
|817,332
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93.81
|-
|44xxxx
|Yes
|Yes
|729,686
|{{TM|1RB1LC_1RC0RC_1RD1LA_0RE1RF_1LC0LG_1LA1LE_1RZ1LF}}
|10 ↑↑ 76.36
|-
|45xxxx
|No
|No
|TBD
|TBD
|TBD
|-
|49xxxx
|Tobiáš Brichta
|No
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/1-csgJ5uSIX3SKlqTkSnhkUuEYLKgCw81 Google Drive folder]
|-
|500xxx
|@prurq
|Yes
|No
|TBD
|TBD
|TBD
|[https://drive.google.com/drive/folders/145H4sT4F9KJYGSrlIETZdBOIMR7krLQm Google Drive folder]
|-
|60xxxx
|@gerbil5709
|No
|No
|TBD
|TBD
|TBD
|
|-
|69xxxx
|@poppuncher
|Yes
|No
|TBD
|{{TM|1RB0LG_0RC1RZ_1LD0LA_1RE1LE_1LC1RF_0RE0RA_0RF1LG}}
|10 ↑↑ 133
|[https://drive.google.com/drive/folders/1KlCZqXxqVPuBPkDcCBocuMPA8paq9b8P?usp=drive_link Google Drive folder]
|-
|70xxxx
|@hipparcos
|No
|No
|TBD
|{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|10 ↑↑ 26
|[https://discord.com/channels/960643023006490684/1369339127652159509/1372088267364634704 Posted to Discord]
|-
|75xxxx
|Terry Ligocki
|Yes
|Yes
|1,103,089
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_0RF0LF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|-
|80xxxx
|@xnoobspeakable
|Yes
|No
|964,396
|TBD
|TBD
|[https://drive.google.com/drive/folders/1TpuEC7KottEmvsFnCREugnlVMPaY5ZHi?usp=sharing Google Drive folder]
|-
|81xxxx
|@xnoobspeakable
|No
|No
|TBD
|TBD
|TBD
|
|-
|
85xxxx - 
9xxxxx
|Terry Ligocki
|Yes
|Yes
|13,396,923
|
{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}} 
{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}} 
{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}} 
{{TM|1RB1LF_1RC1RA_1LD0LD_1LA1LE_0LA0LD_1LG0RF_0LE1RZ}} 
{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|
10 ↑↑ 286 
10 ↑↑ 193 
10 ↑↑ 188 
10 ↑↑ 117 
10 ↑↑ 113
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui Google Drive folder]
|}
[[Category:BB Domain]]

BB(7)

2025-06-02T03:40:01Z

Stokastic: added 33xxxx/34xxxx enumeration

BB(7)

2025-05-31T03:49:57Z

Stokastic:

BB(7)

2025-05-31T03:49:42Z

Stokastic:

BB(7)

2025-05-30T02:34:28Z

Stokastic:

BB(7)

2025-05-29T04:01:23Z

Stokastic:

BB(7)

2025-05-29T00:20:32Z

Stokastic: /* Current Progress */

BB(7)

2025-05-28T17:13:09Z

Stokastic:

BB(7)

2025-05-26T20:09:54Z

Stokastic: added 27xxxx-29xxxx subtask results

BB(7)

2025-05-22T21:43:06Z

Stokastic: added 26xxxx row

BB(7)

2025-05-21T05:13:21Z

Stokastic: updated holdout count for batch of subtasks

BB(7)

2025-05-19T06:13:35Z

Stokastic: added my progress to the "current progress" table