Busy Beaver R(5) Champion
R(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
|
|
R(5) Information
Current Champions
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
|