User:Polygon

List of user pages:

• User:Polygon/Collection of BB Champions
• User:Polygon/Better lower bound for BB(4,3)
• User:Polygon/Page for analyses
• User:Polygon/Page for testing

A list of interesting user pages:

• User:RobinCodes/Valuable user pages

Other sites:

• https://www.sligocki.com/
• https://groups.google.com/g/busy-beaver-discuss
• https://discuss.bbchallenge.org/
• https://bbchallenge.org/~pascal.michel/index.html
• https://nickdrozd.github.io/
• https://scottaaronson.blog/
• https://katelyndoucette.com/
• https://www.cse.unr.edu/~al/BusyBeaver.html
• https://cruzgodar.com/applets/lambda-calculus/?expression-textarea=%28%CE%BBa.aa%29%28%CE%BBa.a%28%CE%BBb.a%28%CE%BBc.ab%29%29a%29&animation-time-slider=1.095790162866908 (lambda calculus simulator)
• https://ccz181078.github.io/TM/LongAcc/index.html (Turing Machine Visualizer using longitudinal acceleration by mxdys)

Table of 30 longest running TMs across explored domains:

Standard format	Approximate sigma scores	Discovered by	Domain
1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC (bbch)	$(2{\uparrow }^{15}5)+14$	Pavel Kropitz	BB(3,4)
1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB (bbch)	$(2{\uparrow }^{12}4)+11$	Pavel Kropitz	BB(3,4)
1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF (bbch)	$2{\uparrow }^{11}2{\uparrow }^{11}3$	Pavel Kropitz	BB(7)
1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA (bbch)	$2{\uparrow }^{6}5$	Pavel Kropitz	BB(3,4)
1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA (bbch)	$2{\uparrow }^{6}4$	Pavel Kropitz	BB(3,4)
1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD (bbch)	$10{\uparrow }^{4}4$	Pavel Kropitz	BB(4,3)
0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD (bbch)	$2\uparrow \uparrow \uparrow (2^{2^{32}+1})$	Pavel Kropitz	BB(4,3)
1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD (bbch)	$3\uparrow \uparrow \uparrow 88574$	Pavel Kropitz	BB(4,3)
1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE (bbch)	$10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 8.10237$	mxdys	BB(6)
1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA (bbch)	$10\uparrow \uparrow 10\uparrow \uparrow 10^{10^{115}}$	Pavel Kropitz	BB(2,6)
1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB (bbch)	$10\uparrow \uparrow 11010000$	mxdys	BB(6)
1RB2LA1RZ1RB5RB0RB_2LA4RA3LB5LB5RA4LB (bbch)	$10\uparrow \uparrow 19892.08$	Peacemaker II	BB(2,6)
1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC (bbch)	$10\uparrow \uparrow 2048$	Pavel Kropitz	BB(3,4)
1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD (bbch)	$10\uparrow \uparrow 1023.47221$	Andrew Ducharme	BB(4,3)
1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ (bbch)	$10\uparrow \uparrow 619.07737$	Andrew Ducharme	BB(4,3)
1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE (bbch)	$10\uparrow \uparrow 519.20$	Andrew Ducharme	BB(7)
1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA (bbch)	$10\uparrow \uparrow 512.10945$	Andrew Ducharme	BB(4,3)
1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA (bbch)	$10\uparrow \uparrow 439.02781$	Andrew Ducharme	BB(4,3)
1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG (bbch)	$10\uparrow \uparrow 403.84$	Andrew Ducharme	BB(7)
1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ (bbch)	$10\uparrow \uparrow 286.17$	Terry Ligocki	BB(7)
1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD (bbch)	$10\uparrow \uparrow 246.32$	lijil	BB(7)
1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG (bbch)	$10\uparrow \uparrow 243.88$	lijil, Andrew Ducharme	BB(7)
1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ (bbch)	$10\uparrow \uparrow 234.06408$	Andrew Ducharme	BB(4,3)
1RB0RB_1LC1RG_1RD1RC_1RE0RA_1LF0LB_1RF0LE_0RD1RZ (bbch)	$10\uparrow \uparrow 228.78$	Terry Ligocki	BB(7)
1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG (bbch)	$10\uparrow \uparrow 192.67$	Terry Ligocki	BB(7)
1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC (bbch)	$10\uparrow \uparrow 190.21359$	Terry Ligocki	BB(4,3)
1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA (bbch)	$10\uparrow \uparrow 189.05690$	XnoobSpeakable	BB(3,4)
1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA (bbch)	$10\uparrow \uparrow 188.28$	Terry Ligocki	BB(7)
1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA (bbch)	$10\uparrow \uparrow 188.16168$	XnoobSpeakable	BB(3,4)
1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC (bbch)	$10\uparrow \uparrow 178.48320$	Andrew Ducharme	BB(4,3)