Machine 25 Results
Final configuration is 0000{1110}^(488){1010}^(2)1101{z}0000{l} Ones: 1471 Hops: 2358064 Steps: 931 Otters: 41 Otter Steps: 2312068
Final configuration is 0000{1110}^(488){1010}^(2)1101{z}0000{l} Ones: 1471 Hops: 2358064 Steps: 386817 Otters: 0 Otter Steps: 0
Machine 25: [t(a,0,1,r,b),t(a,1,1,r,d),t(b,0,1,l,c),t(b,1,0,l,e),t(c,0,0,r,a),t(c,1,0,l,b),t(d,0,1,r,e),t(d,1,1,r,z),t(e,0,1,l,c),t(e,1,1,r,c)]
String format: 521rb1rd1lc0le0ra0lb1re1rz1lc1rc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html 5-state record list #7
Table:
Status: halts
Final Configuration: 0000{1110}^(488){1010}^(2)1101{z}0000{l}
Ones: 1471
Hops: 2358064
Steps: 931
Otters: 41
OtterSteps: 2312068
Otter Time: 0.160011
OtterLess Hops: 2358064
OtterLess Time: 6.145467
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,b,[0,1,0,0],l,3),trans(b,[0,0,0,0],r,d,[0,0,0,1],r,3),trans(d,[0,1,0,0],l,b,[1,1,0,1],r,4),trans(b,[0,0,0,0],l,c,[1,0,0,0],l,1),trans(c,[1,1,0,1],r,e,[0,0,1,0],l,4),trans(e,[0,0,0,1],r,c,[0,0,0,1],r,1),trans(c,[0,0,1,0],l,b,[0,1,0,1],r,6),trans(b,[1,0,0,0],l,e,[0,0,0,0],l,1),trans(e,[0,1,0,1],r,c,[0,1,0,1],r,1),trans(c,[0,0,0,0],l,c,[1,0,1,0],l,5),trans(c,[0,1,0,1],r,c,[1,0,1,0],l,4),trans(c,[0,0,0,1],r,e,[0,0,1,1],r,5),trans(e,[1,0,1,0],l,e,[1,0,1,1],r,4),trans(e,[0,0,0,0],l,c,[1,0,0,0],l,1),trans(c,[1,0,1,1],r,b,[0,1,0,0],l,4),trans(b,[1,0,1,1],r,a,[1,0,1,0],r,3),trans(a,[0,1,0,0],l,b,[0,1,0,1],l,9),trans(b,[1,0,1,0],r,b,[0,1,0,1],l,4),trans(b,[0,0,1,1],r,a,[0,0,1,0],r,3),trans(a,[0,1,0,1],l,a,[1,0,1,0],r,8),trans(a,[1,0,0,0],l,e,[0,0,1,0],l,5),trans(e,[1,0,1,0],r,b,[0,1,0,1],l,4),trans(b,[0,0,1,0],r,c,[0,1,1,1],r,7),trans(c,[0,1,0,1],l,c,[0,1,1,1],r,4),trans(c,[0,1,1,1],r,b,[0,1,0,1],r,5),trans(b,[1,0,1,0],l,e,[0,0,1,0],l,1),trans(c,[0,0,0,0],r,a,[0,0,0,0],r,1),trans(a,[1,0,1,0],l,a,[1,1,1,0],r,4),trans(b,[1,1,1,0],r,a,[1,0,1,0],r,9),trans(d,[0,1,0,1],l,d,[1,1,0,1],r,4),trans(e,[1,1,0,1],r,c,[1,1,0,1],r,1),trans(e,[1,0,0,0],l,b,[0,1,0,1],l,7),trans(e,[1,1,1,0],r,a,[1,0,1,0],r,9),trans(a,[0,0,1,0],l,b,[0,1,1,0],l,3),trans(a,[0,1,1,0],l,e,[1,0,1,1],r,6),trans(c,[1,0,0,0],l,b,[0,0,0,0],l,1),trans(b,[0,1,1,1],r,a,[0,1,1,0],r,3),trans(b,[0,1,1,0],r,c,[1,0,0,1],l,4),trans(b,[1,0,0,1],l,e,[0,0,0,1],l,1),trans(c,[0,0,0,1],l,c,[1,0,1,1],l,5),trans(b,[1,0,1,1],l,e,[0,0,1,1],l,1),trans(c,[0,0,1,1],l,d,[0,1,0,1],r,6),trans(c,[0,1,0,0],l,c,[1,0,0,1],l,7),trans(d,[0,0,0,0],l,b,[0,1,0,0],l,3),trans(b,[0,1,0,1],r,c,[1,0,1,0],l,4),trans(b,[0,1,0,0],l,c,[1,1,0,0],l,1),trans(b,[1,1,0,0],l,e,[0,1,0,0],l,1),trans(a,[1,0,0,1],l,e,[0,0,1,1],l,5),trans(a,[0,0,1,1],l,b,[0,1,1,1],l,3),trans(a,[0,1,1,1],l,z,[1,1,0,1],r,6)]