Machine 57 Results
Final configuration is 0010{1010}^(digits(11))1111{z}1101{l} Ones: (11 digits) Hops: (21 digits) Steps: 1734 Otters: 21 Otter Steps: (21 digits)
Final configuration is {c}0000{r}{1010}^(201634){1111}^(840030){0101}^(2) Ones: 3763392 Hops: (13 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 0010{1010}^(2441706){d}{1111}^(3){l}{0101}^(2) Ones: 4883429 Hops: (14 digits) Steps: 982 Otters: 12 Otter Steps: (14 digits)
Machine 57: [t(a,0,1,r,b),t(a,1,1,l,c),t(b,0,0,l,a),t(b,1,0,l,d),t(c,0,1,l,a),t(c,1,1,r,z),t(d,0,1,l,b),t(d,1,1,r,e),t(e,0,0,r,d),t(e,1,0,r,f),t(f,0,0,r,d),t(f,1,0,l,d)]
String format: 621rb1lc0la0ld1la1rz1lb1re0rd0rf0rd0ld
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #e
Table:
Status: halts
Final Configuration: 0010{1010}^(digits(11))1111{z}1101{l}
Ones: 33299939444
Hops: 645170016895723065091
Steps: 1734
Otters: 21
OtterSteps: 645170015758585981896
Otter Time: 0.255005
OtterLess Hops: 2032517664111
OtterLess Time: 77.495046
OtterExtra Hops: 13875081352224
OtterExtra Time: 0.142003
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,c,[1,0,0,0],l,3),trans(c,[0,0,0,0],r,d,[0,0,1,0],r,5),trans(d,[1,0,0,0],l,c,[1,0,1,0],l,5),trans(c,[0,0,1,0],r,f,[1,0,1,0],r,9),trans(f,[1,0,1,0],l,d,[0,0,1,0],l,1),trans(d,[1,0,1,0],r,d,[0,1,0,1],l,4),trans(d,[0,0,0,0],r,a,[1,1,0,1],l,6),trans(a,[0,0,0,0],r,b,[0,0,0,1],r,1),trans(b,[1,1,0,1],l,d,[0,1,0,1],l,1),trans(d,[0,0,0,1],r,e,[0,0,0,1],r,1),trans(e,[0,1,0,1],l,e,[0,1,0,1],r,4),trans(e,[0,0,1,0],l,a,[0,1,1,0],l,3),trans(a,[0,1,0,1],r,a,[1,1,1,1],l,4),trans(a,[0,0,0,1],r,e,[0,1,0,1],r,7),trans(e,[1,1,1,1],l,b,[1,0,1,1],l,3),trans(b,[0,1,0,1],r,b,[1,0,1,0],l,4),trans(b,[0,0,0,0],r,d,[1,0,1,0],r,11),trans(d,[1,0,1,0],l,d,[1,0,1,0],r,4),trans(d,[1,0,1,1],l,f,[1,0,1,0],r,4),trans(f,[1,1,1,1],l,d,[0,1,1,1],l,1),trans(e,[0,1,1,1],l,b,[1,0,1,0],l,7),trans(b,[0,0,0,1],r,c,[1,0,1,0],l,6),trans(d,[0,1,1,0],l,b,[1,1,1,0],l,1),trans(b,[1,0,1,0],r,c,[1,1,1,0],l,4),trans(c,[1,0,1,0],r,c,[1,1,1,1],l,4),trans(d,[1,1,1,1],l,d,[0,1,0,1],l,5),trans(d,[0,0,1,0],r,a,[0,1,0,1],l,4),trans(b,[0,1,0,1],l,a,[0,1,0,1],l,1),trans(e,[1,1,1,0],l,b,[1,0,1,0],l,3),trans(d,[1,1,1,0],l,d,[0,1,0,0],l,5),trans(e,[0,1,0,0],l,a,[1,1,0,1],l,7),trans(e,[1,1,0,1],l,b,[1,0,0,1],l,3),trans(d,[1,0,0,1],l,c,[1,0,1,1],l,5),trans(f,[1,0,1,1],l,d,[0,0,1,1],l,1),trans(e,[0,0,1,1],l,a,[0,1,1,1],l,3),trans(d,[0,1,1,1],l,b,[1,1,1,1],l,1),trans(f,[1,1,1,0],l,d,[0,1,1,0],l,1),trans(e,[0,1,1,0],l,d,[0,1,0,0],r,4),trans(d,[0,1,0,0],r,a,[1,1,0,1],l,4),trans(f,[0,1,1,1],l,b,[1,0,1,0],l,7),trans(d,[0,1,0,1],l,b,[1,1,0,1],l,1),trans(b,[1,1,1,1],l,d,[0,1,1,1],l,1),trans(e,[1,0,1,1],l,f,[0,0,1,0],r,4),trans(f,[1,1,0,1],l,d,[0,1,0,1],l,1),trans(f,[0,1,0,1],l,e,[0,1,0,1],r,4),trans(e,[0,0,0,0],l,a,[0,1,0,0],l,3),trans(a,[0,0,1,0],r,b,[0,0,1,1],r,1),trans(d,[0,0,1,1],r,e,[0,0,1,1],r,1),trans(b,[0,0,1,1],r,d,[0,0,1,0],r,3),trans(d,[1,1,0,1],l,e,[1,0,0,1],r,4),trans(a,[1,0,0,1],r,e,[1,1,0,1],r,7),trans(b,[1,1,0,1],r,d,[1,0,1,0],r,7),trans(a,[1,1,0,1],r,z,[1,1,1,1],r,4)]