Busy Beaver o(5) Champion
o(5) Execution
0 State
0
1 State
1
10 State
2
100 State
3
101 State
2
1010 State
4
1010 State
3
1010 State
0
1110 State
1
1110 State
2
1110 State
4
1110 State
3
1110 State
0
1110 State
3
01110 State
0
11110 State
1
11110 State
2
11110 State
4
11110 State
1
11110 State
2
111100 State
3
111101 State
2
1111010 State
4
1111010 State
3
1111010 State
0
1111110 State
1
1111110 State
2
1111110 State
4
1111110 State
3
1111110 State
0
1111110 State
3
1111110 State
0
1111110 State
3
1111110 State
0
01111110 State
3
11111110 State
2
11111110 State
4
11111110 State
1
11111110 State
2
11111110 State
4
11111110 State
1
11111110 State
2
11111110 State
4
11111110 State
3
11111110 State
0
11111110 State
3
11111110 State
0
11111110 State
3
11111110 State
0
11111110 State
3
011111110 State
0
111111110 State
1
111111110 State
2
111111110 State
4
111111110 State
1
111111110 State
2
111111110 State
4
111111110 State
1
111111110 State
2
111111110 State
4
111111110 State
3
111111110 State
0
111111110 State
3
111111110 State
0
111111110 State
3
111111110 State
0
111111110 State
3
111111110 State
0
0111111110 State 3
1111111110 State 2
1111111110 State 4
1111111110 State 1
1111111110 State 2
1111111110 State 4
1111111110 State 1
1111111110 State 2
1111111110 State 4
1111111110 State 1
1111111110 State 2
11111111100 State 3
11111111101 State 2
111111111010 State 4
111111111010 State 3
111111111010 State 0
111111111110 State 1
111111111110 State 2
111111111110 State 4
111111111110 State 3
111111111110 State 0
111111111110 State 3
111111111110 State 0
111111111110 State 3
111111111110 State 0
111111111110 State 3
111111111110 State 0
111111111110 State 3
111111111110 State 0
111111111110 State 3
0111111111110 State 0
1111111111110 State 1
1111111111110 State 2
1111111111110 State 4
1111111111110 State 1
1111111111110 State 2
1111111111110 State 4
1111111111110 State 1
1111111111110 State 2
1111111111110 State 4
1111111111110 State 1
1111111111110 State 2
1111111111110 State 4
1111111111110 State 1
|
|
o(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
|