Machine 62 Results

Final configuration is 0011{1111}^(digits(48))1101{z}0101{l}0000 Ones: (48 digits) Hops: (96 digits) Steps: 20493 Otters: 643 Otter Steps: (96 digits)

Final configuration is {1111}^(1304)1110{b}{0101}^(38){l}0100{0101}^(1500)0100 Ones: 8297 Hops: 48524764 Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 0011{1111}^(3592){a}0101{l}0100 Ones: 14373 Hops: 92937448 Steps: 1241 Otters: 38 Otter Steps: 92808744

Machine 62: [t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,d),t(c,0,0,l,b),t(c,1,0,l,e),t(d,0,1,r,a),t(d,1,0,r,b),t(e,0,1,l,f),t(e,1,1,l,c),t(f,0,1,r,d),t(f,1,1,r,z)]
String format: 621rb0lc1la1rd0lb0le1ra0rb1lf1lc1rd1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  new 6-state list #l
Table:
 01
a1 r b0 l c
b1 l a1 r d
c0 l b0 l e
d1 r a0 r b
e1 l f1 l c
f1 r d1 r z
Status: halts
Final Configuration: 0011{1111}^(digits(48))1101{z}0101{l}0000
Ones: 674053459597869440302180958706029472567045292431
Hops: 204456629878135474450322712855021201671090508052578349858011913319268311941078386068691975456125
Steps: 20493
Otters: 643
OtterSteps: 204456629878135474450322712855021201671090508045783145212475547494883912644077867751279750976014
Otter Time: 3.546073
OtterLess Hops: 48524764
OtterLess Time: 77.407586
OtterExtra Hops: 92937448
OtterExtra Time: 0.200004
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,a,[0,1,1,1],r,5),trans(a,[0,1,0,0],l,b,[1,1,1,1],r,4),trans(b,[0,0,0,0],l,a,[1,0,0,0],l,1),trans(a,[1,1,1,1],r,e,[0,1,0,0],l,4),trans(e,[0,1,1,1],r,b,[0,1,0,1],l,4),trans(b,[0,0,0,0],r,d,[0,0,1,1],r,3),trans(d,[0,1,0,1],l,e,[0,0,0,1],l,3),trans(e,[0,0,1,1],r,b,[1,1,1,0],r,9),trans(b,[0,0,0,1],l,a,[1,0,0,1],l,1),trans(a,[1,1,1,0],r,b,[1,1,1,1],r,1),trans(b,[1,0,0,1],l,d,[1,1,1,1],r,4),trans(d,[0,1,0,0],l,e,[0,0,0,0],l,3),trans(e,[1,1,1,1],r,e,[0,1,0,1],l,4),trans(e,[0,0,0,0],r,b,[0,0,1,0],r,3),trans(b,[0,1,0,1],l,a,[1,1,0,1],l,1),trans(a,[0,0,1,0],r,b,[0,0,1,1],r,1),trans(b,[1,1,0,1],l,b,[1,1,1,0],r,6),trans(b,[1,0,0,0],l,c,[1,0,0,1],l,7),trans(c,[1,1,1,1],r,c,[1,0,1,0],l,4),trans(c,[0,0,1,1],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,c,[1,0,0,0],l,5),trans(c,[0,0,0,1],r,d,[0,1,1,1],r,7),trans(d,[1,0,0,0],l,b,[1,1,1,1],r,6),trans(c,[0,1,1,1],r,f,[1,0,1,0],l,4),trans(f,[0,0,0,0],r,d,[0,0,0,1],r,1),trans(d,[1,0,1,0],l,d,[1,1,1,1],r,8),trans(a,[1,0,1,0],l,c,[0,0,1,0],l,1),trans(d,[0,0,1,0],l,a,[1,1,1,1],r,4),trans(a,[1,0,0,1],l,c,[0,0,0,1],l,1),trans(d,[0,0,0,1],l,e,[0,0,1,1],l,5),trans(e,[0,0,0,1],r,e,[0,1,0,0],l,10),trans(b,[0,1,0,0],l,a,[1,1,0,0],l,1),trans(b,[1,1,0,0],l,a,[1,1,1,1],r,6),trans(a,[0,1,0,1],l,e,[0,1,0,0],l,7),trans(a,[0,0,1,1],l,c,[0,1,1,1],l,3),trans(b,[0,1,1,1],l,a,[1,1,1,1],l,1),trans(b,[1,1,1,1],l,b,[1,0,1,0],r,4),trans(c,[1,0,1,0],r,a,[1,0,1,1],r,3),trans(c,[1,0,1,1],r,c,[1,0,0,0],l,8),trans(d,[1,0,0,1],l,e,[0,1,0,0],l,9),trans(a,[1,0,1,0],r,b,[1,0,1,1],r,1),trans(a,[1,0,0,0],l,c,[0,0,0,0],l,1),trans(a,[0,1,1,1],l,d,[1,1,0,1],r,4),trans(d,[0,0,0,0],l,e,[0,0,1,0],l,5),trans(e,[1,1,0,1],r,e,[0,1,0,0],l,8),trans(d,[0,0,1,1],l,b,[1,1,1,0],r,4),trans(b,[0,0,1,0],l,a,[1,0,1,0],l,1),trans(a,[0,0,1,0],l,c,[0,1,1,0],l,3),trans(d,[0,1,1,0],l,e,[0,0,1,0],l,3),trans(a,[0,1,1,0],l,d,[1,1,1,1],r,6),trans(c,[1,1,1,0],r,a,[1,1,1,1],r,3),trans(b,[0,1,1,0],l,a,[1,1,1,0],l,1),trans(d,[1,1,1,0],l,d,[0,1,1,1],r,6),trans(b,[1,1,1,1],r,d,[1,1,1,1],r,1),trans(b,[0,0,1,1],l,a,[1,0,1,1],l,1),trans(b,[1,0,1,1],l,c,[1,0,0,1],l,5),trans(a,[1,1,0,1],l,c,[0,1,0,1],l,1),trans(d,[1,1,0,1],l,b,[0,1,0,0],l,7),trans(d,[1,1,1,1],l,d,[0,1,0,1],r,4),trans(e,[0,1,0,1],r,b,[0,1,0,0],l,8),trans(b,[1,1,1,0],l,a,[1,0,1,1],r,4),trans(a,[1,1,0,0],l,c,[0,1,0,0],l,1),trans(b,[0,1,0,1],r,d,[0,1,0,1],r,1),trans(b,[1,1,0,1],r,d,[1,1,0,1],r,1),trans(a,[0,0,0,1],l,c,[0,1,0,1],l,3),trans(e,[1,0,1,1],r,z,[1,1,0,1],r,4)]