Machine 13 Results

Final configuration is 01{22}^(21961)12{z}00{l} Ones: 43925 Hops: (10 digits) Steps: 1258 Otters: 14 Otter Steps: (10 digits)

Final configuration is 01{22}^(21961)12{z}00{l} Ones: 43925 Hops: (10 digits) Steps: 305288 Otters: 0 Otter Steps: 0

Machine 13: [t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(b,0,1,l,b),t(b,1,1,l,a),t(b,2,2,r,c),t(c,0,1,r,z),t(c,1,1,l,c),t(c,2,2,r,b)]
String format: 331rb2la1ra1lb1la2rc1rz1lc2rb
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Lafitte and Papazian #c
Table:
 012
a1 r b2 l a1 r a
b1 l b1 l a2 r c
c1 r z1 l c2 r b
Status: halts
Final Configuration: 01{22}^(21961)12{z}00{l}
Ones: 43925
Hops: 1808669066
Steps: 1258
Otters: 14
OtterSteps: 1807418098
Otter Time: 0.271027
OtterLess Hops: 1808669066
OtterLess Time: 5.089494
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,a,[1,1],l,3),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,1],l,a,[1,1],l,1),trans(a,[0,1],r,c,[1,2],r,3),trans(c,[1,1],l,c,[1,1],l,1),trans(c,[1,2],r,b,[1,2],r,1),trans(a,[1,2],r,a,[1,1],r,1),trans(a,[1,1],l,a,[2,1],l,1),trans(a,[1,1],r,a,[2,2],l,2),trans(b,[2,2],l,b,[2,2],r,2),trans(b,[2,1],l,a,[2,2],l,7),trans(a,[2,2],r,a,[2,1],r,1),trans(a,[2,2],l,a,[1,1],r,2),trans(a,[2,1],r,a,[1,1],r,3),trans(c,[2,2],l,c,[2,2],r,2),trans(c,[2,1],l,a,[2,2],l,5),trans(a,[2,1],l,a,[2,2],l,3),trans(c,[2,2],r,b,[2,2],r,1),trans(b,[0,0],l,b,[1,0],l,1),trans(b,[2,2],r,c,[2,2],r,1),trans(c,[1,0],l,c,[1,0],l,1),trans(b,[1,0],l,a,[1,0],l,1),trans(a,[1,0],l,a,[2,0],l,1),trans(a,[2,0],l,b,[1,1],r,2),trans(b,[1,1],r,a,[2,1],l,2),trans(b,[2,0],l,z,[1,2],r,2)]