Machine 55 Results

Final configuration is {0101}^(18054983)1010{z}1010{l} Ones: 36109970 Hops: (15 digits) Steps: 1000 Otters: 14 Otter Steps: (15 digits)

Final configuration is {1010}^(476623){e}{1111}^(773384){l}1010 Ones: 4046784 Hops: (13 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 0001{0101}^(2538977){a}1111{l}1010 Ones: 5077961 Hops: (14 digits) Steps: 858 Otters: 12 Otter Steps: (14 digits)

Machine 55: [t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,0,r,e),t(c,0,1,l,d),t(c,1,1,l,f),t(d,0,0,l,b),t(d,1,1,l,c),t(e,0,1,r,b),t(e,1,1,r,a),t(f,0,0,l,c),t(f,1,1,r,z)]
String format: 621rb0lc1la0re1ld1lf0lb1lc1rb1ra0lc1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  new 6-state list #c
Table:
 01
a1 r b0 l c
b1 l a0 r e
c1 l d1 l f
d0 l b1 l c
e1 r b1 r a
f0 l c1 r z
Status: halts
Final Configuration: {0101}^(18054983)1010{z}1010{l}
Ones: 36109970
Hops: 758650111948072
Steps: 1000
Otters: 14
OtterSteps: 758649289799352
Otter Time: 0.150003
OtterLess Hops: 2564084986428
OtterLess Time: 77.639573
OtterExtra Hops: 15002561649468
OtterExtra Time: 0.125003
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,c,[0,1,0,0],l,3),trans(c,[0,0,0,0],r,e,[1,0,1,0],r,7),trans(e,[0,1,0,0],l,c,[1,1,0,1],l,7),trans(c,[1,0,1,0],r,c,[1,1,1,1],l,4),trans(e,[1,1,1,1],l,f,[1,0,1,1],l,3),trans(f,[1,0,1,0],r,f,[1,0,1,0],l,4),trans(f,[0,0,0,0],r,a,[1,0,1,0],l,4),trans(a,[0,0,0,0],r,b,[0,0,0,1],r,1),trans(b,[1,0,1,0],l,b,[0,1,0,1],r,4),trans(b,[1,0,1,1],l,a,[0,1,0,1],r,4),trans(a,[1,1,0,1],l,c,[0,1,0,1],l,1),trans(c,[0,1,0,1],r,c,[0,1,0,1],l,4),trans(c,[0,0,0,1],r,b,[0,1,0,1],l,4),trans(b,[0,0,0,0],r,e,[0,0,1,0],r,3),trans(e,[0,1,0,1],l,e,[1,0,1,0],r,4),trans(e,[0,0,0,0],l,c,[0,1,0,0],l,3),trans(c,[0,0,1,0],r,b,[0,1,1,1],l,4),trans(e,[0,1,1,1],l,f,[1,0,1,0],l,7),trans(f,[0,0,1,0],r,d,[1,0,1,0],l,4),trans(d,[0,0,0,0],r,b,[0,1,0,1],r,5),trans(b,[1,1,1,1],l,c,[0,1,0,1],l,5),trans(a,[1,1,1,1],l,c,[0,1,1,1],l,1),trans(a,[0,1,0,0],l,c,[1,1,0,1],l,7),trans(e,[1,1,0,1],l,f,[1,0,0,1],l,3),trans(b,[1,0,0,1],l,d,[1,0,1,1],l,5),trans(d,[0,1,0,1],r,d,[1,1,1,1],l,4),trans(d,[0,0,0,1],r,a,[1,0,1,1],l,4),trans(a,[1,0,1,1],l,c,[0,0,1,1],l,1),trans(e,[0,0,1,1],l,c,[0,1,1,1],l,3),trans(b,[0,0,0,0],l,a,[1,0,0,0],l,1),trans(a,[0,1,0,1],r,d,[1,1,1,0],l,4),trans(a,[1,1,1,0],l,c,[0,1,1,0],l,1),trans(e,[0,1,1,0],l,b,[1,0,1,1],r,4),trans(b,[1,0,0,0],l,d,[1,0,1,0],l,5),trans(d,[1,0,1,1],r,f,[1,0,1,1],l,4),trans(a,[1,0,1,0],l,c,[0,0,1,0],l,1),trans(e,[0,0,1,0],l,c,[0,1,1,0],l,3),trans(a,[1,0,1,1],r,f,[1,0,1,0],l,4),trans(e,[1,0,1,0],l,b,[1,1,0,1],r,4),trans(a,[1,1,0,1],r,f,[1,1,1,0],l,4),trans(b,[1,1,1,0],l,c,[0,1,0,0],l,5),trans(e,[1,0,0,0],l,f,[1,0,1,0],l,5),trans(e,[1,1,1,0],l,f,[1,0,1,0],l,3),trans(b,[1,1,0,1],l,e,[0,1,1,0],r,4),trans(f,[0,1,1,0],r,z,[1,0,1,0],r,3)]