The Busy Beaver Problem
A NEW MILLENNIUM ATTACK
Busy Beaver B(6) Champion


B(6) Champion


B(6) Execution
   0                        State 0
   1                        State 1
   10                       State 1
   100                      State 2
   101                      State 3
   101                      State 2
   111                      State 3
   111                      State 2
  0111                      State 0
  1111                      State 1
  1111                      State 1
  1111                      State 1
  1111                      State 1
  11110                     State 1
  111100                    State 2
  111101                    State 3
  111101                    State 2
  111111                    State 3
  111111                    State 2
  111111                    State 0
  111111                    State 4
  101111                    State 3
  101111                    State 4
  100111                    State 3
  100111                    State 4
  100011                    State 3
  100011                    State 4
  100001                    State 3
  100001                    State 4
  100000                    State 3
  1000000                   State 4
  10000000                  State 5
  100000000                 State 1
  1000000000                State 2
  1000000001                State 3
  1000000001                State 2
  1000000011                State 3
  1000000011                State 2
  1000000111                State 3
  1000000111                State 2
  1000001111                State 3
  1000001111                State 2
  1000011111                State 3
  1000011111                State 2
  1000111111                State 3
  1000111111                State 2
  1001111111                State 3
  1001111111                State 2
  1011111111                State 3
  1011111111                State 2
  1111111111                State 3
  1111111111                State 2
 01111111111                State 0
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 11111111111                State 1
 111111111110               State 1
 1111111111100              State 2
 1111111111101              State 3
 1111111111101              State 2
 1111111111111              State 3
 1111111111111              State 2
 1111111111111              State 0
 1111111111111              State 4
 1111111101111              State 3
 1111111101111              State 4
 1111111100111              State 3
 1111111100111              State 4
 1111111100011              State 3
 1111111100011              State 4
 1111111100001              State 3
 1111111100001              State 4
 1111111100000              State 3
 11111111000000             State 4
 111111110000000            State 5
 1111111100000000           State 1
 11111111000000000          State 2
 11111111000000001          State 3
 11111111000000001          State 2
 11111111000000011          State 3
 11111111000000011          State 2
 11111111000000111          State 3
 11111111000000111          State 2
 11111111000001111          State 3
 11111111000001111          State 2
 11111111000011111          State 3
 11111111000011111          State 2
 11111111000111111          State 3
 11111111000111111          State 2
 11111111001111111          State 3
 11111111001111111          State 2
 11111111011111111          State 3
 11111111011111111          State 2
 11111111111111111          State 3
 11111111111111111          State 2
 11111111111111111          State 0
 11111111111111111          State 4
 11111011111111111          State 3
 11111011111111111          State 4
 11111001111111111          State 3
 11111001111111111          State 4
 11111000111111111          State 3
 11111000111111111          State 4
 11111000011111111          State 3
 11111000011111111          State 4
 11111000001111111          State 3
 11111000001111111          State 4
 11111000000111111          State 3
 11111000000111111          State 4
 11111000000011111          State 3
 11111000000011111          State 4
 11111000000001111          State 3
 11111000000001111          State 4
 11111000000000111          State 3
 11111000000000111          State 4
 11111000000000011          State 3
 11111000000000011          State 4
 11111000000000001          State 3
 11111000000000001          State 4
 11111000000000000          State 3
 111110000000000000         State 4
 1111100000000000000        State 5
 11111000000000000000       State 1
 111110000000000000000      State 2
 111110000000000000001      State 3
 111110000000000000001      State 2
 111110000000000000011      State 3
 111110000000000000011      State 2
 111110000000000000111      State 3
 111110000000000000111      State 2
 111110000000000001111      State 3
 111110000000000001111      State 2
 111110000000000011111      State 3
 111110000000000011111      State 2
 111110000000000111111      State 3
 111110000000000111111      State 2
 111110000000001111111      State 3
 111110000000001111111      State 2
 111110000000011111111      State 3
 111110000000011111111      State 2
 111110000000111111111      State 3
 111110000000111111111      State 2
 111110000001111111111      State 3
 111110000001111111111      State 2
 111110000011111111111      State 3
 111110000011111111111      State 2
 111110000111111111111      State 3
 111110000111111111111      State 2
 111110001111111111111      State 3
 111110001111111111111      State 2
 111110011111111111111      State 3
 111110011111111111111      State 2
 111110111111111111111      State 3
 111110111111111111111      State 2
 111111111111111111111      State 3
 111111111111111111111      State 2
 111111111111111111111      State 0
 111111111111111111111      State 4
 110111111111111111111      State 3
 110111111111111111111      State 4
 110011111111111111111      State 3
 110011111111111111111      State 4
 110001111111111111111      State 3
 110001111111111111111      State 4
 110000111111111111111      State 3
 110000111111111111111      State 4
 110000011111111111111      State 3
 110000011111111111111      State 4
 110000001111111111111      State 3
 110000001111111111111      State 4
 110000000111111111111      State 3
 110000000111111111111      State 4
 110000000011111111111      State 3
 110000000011111111111      State 4
 110000000001111111111      State 3
 110000000001111111111      State 4
 110000000000111111111      State 3
 110000000000111111111      State 4
 110000000000011111111      State 3
 110000000000011111111      State 4
 110000000000001111111      State 3
 110000000000001111111      State 4
 110000000000000111111      State 3
 110000000000000111111      State 4
 110000000000000011111      State 3
 110000000000000011111      State 4
 110000000000000001111      State 3
 110000000000000001111      State 4
 110000000000000000111      State 3
 110000000000000000111      State 4
 110000000000000000011      State 3
 110000000000000000011      State 4
 110000000000000000001      State 3
 110000000000000000001      State 4
 110000000000000000000      State 3
 1100000000000000000000     State 4
 11000000000000000000000    State 5
 110000000000000000000000   State 1
 1100000000000000000000000  State 2
 1100000000000000000000001  State 3
 1100000000000000000000001  State 2
 1100000000000000000000011  State 3
 1100000000000000000000011  State 2
 1100000000000000000000111  State 3
 1100000000000000000000111  State 2
 1100000000000000000001111  State 3
 1100000000000000000001111  State 2
 1100000000000000000011111  State 3
 1100000000000000000011111  State 2
 1100000000000000000111111  State 3
 1100000000000000000111111  State 2
 1100000000000000001111111  State 3
 1100000000000000001111111  State 2
 1100000000000000011111111  State 3
 1100000000000000011111111  State 2
 1100000000000000111111111  State 3
 1100000000000000111111111  State 2
 1100000000000001111111111  State 3
 1100000000000001111111111  State 2
 1100000000000011111111111  State 3
 1100000000000011111111111  State 2
 1100000000000111111111111  State 3
 1100000000000111111111111  State 2
 1100000000001111111111111  State 3
 1100000000001111111111111  State 2
 1100000000011111111111111  State 3
 1100000000011111111111111  State 2
 1100000000111111111111111  State 3
 1100000000111111111111111  State 2
 1100000001111111111111111  State 3
 1100000001111111111111111  State 2
 1100000011111111111111111  State 3
 1100000011111111111111111  State 2
 1100000111111111111111111  State 3
 1100000111111111111111111  State 2
 1100001111111111111111111  State 3
 1100001111111111111111111  State 2
 1100011111111111111111111  State 3
 1100011111111111111111111  State 2
 1100111111111111111111111  State 3
 1100111111111111111111111  State 2
 1101111111111111111111111  State 3
 1101111111111111111111111  State 2
 1111111111111111111111111  State 3
 1111111111111111111111111  State 2
 1111111111111111111111111  State 0
01111111111111111111111111  State 4
01111111111111111111111111  State 5
B(6) Information
Productivity : 25
Number of Steps to Halt : 255
Download : B(6) champion.tmo
Current Champions
n B(n) b(n) O(n) o(n)
1 1T 1T 1T 1T
2 2T 3T 2T 3T
3 3? 13R 3O 13R
4 5? 31R 8O 37R
5 11? 57R 15O 111O
6 25M 255M 239R 41606R
7 196M 13682M

8 672M 198339M


n P(n) p(n) R(n) r(n)
1 1T 2T 1T 2T
2 2T 4T 2T 4T
3 4R 14R 4R 14R
4 7R 32R 8R 38R
5 16R 112R 16R 112R
6 163R 27174R 240R 41607R

RSet by present RPI effort
MSet by Machado and Pereira
OSet by Oberschelp, et al.
TTrivial records
?Unknown origin

Also note: A solid yellow background indicates records have been explicitly confirmed by the present effort. A faded yellow indicates relative confidence but not yet an explicit proof.
Busy Beaver Research Team
Bram van Heuveln
Selmer Bringsjord
Boleslaw Szymanski
Carlos Varela
Kyle Ross
Owen Kellett
Shailesh Kelkar