Machine 78 Results

Final configuration is 01{11}^(digits(1301))1310{z}00{l} Ones: (1302 digits) Hops: (2602 digits) Steps: 96341 Otters: 2163 Otter Steps: (2602 digits)

Final configuration is 01{b}{22}^(888860){l}{11}^(607907){33}^(3226)20 Ones: 2999988 Hops: (13 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 01{11}^(3320484){b}11{l}{33}^(3226)20 Ones: 6647424 Hops: (14 digits) Steps: 654 Otters: 13 Otter Steps: (14 digits)

Machine 78: [t(a,0,1,r,b),t(a,1,1,l,a),t(a,2,3,l,a),t(a,3,3,r,c),t(b,0,2,l,c),t(b,1,2,l,b),t(b,2,1,r,b),t(b,3,1,r,a),t(c,0,2,l,a),t(c,1,3,l,c),t(c,2,1,r,z),t(c,3,1,l,b)]
String format: 341rb1la3la3rc2lc2lb1rb1ra2la3lc1rz1lb
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #f
Table:
 0123
a1 r b1 l a3 l a3 r c
b2 l c2 l b1 r b1 r a
c2 l a3 l c1 r z1 l b
Status: halts
Final Configuration: 01{11}^(digits(1301))1310{z}00{l}
Ones: 178325567436870136096172162167667660554988073873746591481515180033558425648100229688757742050746916411975061482483268212833344788204768696833036634720464348125289985720774484989786939863704448237355046495210766588357271829297058065656573500988631396252691067324876090891319611476385040155835184873392725290959133365908705635778941767101932619349219190126760633846223686889147638550659531102702195930482434637018310268883021057476555111243443515567501056951108928071828035078257059721030215494075840815427982132847174834215208527058209142242045299251903229087402201763555374425985895783962112760203603996294357707520491627854760920400311438809540293969965895498320489209242639322995500462033041979336698023865815014124535708402489773791392247796276224186508730656016785762631020565596619984836944773596616656388346376454691068610159754670646064232128947333958543379718824965113014569958602598909291659660161437674928881878417790198803003411034972495651315290299312008118798926069976550928348184237276456608907642684895671913851180040929284201219671297279015728808373981907019861966302053252170497883581157882511738637302248071206065535725957368601028000908402896344962809939547004464284198857977384001741511207408948804217901365970170799884981832215391526589424715999512283073473182001304198188505584980
Hops: 8480002133781791637410573469071615043338320538258829908784975944161408021270493496684333429097818675653709053969785061217788093899592723939901257833318442318032762142159283483922858491914136684389431080971290983021437334870519538631407822879066096145841067320369340801178693683832788818475279089853492631221128903627570668799293491545597612169711242387189545171847946137949469682546161608273984225899595468677959740206174086650024100884397268106925682071947893720828600273659739562128940309918451878064511155294603348576108341921698603499045528519561842392169908700473064993095198775055932987068193940598572150379825175197055828624030872244041944310384598427023146731869418745838163911236058139062890758786457181688076529745874106885606077169804041735814329265108566895604728658461037471276950952570010083493521485260222214488893864022737004891436342229061307362725765470515715663898204411337024760752774441046938402712687852204476433655559662577103626709857732541093970655217979122622205269116027140986056258639119674050912603165767829488440860274551126324066153638706823319759008929488937492280237764155882315063199808518734974270954195666491117892211613267622927622373867000586775107349656572906685895092214020762721665116876080513679931824952619047924505667435346374571081823100252753144181459208343624383851375598137141015936967640932320323107015077413993477849744265794543487549079799187731818814247869801901583474273731162276346850365823037722073171799153081388328324784512911767134413137267585723453672679452565548823680255200121792828404435346424434131645562760551949201601742142464139732399568392525653539582288683856007999284538680402728625595013281374687585315668726049407797969837442357660061143924755479623878820011267849873556904181620015343085489545130598075758660956182294522783199184375211209763378006001301247756948329326742898259586248408959586292415753536804471272603543744648602646013138929945575809548292929660143215838774537814810755467500914268776267929613739356859617643371006592303204438909223676754225936981678852896109141679414921666221520998363761197754226814867375797391889696730215287165001053071426815671671409142106901875507405097805657481673051799811949231370028683533814376266910659645461341967148321448488366231639732308754526175634781638967181526032175147709187873389660600173220685221345846807032112223929464787476267117422095456297246528245907142935980228968750728778835747861530917767775148260204482814360226114206403980109926512573556844517936178478784560299366004349389157309543004417319795981161652318409503614873382449144927917249666371476369161170251376275
Steps: 96341
Otters: 2163
OtterSteps: 8480002133781791637410573469071615043338320538258829908784975944161408021270493496684333429097818675653709053969785061217788093899592723939901257833318442318032762142159283483922858491914136684389431080971290983021437334870519538631407822879066096145841067320369340801178693683832788818475279089853492631221128903627570668799293491545597612169711242387189545171847946137949469682546161608273984225899595468677959740206174086650024100884397268106925682071947893720828600273659739562128940309918451878064511155294603348576108341921698603499045528519561842392169908700473064993095198775055932987068193940598572150379825175197055828624030872244041944310384598427023146731869418745838163911236058139062890758786457181688076529745874106885606077169804041735814329265108566895604728658461037471276950952570010083493521485260222214488893864022737004891436342229061307362725765470515715663898204411337024760752774441046938402712687852204476433655559662577103626709857732541093970655217979122622205269116027140986056258639119674050912603165767829488440860274551126324066153638706823319759008929488937492280237764155882315063199808518734974270954195666491117892211613267622927622373867000586775107349656572906685895092214020762721665116876080513679931824952619047924505667435346374571081823100252753144181459207238005865742780754340873610497428145491394265089786210228599361641682026776322063478781798473100937060002488610505320554706993475406780930000995902455194213422355169919526517847833884612166834065666297453146919831637480207181920248129366086698889778579739816717413799234370358048014493176285993517364671588579026670948313742026569043252556440437569646809097351528100726602953367035318705133083827588668966394411231812549148263656626160164207107663113462246210135499796780590564890685794958459512986128721721986110894033867008379996051647426062042897786228067065935358372432095691917412038444631386257868988121143318527716848775223178212295219624715201022203377913881171471904127041636492254757371483478844335151351337102284658789339475046916559196551723060791598917449270051433691055182908878318201092866427122467753145916427688436336713665810902907428404964436143548942697972361466068613118132420393640813462682351591999271042734569700300071536758601577508898791725298228297333326910276416405438073842414433215526867519355468530553270550176367502744346369598810176768473723384054834412772523142090547549907262968310256979726297541938703547129033852508574306022771157090948365416839374145559324779488568634863453674723392015948304737021874764958674076150018949209947951762194132643068283132401516447900
Otter Time: 18.780774
OtterLess Hops: 1525126718588
OtterLess Time: 71.213025
OtterExtra Hops: 11760676470024
OtterExtra Time: 0.100002
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[3,2],l,3),trans(c,[0,0],r,b,[1,1],r,3),trans(b,[3,2],l,a,[1,3],l,3),trans(a,[1,1],r,a,[1,1],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,1],l,b,[2,1],l,1),trans(b,[0,1],r,c,[2,2],l,2),trans(b,[2,2],l,b,[1,1],r,2),trans(b,[2,1],l,b,[2,2],l,3),trans(b,[1,1],r,b,[2,2],l,2),trans(b,[0,0],r,a,[2,2],l,2),trans(b,[1,3],l,b,[2,3],l,1),trans(b,[2,3],l,a,[1,1],r,2),trans(c,[1,1],r,c,[3,3],l,2),trans(b,[3,3],l,c,[1,3],r,2),trans(c,[3,3],l,b,[1,3],l,1),trans(b,[1,3],r,a,[1,1],r,1),trans(a,[1,3],l,a,[1,3],l,1),trans(a,[3,3],l,a,[1,1],l,5),trans(a,[0,1],r,b,[2,2],l,4),trans(c,[3,2],l,b,[1,2],l,1),trans(a,[1,2],l,a,[1,2],l,1),trans(b,[1,2],l,b,[2,2],l,1),trans(b,[0,0],l,c,[2,0],l,1),trans(c,[2,0],l,z,[1,0],r,1)]