The Busy Beaver Problem - The Busy Beaver Problem : P4champion

The Busy Beaver Problem

A NEW MILLENNIUM ATTACK

Busy Beaver P(4) Champion

P(4) Execution

   0     State 0
   1     State 1
   10    State 1
   11    State 2
   11    State 0
  011    State 3
  111    State 1
  111    State 1
  111    State 1
  1110   State 1
  1111   State 2
  1111   State 0
  1111   State 3
  1111   State 2
01111   State 0
11111   State 1
11111   State 1
11111   State 1
11111   State 1
11111   State 1
111110  State 1
111111  State 2
111111  State 0
111111  State 3
111111  State 2
111111  State 0
111111  State 3
0111111  State 2
1111111  State 4

P(4) Information

Productivity : 7
Number of Steps to Halt : 28
Download : P(4) champion.tmo

Current Champions

n	*B(n)*	*b(n)*	*O(n)*	*o(n)*
1	1^T	1^T	1^T	1^T
2	2^T	3^T	2^T	3^T
3	3^?	13^R	3^O	13^R
4	5^?	31^R	8^O	37^R
5	11^?	57^R	15^O	111^O
6	25^M	255^M	239^R	41606^R
7	196^M	13682^M
8	672^M	198339^M

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

^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