Machine 66 Results
Final configuration is 0001{0101}^(digits(50)){1010}^(3){z}0000{l} Ones: (50 digits) Hops: (100 digits) Steps: 29547 Otters: 389 Otter Steps: (100 digits)
Final configuration is 0001{0101}^(179203){c}0100{r}10010010{1010}^(70837) Ones: 500085 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is {0101}^(273654)0100{a}1010{l} Ones: 547311 Hops: (12 digits) Steps: 2625 Otters: 35 Otter Steps: (12 digits)
Machine 66: [t(a,0,1,r,b),t(a,1,0,l,b),t(b,0,1,l,c),t(b,1,0,r,e),t(c,0,1,r,e),t(c,1,0,l,d),t(d,0,1,l,a),t(d,1,1,l,a),t(e,0,0,r,a),t(e,1,0,r,f),t(f,0,1,r,e),t(f,1,1,r,z)]
String format: 621rb0lb1lc0re1re0ld1la1la0ra0rf1re1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #p
Table:
Status: halts
Final Configuration: 0001{0101}^(digits(50)){1010}^(3){z}0000{l}
Ones: 69441558520411615332160230918116630617777509486759
Hops: 5511005771135715440859471147218157764215293156719893222259440850594125229365163814868343833437414675
Steps: 29547
Otters: 389
OtterSteps: 5511005771135715440859471147218157764215293156718101310637302486570100446303827891434428875767310236
Otter Time: 4.787096
OtterLess Hops: 256797656565
OtterLess Time: 77.903683
OtterExtra Hops: 342343855050
OtterExtra Time: 0.415008
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,d,[0,1,0,0],l,3),trans(d,[0,0,0,0],r,e,[0,0,1,0],r,3),trans(e,[0,1,0,0],l,c,[1,0,0,0],l,3),trans(c,[0,0,1,0],r,e,[0,0,1,1],r,1),trans(e,[1,0,0,0],l,b,[0,1,0,1],r,4),trans(b,[0,0,0,0],l,c,[1,0,0,0],l,1),trans(c,[0,1,0,1],r,c,[1,0,1,0],l,4),trans(c,[0,0,1,1],r,a,[0,1,0,0],r,5),trans(a,[1,0,1,0],l,b,[0,0,1,0],l,1),trans(b,[0,1,0,0],r,f,[0,1,1,0],r,3),trans(f,[0,0,1,0],l,d,[0,1,0,0],l,5),trans(d,[0,1,1,0],r,e,[0,1,0,1],r,9),trans(c,[0,0,0,0],r,e,[0,0,0,1],r,1),trans(e,[1,0,1,0],l,e,[0,1,0,1],r,4),trans(b,[1,0,0,0],l,e,[1,1,0,1],r,14),trans(e,[0,0,0,0],l,a,[1,0,1,0],l,5),trans(a,[1,1,0,1],r,a,[1,0,1,0],l,4),trans(a,[0,1,0,1],r,a,[1,0,1,0],l,4),trans(a,[0,0,0,1],r,e,[0,1,0,1],r,5),trans(a,[0,0,0,0],r,b,[0,0,0,1],r,1),trans(b,[1,0,1,0],l,a,[1,0,1,0],r,8),trans(b,[1,0,1,0],r,b,[0,1,0,1],l,4),trans(b,[0,0,0,1],r,e,[0,0,0,0],r,1),trans(e,[0,1,0,1],l,c,[1,0,0,1],l,3),trans(e,[1,0,0,1],l,a,[1,0,1,0],l,7),trans(e,[0,0,1,0],l,a,[0,1,0,0],r,4),trans(b,[0,1,0,1],r,e,[0,1,0,0],r,1),trans(c,[0,1,0,0],r,e,[0,1,0,1],r,1),trans(c,[0,0,0,1],r,a,[0,1,0,0],r,5),trans(a,[1,0,0,0],l,b,[0,0,0,0],l,1),trans(d,[1,0,1,0],r,d,[0,1,0,1],l,4),trans(d,[0,1,0,1],r,e,[0,1,1,0],r,3),trans(c,[0,1,1,0],r,e,[0,1,1,1],r,1),trans(a,[0,1,1,1],r,a,[0,1,0,0],r,3),trans(c,[1,1,0,1],r,a,[1,0,1,0],r,11),trans(b,[0,1,0,0],l,c,[1,1,0,0],l,1),trans(a,[1,1,0,0],l,b,[0,1,0,0],l,1),trans(f,[0,1,0,0],l,a,[1,0,1,0],r,4),trans(f,[0,0,0,0],l,b,[0,1,0,1],l,7),trans(b,[0,1,1,0],r,e,[1,1,0,1],r,11),trans(a,[1,0,0,1],l,b,[0,0,0,1],l,1),trans(a,[0,0,0,1],l,d,[0,1,0,1],l,3),trans(d,[0,1,0,0],r,e,[0,1,1,0],r,3),trans(a,[0,1,0,0],l,b,[1,0,0,1],r,4),trans(c,[1,0,0,1],r,a,[1,1,0,0],r,5),trans(b,[1,1,0,0],r,f,[1,1,1,0],r,3),trans(b,[1,1,1,0],r,b,[0,1,0,1],l,4),trans(f,[0,1,0,1],l,f,[1,0,1,0],r,4),trans(b,[0,1,0,1],l,c,[1,1,0,1],l,1),trans(a,[1,1,0,1],l,b,[0,1,0,1],l,1),trans(c,[0,1,1,1],r,c,[1,0,1,0],l,4),trans(e,[0,0,0,1],l,a,[1,0,1,1],l,5),trans(a,[1,0,1,1],l,b,[0,0,1,1],l,1),trans(f,[0,0,1,1],l,d,[0,1,0,1],l,5),trans(b,[1,1,0,1],l,f,[0,0,1,0],r,4),trans(b,[0,0,1,0],r,e,[1,1,0,1],r,11),trans(b,[1,0,1,1],l,f,[1,0,1,0],r,8),trans(b,[0,0,0,1],l,c,[1,0,0,1],l,1),trans(b,[1,0,0,1],l,e,[0,0,1,0],r,4),trans(a,[0,0,1,1],r,a,[0,0,0,0],r,3),trans(b,[0,0,0,0],r,f,[0,0,1,0],r,3),trans(d,[0,0,1,0],r,f,[1,0,1,0],r,7),trans(e,[0,0,1,1],l,f,[0,1,0,0],r,4),trans(b,[1,1,0,0],l,a,[0,0,1,0],r,4),trans(a,[0,1,0,1],l,e,[1,1,0,1],r,8),trans(a,[1,0,1,0],r,b,[1,0,1,1],r,1),trans(b,[1,0,1,1],r,e,[1,0,1,0],r,1),trans(c,[1,0,1,0],r,e,[1,0,1,1],r,1),trans(a,[1,0,1,1],r,a,[1,0,0,0],r,3),trans(b,[1,0,0,0],r,f,[1,0,1,0],r,3),trans(a,[0,0,1,0],l,d,[0,1,1,0],l,3),trans(e,[0,1,1,0],l,c,[1,0,1,0],l,3),trans(a,[0,0,1,0],r,b,[0,0,1,1],r,1),trans(d,[0,0,1,1],r,f,[1,0,1,0],r,7),trans(f,[0,1,1,0],l,z,[1,0,1,0],r,3)]