The Busy Beaver Problem
A NEW MILLENNIUM ATTACK
Busy Beaver P(5) Champion


P(5) Champion


P(5) Execution
   0              State 0
   1              State 1
   10             State 2
   100            State 3
   101            State 2
   1010           State 1
   1011           State 4
   1011           State 0
   1011           State 3
   1111           State 2
   1111           State 1
   1111           State 2
   11110          State 1
   11111          State 4
   11111          State 0
   11111          State 3
   11111          State 4
   11111          State 0
  011111          State 3
  111111          State 2
  111111          State 1
  111111          State 2
  111111          State 1
  111111          State 2
  111111          State 1
  1111110         State 2
  11111100        State 3
  11111101        State 2
  111111010       State 1
  111111011       State 4
  111111011       State 0
  111111011       State 3
  111111111       State 2
  111111111       State 1
  111111111       State 2
  1111111110      State 1
  1111111111      State 4
  1111111111      State 0
  1111111111      State 3
  1111111111      State 4
  1111111111      State 0
  1111111111      State 3
  1111111111      State 4
  1111111111      State 0
  1111111111      State 3
  1111111111      State 4
 01111111111      State 0
 11111111111      State 1
 11111111111      State 2
 11111111111      State 1
 11111111111      State 2
 11111111111      State 1
 11111111111      State 2
 11111111111      State 1
 11111111111      State 2
 11111111111      State 1
 11111111111      State 2
 11111111111      State 1
 111111111110     State 2
 1111111111100    State 3
 1111111111101    State 2
 11111111111010   State 1
 11111111111011   State 4
 11111111111011   State 0
 11111111111011   State 3
 11111111111111   State 2
 11111111111111   State 1
 11111111111111   State 2
 111111111111110  State 1
 111111111111111  State 4
 111111111111111  State 0
 111111111111111  State 3
 111111111111111  State 4
 111111111111111  State 0
 111111111111111  State 3
 111111111111111  State 4
 111111111111111  State 0
 111111111111111  State 3
 111111111111111  State 4
 111111111111111  State 0
 111111111111111  State 3
 111111111111111  State 4
 111111111111111  State 0
 111111111111111  State 3
0111111111111111  State 4
1111111111111111  State 5
P(5) Information
Productivity : 16
Number of Steps to Halt : 85
Download : P(5) 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