Machine 61 Results
Final configuration is 0001{1111}^(digits(21))1010{z}0000{l} Ones: (22 digits) Hops: (43 digits) Steps: 33228 Otters: 1075 Otter Steps: (43 digits)
Final configuration is 0001{1111}^(839)1110{d}1101{l}{0101}^(739)0010{1010}^(187)1001 Ones: 5218 Hops: 39839230 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 0111{1111}^(1811){f}0010{l}{1010}^(2)1001 Ones: 7254 Hops: 43619704 Steps: 3384 Otters: 101 Otter Steps: 43338108
Machine 61: [t(a,0,1,r,b),t(a,1,0,r,c),t(b,0,0,l,a),t(b,1,0,r,d),t(c,0,1,r,d),t(c,1,1,r,z),t(d,0,1,l,e),t(d,1,0,l,d),t(e,0,1,r,f),t(e,1,1,l,b),t(f,0,1,r,a),t(f,1,1,r,e)]
String format: 621rb0rc0la0rd1rd1rz1le0ld1rf1lb1ra1re
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #k
Table:
Status: halts
Final Configuration: 0001{1111}^(digits(21))1010{z}0000{l}
Ones: 2537699363594175843063
Hops: 5366598383321904238506234609927865294538105
Steps: 33228
Otters: 1075
OtterSteps: 5366598383321904238431095042979648215028160
Otter Time: 5.732115
OtterLess Hops: 39839230
OtterLess Time: 81.065669
OtterExtra Hops: 43619704
OtterExtra Time: 0.568012
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,a,[0,1,1,0],l,7),trans(a,[0,0,0,0],r,b,[0,0,0,1],r,1),trans(b,[0,1,1,0],l,a,[0,1,1,0],l,1),trans(a,[0,0,0,1],r,c,[0,0,0,0],r,1),trans(c,[0,1,1,0],l,d,[0,0,1,0],l,3),trans(d,[0,0,0,0],r,e,[0,0,1,1],r,3),trans(e,[0,0,1,0],l,d,[1,1,0,1],r,4),trans(d,[0,0,0,0],l,e,[1,0,0,0],l,1),trans(e,[1,1,0,1],r,b,[1,1,0,0],l,8),trans(b,[0,0,1,1],r,d,[0,0,1,0],r,1),trans(d,[1,1,0,0],l,d,[0,1,0,0],l,1),trans(d,[0,0,1,0],r,e,[1,0,0,1],l,10),trans(e,[0,0,0,0],r,f,[0,0,0,1],r,1),trans(f,[1,0,0,1],l,c,[1,1,1,0],r,4),trans(c,[0,1,0,0],l,d,[0,0,0,0],l,3),trans(d,[1,1,1,0],r,b,[1,1,0,1],l,6),trans(b,[0,0,0,1],r,d,[0,0,0,0],r,1),trans(d,[1,1,0,1],l,d,[0,1,0,1],l,1),trans(e,[0,1,0,1],l,e,[1,1,1,1],r,4),trans(e,[0,0,0,0],l,d,[1,1,0,1],r,6),trans(d,[1,0,0,0],l,d,[0,0,0,0],l,1),trans(d,[1,1,0,1],r,e,[1,0,1,0],l,6),trans(e,[1,1,1,1],r,e,[1,0,1,0],l,8),trans(e,[0,0,1,1],r,f,[0,1,1,1],r,7),trans(f,[1,0,1,0],l,f,[1,1,1,1],r,4),trans(f,[0,0,0,0],l,e,[1,0,0,1],l,13),trans(e,[0,1,1,1],r,a,[0,1,1,0],l,6),trans(d,[1,0,1,0],l,d,[0,0,1,0],l,1),trans(f,[0,0,1,0],l,e,[1,1,1,1],r,6),trans(e,[1,0,1,0],l,b,[1,0,1,0],l,1),trans(b,[1,1,1,1],r,d,[1,1,1,0],r,1),trans(b,[0,1,1,1],r,d,[0,1,1,0],r,1),trans(d,[0,1,1,0],r,e,[1,1,1,1],r,9),trans(d,[1,0,0,1],l,d,[0,0,0,1],l,1),trans(f,[0,0,0,1],l,b,[1,1,0,0],l,9),trans(e,[0,1,0,0],l,a,[1,1,1,1],r,4),trans(a,[1,1,1,1],r,c,[1,1,1,0],r,1),trans(c,[0,1,0,1],l,d,[0,0,0,1],l,3),trans(e,[0,0,0,1],l,d,[1,1,1,0],r,4),trans(d,[0,1,0,1],l,e,[1,1,0,1],l,1),trans(e,[1,1,1,0],r,f,[1,1,1,1],r,1),trans(f,[1,1,0,1],l,e,[1,0,0,1],l,5),trans(d,[0,0,1,0],l,e,[1,0,1,0],l,1),trans(c,[0,0,0,0],l,b,[1,1,0,0],l,3),trans(b,[1,1,1,0],r,d,[1,1,0,1],r,3),trans(b,[0,0,0,0],r,d,[0,0,0,1],r,5),trans(d,[0,0,0,1],r,f,[0,1,1,1],r,5),trans(f,[0,1,0,1],l,b,[1,1,0,0],l,7),trans(a,[0,1,0,1],l,e,[1,0,1,0],l,13),trans(f,[0,1,0,0],l,e,[1,0,0,1],l,11),trans(e,[0,0,0,1],r,a,[1,1,1,1],r,13),trans(a,[1,0,1,0],l,e,[1,0,0,0],l,5),trans(f,[1,0,0,0],l,b,[1,1,1,1],r,4),trans(b,[1,0,1,0],l,b,[1,1,0,0],l,9),trans(a,[1,0,0,1],l,a,[0,1,1,1],l,5),trans(c,[0,1,1,1],l,d,[0,0,1,1],l,3),trans(d,[0,0,1,1],l,e,[1,0,1,1],l,1),trans(f,[1,0,1,1],l,e,[1,0,1,0],l,11),trans(b,[0,0,0,0],l,a,[0,0,0,0],l,1),trans(a,[0,1,0,0],l,f,[1,1,1,1],r,6),trans(b,[0,1,0,0],l,a,[0,1,0,0],l,1),trans(e,[1,0,0,1],l,b,[1,0,0,1],l,1),trans(a,[1,0,0,0],l,a,[0,1,1,0],l,5),trans(c,[0,0,1,0],l,b,[1,1,1,0],l,3),trans(d,[1,1,1,0],l,d,[0,1,1,0],l,1),trans(d,[0,1,1,0],l,e,[1,1,1,0],l,1),trans(d,[0,1,0,0],l,e,[1,1,0,0],l,1),trans(f,[1,1,0,0],l,e,[1,0,0,0],l,5),trans(b,[1,1,1,0],l,e,[1,0,1,0],l,3),trans(b,[1,0,0,1],l,e,[1,1,1,1],r,6),trans(a,[0,0,1,0],l,e,[1,0,0,0],l,7),trans(e,[0,1,1,0],l,b,[1,1,0,0],l,7),trans(b,[1,0,0,0],l,a,[1,1,1,1],r,6),trans(b,[1,1,0,0],l,e,[1,0,0,0],l,3),trans(e,[1,0,0,0],l,b,[1,0,0,0],l,1),trans(c,[0,0,1,1],l,b,[1,1,1,1],l,3),trans(d,[1,1,1,1],l,d,[0,1,1,1],l,1),trans(a,[0,1,1,1],l,b,[1,1,0,1],l,5),trans(e,[1,1,0,0],l,b,[1,1,0,0],l,1),trans(f,[0,0,1,1],l,e,[1,0,1,0],l,9),trans(e,[0,1,1,1],l,b,[1,1,0,1],l,7),trans(a,[0,1,1,0],l,b,[1,1,0,0],l,5),trans(f,[0,1,1,0],l,z,[1,0,1,0],r,3)]