Machine 75 Results
Final configuration is 10{z}{11}^(digits(141)){l} Ones: (141 digits) Hops: (282 digits) Steps: 50694 Otters: 801 Otter Steps: (282 digits)
Final configuration is {c}01{r}{22}^(44840){33}^(232572)21{11}^(382)10 Ones: 555592 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 01{33}^(393694){c}23{l}{33}^(2)21{11}^(382)10 Ones: 788162 Hops: (12 digits) Steps: 2423 Otters: 35 Otter Steps: (12 digits)
Machine 75: [t(a,0,1,r,b),t(a,1,3,r,b),t(a,2,2,l,c),t(a,3,3,l,a),t(b,0,0,r,c),t(b,1,1,r,z),t(b,2,2,r,c),t(b,3,1,l,b),t(c,0,1,l,b),t(c,1,2,l,a),t(c,2,3,r,c),t(c,3,2,l,c)]
String format: 341rb3rb2lc3la0rc1rz2rc1lb1lb2la3rc2lc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #c
Table:
Status: halts
Final Configuration: 10{z}{11}^(digits(141)){l}
Ones: 605481001395926544158587620940667597777012568494283772727582690009933087446120861444418030974319502921233502711115245949791510880093631702089
Hops: 439928691661696802059178999179307988967407630143868255270383529720440282945837432224332909965972929327065400686821013019758517933348748285067968892138570845931802605598392779144195537337225662163136739668470633034277031950760781436585754540408433625068661714128594258951581286196594
Steps: 50694
Otters: 801
OtterSteps: 439928691661696802059178999179307988967407630143868255270383529720440282945837432224332909965972929327065400686821013019758517933348748285051117219991607724508113641753727736474713531955254216652228743786910628291648692164729932921643745549312253437129862667264680156410464500393974
Otter Time: 9.433252
OtterLess Hops: 336023516141
OtterLess Time: 76.519011
OtterExtra Hops: 743983766260
OtterExtra Time: 0.434020
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[1,0],r,2),trans(c,[0,0],l,b,[1,0],l,1),trans(b,[1,0],r,c,[1,0],r,1),trans(c,[1,0],l,a,[2,0],l,1),trans(a,[1,0],r,b,[1,1],r,1),trans(b,[2,0],l,c,[2,2],l,5),trans(c,[1,1],r,c,[3,2],r,3),trans(c,[2,2],l,c,[3,3],r,2),trans(b,[3,3],r,b,[1,1],l,2),trans(b,[3,2],r,c,[3,2],r,1),trans(c,[1,1],l,a,[2,1],l,1),trans(a,[3,2],r,c,[2,2],l,2),trans(c,[0,0],r,c,[1,2],r,5),trans(c,[2,1],l,a,[3,2],l,3),trans(a,[3,3],r,a,[3,3],l,2),trans(a,[1,2],r,a,[2,2],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,2],l,c,[2,3],r,2),trans(c,[3,3],l,c,[2,3],l,1),trans(c,[2,3],r,c,[3,3],r,3),trans(c,[2,3],l,c,[2,2],l,3),trans(c,[3,3],r,c,[2,2],l,2),trans(c,[0,1],r,c,[1,2],r,3),trans(c,[3,2],l,c,[2,2],l,1),trans(c,[1,2],r,c,[1,3],r,1),trans(a,[1,3],r,b,[1,1],l,4),trans(b,[0,0],r,c,[0,0],r,1),trans(b,[2,1],l,c,[2,2],l,3),trans(c,[1,3],r,a,[2,2],l,2),trans(c,[2,0],l,b,[1,1],l,3),trans(b,[2,3],r,c,[2,2],l,4),trans(a,[0,1],r,b,[0,3],r,1),trans(b,[3,3],l,b,[1,3],l,1),trans(b,[0,3],r,c,[1,2],r,5),trans(c,[1,3],l,a,[2,3],l,1),trans(a,[2,3],r,c,[2,3],l,2),trans(b,[0,1],r,z,[1,0],r,1)]