The Busy Beaver Problem - The Busy Beaver Problem : R4champion

The Busy Beaver Problem

A NEW MILLENNIUM ATTACK

Busy Beaver R(4) Champion

R(4) Execution

0        State 0
1        State 1
10       State 1
100      State 2
1000     State 3
1001     State 2
1001     State 3
1011     State 2
1011     State 3
1111     State 2
1111     State 3
01111     State 0
11111     State 1
11111     State 1
11111     State 1
11111     State 1
11111     State 1
111110    State 1
1111100   State 2
11111000  State 3
11111001  State 2
11111001  State 3
11111011  State 2
11111011  State 3
11111111  State 2
11111111  State 3
11111111  State 0
11111111  State 4

R(4) Information

Productivity : 8
Number of Steps to Halt : 27
Download : R(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