Machine 64 Results

Final configuration is 1011{z}{1010}^(digits(49)){l} Ones: (50 digits) Hops: (99 digits) Steps: 28242 Otters: 380 Otter Steps: (99 digits)

Final configuration is 1010{a}{0101}^(74620){r}{1010}^(163102) Ones: 475446 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 10100101{d}0010{r}{1010}^(262593) Ones: 525191 Hops: (12 digits) Steps: 2580 Otters: 33 Otter Steps: (12 digits)

Machine 64: [t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,l,d),t(c,0,1,r,d),t(c,1,0,r,c),t(d,0,0,l,b),t(d,1,0,r,e),t(e,0,1,r,c),t(e,1,1,l,f),t(f,0,1,l,e),t(f,1,1,r,z)]
String format: 621rb0lc1la1ld1rd0rc0lb0re1rc1lf1le1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  new 6-state list #n
Table:
 01
a1 r b0 l c
b1 l a1 l d
c1 r d0 r c
d0 l b0 r e
e1 r c1 l f
f1 l e1 r z
Status: halts
Final Configuration: 1011{z}{1010}^(digits(49)){l}
Ones: 11859552269941434443520880483433473400317104373023
Hops: 321483382956509783642130102362994291783809286782764000767014214724114665034443320714218872832407426
Steps: 28242
Otters: 380
OtterSteps: 321483382956509783642130102362994291783809286781908318183412186243172288312989944412386152860293084
Otter Time: 4.605093
OtterLess Hops: 461036711957
OtterLess Time: 79.832619
OtterExtra Hops: 630450794125
OtterExtra Time: 0.420009
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,d,[0,0,0,1],r,1),trans(d,[0,1,0,0],l,b,[0,1,0,0],l,1),trans(b,[0,0,0,1],r,e,[1,1,0,1],l,8),trans(e,[0,0,0,0],r,c,[0,0,0,1],r,1),trans(c,[1,1,0,1],l,e,[0,0,1,0],r,4),trans(e,[0,1,0,0],l,d,[1,0,1,0],l,7),trans(d,[0,0,1,0],r,a,[1,0,1,0],l,4),trans(a,[0,0,0,1],r,a,[1,0,1,0],l,6),trans(a,[0,0,0,0],r,b,[0,0,0,1],r,1),trans(b,[1,0,1,0],l,d,[1,0,1,0],l,1),trans(d,[0,0,0,1],r,e,[0,0,0,0],r,1),trans(e,[1,0,1,0],l,f,[1,0,1,0],l,1),trans(f,[0,0,0,0],r,c,[0,0,1,0],r,3),trans(c,[1,0,1,0],l,c,[0,1,0,1],r,4),trans(c,[0,0,0,0],l,d,[1,0,0,0],l,3),trans(d,[0,1,0,1],r,e,[0,1,0,0],r,1),trans(e,[1,0,0,0],l,f,[1,0,0,0],l,1),trans(f,[0,1,0,0],r,c,[0,1,1,0],r,3),trans(c,[1,0,0,0],l,b,[0,1,0,0],l,5),trans(b,[0,1,1,0],r,e,[0,0,1,0],r,5),trans(a,[0,1,0,1],r,d,[1,0,0,1],r,11),trans(d,[1,0,1,0],l,d,[0,1,0,1],r,4),trans(d,[0,0,0,0],l,b,[0,0,0,0],l,1),trans(b,[0,1,0,1],r,b,[0,1,0,1],l,4),trans(b,[1,0,0,1],r,c,[0,1,0,1],l,4),trans(c,[0,1,0,1],r,c,[0,1,0,0],r,1),trans(c,[0,1,0,1],l,c,[1,0,1,0],r,4),trans(d,[1,0,1,0],r,d,[1,0,1,0],l,4),trans(d,[0,1,0,0],r,d,[1,0,1,0],l,6),trans(b,[0,0,1,0],r,b,[0,1,0,1],l,6),trans(b,[0,0,0,0],r,c,[0,1,0,0],r,9),trans(c,[0,1,0,0],l,d,[1,0,1,1],r,4),trans(b,[1,0,1,1],r,c,[1,1,0,0],r,7),trans(d,[1,1,0,0],r,c,[0,1,0,1],r,7),trans(b,[1,0,1,0],r,e,[1,1,0,1],l,8),trans(e,[1,0,1,0],r,c,[1,0,1,1],r,1),trans(e,[0,1,0,1],l,e,[1,0,1,0],r,4),trans(a,[1,0,1,1],r,d,[1,0,0,1],r,3),trans(c,[1,0,1,0],r,d,[1,0,1,1],r,1),trans(d,[0,1,0,1],l,b,[0,1,0,1],l,1),trans(b,[0,1,0,0],r,e,[1,1,1,1],l,8),trans(c,[1,1,1,1],l,c,[0,0,0,0],r,4),trans(e,[0,1,0,0],r,c,[0,1,0,1],r,1),trans(c,[0,0,0,1],r,c,[0,0,0,0],r,1),trans(d,[0,0,0,0],r,d,[1,0,0,1],r,11),trans(d,[1,0,0,0],l,d,[1,0,0,1],r,12),trans(a,[1,0,0,1],r,d,[1,0,1,0],l,6),trans(e,[0,0,0,0],l,e,[1,1,0,0],l,7),trans(c,[1,1,0,0],l,a,[1,0,1,0],l,7),trans(e,[0,0,1,0],r,c,[0,0,1,1],r,1),trans(a,[0,0,1,1],r,d,[0,0,0,1],r,3),trans(e,[0,0,0,1],r,c,[0,1,0,0],r,5),trans(c,[0,0,1,0],r,d,[0,0,1,1],r,1),trans(b,[0,0,1,1],r,c,[0,1,0,0],r,7),trans(c,[0,1,0,0],r,d,[0,1,0,1],r,1),trans(d,[1,0,0,1],r,e,[1,0,0,0],r,1),trans(f,[1,0,0,0],r,c,[1,0,1,0],r,3),trans(c,[1,0,0,1],r,c,[1,0,0,0],r,1),trans(d,[1,0,0,0],r,f,[1,1,1,0],l,8),trans(c,[1,1,1,0],l,d,[0,0,0,1],r,4),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,0],r,1),trans(f,[0,0,1,0],r,c,[1,0,0,0],r,7),trans(a,[1,0,0,0],r,b,[1,0,0,1],r,1),trans(c,[1,0,0,0],r,d,[1,0,0,1],r,1),trans(e,[0,1,0,1],r,e,[1,1,1,1],l,4),trans(a,[0,1,0,0],r,b,[0,1,0,1],r,1),trans(d,[0,1,1,0],r,d,[1,0,0,1],r,9),trans(a,[1,0,1,0],r,b,[1,0,1,1],r,1),trans(d,[1,0,1,1],r,e,[1,0,1,0],r,1),trans(f,[1,0,1,0],r,f,[1,1,1,1],l,4),trans(a,[0,1,1,0],r,b,[0,1,1,1],r,1),trans(d,[0,1,1,1],r,e,[0,1,1,0],r,1),trans(f,[0,1,1,0],r,z,[1,0,1,1],r,3)]