Machine 65 Results
Final configuration is 0111{1111}^(digits(60)){z}0000{l} Ones: (61 digits) Hops: (120 digits) Steps: 12321 Otters: 332 Otter Steps: (120 digits)
Final configuration is {d}{1111}^(16230){r}0001{0101}^(455788)0010 Ones: 976498 Hops: (13 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 0011{1111}^(699910){c}{0101}^(2){l}0010 Ones: 2799647 Hops: (13 digits) Steps: 1082 Otters: 27 Otter Steps: (13 digits)
Machine 65: [t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,c),t(c,0,1,r,a),t(c,1,0,l,d),t(d,0,1,l,e),t(d,1,1,l,c),t(e,0,1,r,f),t(e,1,1,r,z),t(f,0,1,r,a),t(f,1,1,r,e)]
String format: 621rb0lc1la1rc1ra0ld1le1lc1rf1rz1ra1re
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #o
Table:
Status: halts
Final Configuration: 0111{1111}^(digits(60)){z}0000{l}
Ones: 1428695905960055044759084704924643330653960106385046017928251
Hops: 612351597512106734389649324374593196899080424087744141085745163887335494233200129160507766569830262574501041979788910538
Steps: 12321
Otters: 332
OtterSteps: 612351597512106734389649324374593196899080424087744141085722374047667603913177319243088279867268386212427278583252739848
Otter Time: 1.880038
OtterLess Hops: 1045783656955
OtterLess Time: 76.501544
OtterExtra Hops: 2351415600394
OtterExtra Time: 0.155003
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,0,0,1],r,1),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,d,[0,1,0,0],l,4),trans(d,[0,0,0,1],r,a,[1,1,1,1],r,9),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(a,[1,0,1,0],l,c,[0,0,1,0],l,1),trans(c,[0,0,0,1],r,f,[0,1,1,1],r,5),trans(f,[0,0,1,0],l,a,[1,1,1,1],r,4),trans(c,[0,1,1,1],r,e,[1,0,1,0],l,4),trans(e,[0,0,0,0],r,f,[0,0,0,1],r,1),trans(f,[1,0,1,0],l,f,[1,1,1,1],r,4),trans(a,[1,0,0,1],l,c,[0,0,0,1],l,1),trans(f,[0,0,0,1],l,d,[0,0,1,1],l,5),trans(d,[1,1,1,1],r,d,[0,1,0,1],l,4),trans(d,[0,1,1,1],r,d,[0,0,0,1],l,6),trans(d,[0,0,0,0],r,e,[0,0,1,1],r,3),trans(e,[0,0,0,1],l,c,[1,1,1,1],r,4),trans(c,[0,1,0,1],l,d,[0,0,0,1],l,3),trans(d,[0,0,1,1],r,e,[1,1,1,1],r,7),trans(e,[0,1,0,1],l,e,[1,1,1,1],r,4),trans(c,[0,0,1,1],l,c,[1,0,1,0],l,7),trans(f,[0,1,0,0],l,d,[0,0,0,0],l,3),trans(a,[0,1,0,1],l,d,[0,1,0,0],l,7),trans(e,[0,1,0,0],l,a,[1,1,1,1],r,4),trans(c,[0,0,1,1],r,e,[1,0,0,0],l,6),trans(f,[1,0,0,0],l,b,[1,1,1,1],r,4),trans(b,[1,0,1,0],l,c,[1,0,0,0],l,5),trans(b,[0,1,0,0],l,a,[1,1,0,0],l,1),trans(c,[0,1,0,0],l,d,[0,0,0,0],l,3),trans(e,[0,0,0,0],l,c,[1,0,0,1],l,7),trans(b,[1,0,0,1],l,c,[1,1,1,1],r,4),trans(c,[1,1,0,0],l,d,[0,1,0,0],l,1),trans(c,[1,0,0,0],l,d,[0,0,0,0],l,1),trans(c,[0,0,0,0],l,d,[0,0,1,0],l,5),trans(e,[0,0,1,0],l,c,[1,0,0,0],l,5),trans(a,[1,0,0,0],l,c,[0,0,0,0],l,1),trans(f,[0,0,0,0],l,d,[0,0,1,0],l,5),trans(c,[0,0,1,0],l,a,[1,1,1,1],r,4),trans(b,[1,1,0,0],l,c,[1,0,0,0],l,3),trans(a,[0,0,1,0],l,c,[0,1,1,0],l,3),trans(a,[0,1,1,0],l,d,[0,1,0,0],l,5),trans(a,[0,0,1,1],l,c,[0,1,1,1],l,3),trans(a,[0,1,1,1],l,d,[0,1,0,1],l,5),trans(f,[1,0,0,1],l,d,[0,1,0,0],l,7),trans(b,[0,1,1,0],l,a,[1,1,1,0],l,1),trans(b,[1,1,1,0],l,c,[1,0,1,0],l,3),trans(b,[0,1,1,1],l,a,[1,1,1,1],l,1),trans(c,[1,1,1,1],l,d,[0,1,1,1],l,1),trans(c,[0,1,1,1],l,d,[0,0,1,1],l,3),trans(e,[0,0,1,1],l,c,[1,0,0,1],l,5),trans(a,[1,1,1,0],l,c,[0,1,1,0],l,1),trans(c,[1,1,1,0],l,d,[0,1,1,0],l,1),trans(b,[1,1,1,1],l,c,[1,0,1,1],l,3),trans(b,[1,0,1,1],l,c,[1,0,0,1],l,5),trans(a,[1,0,1,1],l,c,[0,0,1,1],l,1),trans(f,[0,0,1,1],l,c,[1,0,1,0],l,7),trans(f,[1,0,1,1],l,z,[1,1,1,1],r,4)]