Machine 76 Results
Final configuration is {00}^(2)122002200002200011{z}33{l}{32}^(digits(435)) Ones: (435 digits) Hops: (869 digits) Steps: 103962 Otters: 3493 Otter Steps: (869 digits)
Final configuration is 122012{32}^(1274){21}^(1297){a}23{r}33{23}^(1739)20 Ones: 8630 Hops: 19983565 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 12201232{12}^(6221){b}00{l} Ones: 12449 Hops: 55369106 Steps: 728 Otters: 23 Otter Steps: 55308364
Machine 76: [t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,3,l,c),t(a,3,1,r,c),t(b,0,0,r,c),t(b,1,1,r,z),t(b,2,2,r,c),t(b,3,3,r,c),t(c,0,1,l,b),t(c,1,2,l,a),t(c,2,3,l,a),t(c,3,2,r,b)]
String format: 341rb0rb3lc1rc0rc1rz2rc3rc1lb2la3la2rb
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #d
Table:
Status: halts
Final Configuration: {00}^(2)122002200002200011{z}33{l}{32}^(digits(435))
Ones: 463768897500006369480820227355349841754153714928627352644175430570072996063593765174932930577946745525066000195198256322208808204150600041383528079252371275175549296385203040420948357602314563554031016019035276061689791030961158303417947909290742936157234965895722487166516204473385763192999903031404891707862152754923675764918394452149284362346557046332371183410907795598524279477275727524891684162614499380848764765007518032781907453
Hops: 76814853674418362208641174468982199854818147255818633477804537201361769002038907780837886022917885515664249253961304548478434345339464022325786522542187880418819768462235679163878506426528263272056737272385410458979627927853077289970094356645307310748824833824945776052895902659716926717662509459786315187640881591363190806019712423923623111939352024793566586969994083635949431350925361877082674307494269019425174036165647982709759717233129544115645001192856538170528303423660976118036071132009350763542655887588250241913970990845387002221447001688947730204215438595242768059269327664542821649653004859337123768239621709950126864299442407228850553868975378125017423555355417300642826119368554678265831861393959048952207522918656867684884192021272098312808629809767671551574107697995628118460154881726431102479977282394123152943521562552115518188275698976486822753186319
Steps: 103962
Otters: 3493
OtterSteps: 76814853674418362208641174468982199854818147255818633477804537201361769002038907780837886022917885515664249253961304548478434345339464022325786522542187880418819768462235679163878506426528263272056737272385410458979627927853077289970094356645307310748824833824945776052895902659716926717662509459786315187640881591363190806019712423923623111939352024793566586969994083635949431350925361877082674307494269019425174036165647982709759713083161775122104284919114702621126054830523405952022902050315794781507903597288985216087990543486894472795495268544298213427346310569861125911365650346818168769458521664532776246549216568725832979515720974049579649282624413358113635779240312195952337695866174588257775045503836267074438414030270627145347140368157222334646369930145808546494550888743155601107951276793924320936426962541786849348739632564975018684653282616125353272292740
Otter Time: 21.687896
OtterLess Hops: 19983565
OtterLess Time: 80.354874
OtterExtra Hops: 55369106
OtterExtra Time: 0.120002
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,[3,2],l,5),trans(c,[1,1],r,c,[0,2],r,3),trans(c,[3,2],l,c,[2,2],r,2),trans(b,[2,2],r,c,[2,2],r,1),trans(a,[2,2],r,a,[3,3],l,2),trans(a,[0,2],r,b,[1,3],l,2),trans(b,[0,0],r,c,[0,0],r,1),trans(c,[1,3],l,a,[2,3],l,1),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,3],l,b,[2,2],r,2),trans(b,[3,3],l,b,[3,2],r,2),trans(c,[3,2],r,b,[1,2],r,3),trans(b,[3,2],l,b,[1,2],r,4),trans(b,[0,0],l,c,[1,2],r,6),trans(b,[1,2],r,c,[1,2],r,1),trans(a,[1,2],r,a,[2,3],l,2),trans(a,[0,1],r,b,[0,0],r,1),trans(c,[2,2],r,c,[3,3],l,2),trans(a,[3,2],r,c,[2,3],r,3),trans(c,[2,3],l,a,[3,3],l,1),trans(a,[2,3],r,c,[2,1],r,1),trans(c,[3,3],l,c,[2,3],r,2),trans(c,[2,0],l,a,[3,0],l,1),trans(c,[3,0],l,c,[2,0],r,2),trans(b,[2,0],r,c,[2,0],r,1),trans(a,[2,0],r,b,[2,1],r,1),trans(c,[2,1],r,c,[3,2],l,2),trans(c,[1,2],r,c,[0,3],r,3),trans(a,[0,3],r,c,[0,1],r,1),trans(c,[2,3],r,b,[2,2],r,1),trans(c,[0,1],r,c,[1,2],r,3),trans(a,[2,1],r,b,[2,0],r,1),trans(c,[0,3],r,b,[0,2],r,1),trans(c,[0,2],r,c,[1,3],r,3),trans(a,[1,3],r,c,[1,1],r,1),trans(a,[1,1],r,b,[1,0],r,1),trans(c,[0,0],r,c,[1,2],r,5),trans(c,[1,3],r,b,[1,2],r,1),trans(c,[1,0],r,z,[1,1],r,2)]