Machine 80 Results
Final configuration is 00{20}^(digits(2373))002111{z}13{l}1000 Ones: (2373 digits) Hops: (4745 digits) Steps: 944360 Otters: 13465 Otter Steps: (4745 digits)
Final configuration is 00{20}^(193555)00{c}{21}^(190990){l}00 Ones: 575535 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 00{20}^(480037){c}11{l}{21}^(2)00 Ones: 480043 Hops: (12 digits) Steps: 1704 Otters: 25 Otter Steps: (12 digits)
Machine 80: [t(a,0,1,r,b),t(a,1,1,r,a),t(a,2,1,l,b),t(a,3,1,r,c),t(b,0,2,l,a),t(b,1,0,l,b),t(b,2,3,l,c),t(b,3,1,r,z),t(c,0,1,l,b),t(c,1,0,r,c),t(c,2,2,r,a),t(c,3,2,r,c)]
String format: 341rb1ra1lb1rc2la0lb3lc1rz1lb0rc2ra2rc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #h
Table:
Status: halts
Final Configuration: 00{20}^(digits(2373))002111{z}13{l}1000
Ones: 222744165316489668744091579656482475834280506311571314546278126291169295950072295220654354277311167444606694709325680167357578847297500925321866668402883371765391888544740207068882526205733816080946008795406929415698615618323636836859155587286156367255918859645689720767057297635646903495408031186446588685248032940622929965170745887975046250477113836948897999168930611229242457470275400566013365610201469194912729858716114926633750115646555137312105557385600274235977541666057533101428612675628625485750929072444724826844063615043137634484603156433264674028177820298704624376359796912105343055811242129082201014935813392012447495687471264082256602116759138594565782654248863598926322606940106855380887251928154045619131838453417376151577807763246151141960079712579550724370161536858770822163245667166482610468674802009187226763612583899847713502796695627143011183759318253926757517177665957599882733104261324462663866901308170662372757969800335044414278661374217427206991291744622488355183066045607549541540609897391289816495024056052545513116548545202512254261843048532384761499349374934482938713664723796107175736166428728330174213414373217741180604706900629274035752171372661348303541186568300418778928679148384864375489338596026070963581371407107150127367918572120748623367792947365101506759798796319365185786302782296404958804752881343850839389631009919651254505248280938061854597794884055522542226248622406954872987939899887013695147121603688717703839649219735660864473681401101184274872921358984947912897414878989784026143662017965935166633389045122055110145518747275387264176084374504736289328765515551011575571423809269146791911702149690511180956707576251610483545175299700538001596234788502597086270362754225379264497805134094782222141936306105488988231437669201716999296333366549171635158993044628485006656273679848098323128358136942779512715299279188215357276013859327977858603471644438186581410646796235273951271312525168884746239835395089393333404876150532754190548174080666707193605759136774105090813011068695037379497781184692680555985939569990278791007760565296061154657683043859382003329919108641540177519278033797965979878736879509761140735848139754069963175181241312167929422244678782666878546448035051854431170721974288899311174840521689718620907937278101999960421642329733094961927439577471508952917708777858019098999740021423271400891805065003017806
Hops: 59537955819047614909469118731967804481803172887833629206787031535878631391493221869210969015806747454679193497410922981768757672208799893640656169390676646850221496774480266521435482320538840641270592298761553517586033044480301240075382056283961215924911361487853452538870310613880751326744219953476325880325836091368168031042903300578389140739207889009195114608527057362498494597574592430673714974501498657456827764012707412908838092623458181420033378145003563172992007299056260000425900046734911269652729228124951436137033361312104814401180292501233403953734384132311642027143447285693438022688468900606189715128742262025921652818385947971188008718133979266965630196816462857234280833866596648514544667493982322714040180937840838738542560808056708332508584246397306894912753070535022152824049409818249943998325492651888267649644684989703692969429865455129481842505467873563698682757578547689767672881494335356739391682322851766331304121591789186075815360896191956704493366960551752661864570889297023674849619704119897224233439330785198701621556712928733515507461512832832040272858217326230296346886912954993266191749561080442556482441691879565592805092830204169266024561288173940313437175189907929631032849015806512026803186541253063744271008597390627970031159437801820008055399274234104108857019232333324301643098171198943308865162734888992004538760604816786709056575735573318326655211206908572396703714470391220815538183457460489608334796534989173383285301100152277155290692609745772487295856272286829686648866068235243645246435913272652547481952187510894019743318104091699079305440233599286053908251257553505668982717381504556438764206127212453896632070657795282998464630671026694768235947367169618575024938146223142891193905101790649434740588477975268112264314284229779392540426119802787614357835079901770288639745610521788229453058223600718644780401270984264802316366397396732886257907241515274299715514665770217790867146497254312427053691279095708929188873277977776941692774742373046923429902382388623844007972712517627763314030773001519275552239822806749591300073459290298186288625276041561766056413872252877646682285990569998079057523105350523070863731054093043493549570633769214239226767215133859437214605826722975750892969684853205639644804290346299665580089892769326882328362081765480784920799296753145597211586644882424827952402087415562555049569504070839118957391553169832837807007449712007403540773817608306439840294505575836603823175029195624704357676202566252918739943429795679777309968355543750875901785828218068448258452665307290207663086565887332330905756944739929038699386320103886527336472861605528939558475910656416696160709400306372945432688998065912650713749609182030521185312561544760206518109289538030466454724220662536665869051367863296954201974410878029823862120667911217108024017975375105956620473519309687036869394112941631262414816071553009291089933416154046876772517345540713846977681078284252435480870643014387649122494189696131951447747140585013281560914277269025553961925142006540621929485300575042198379870335483381821045285998377114631124989385944289476609580842805441894454839309057526121420581604996549013445081442819454039428162785243105144262720872200024036289527759633737045852679749291557412548770820040857166376103557032500250293021380373168398249606314872780287948062069537187555605048967599458234378346161991895954722641649111342604213892825744491502229213085731684077956365617457032746330228858665797713007051078786144661496382536093001492812907277408304758464328606236217209077148019463509045372497050197225008491153220783762415363065562617303956347243719849679222583441518470884842909454177338002830196041045828176064276673912792671137489523043836260058097199486092683558420273384316988174953306368017472207988595968371202576286758577948202473486994604183279301879215033257173829740705023293676931411235870493216935963018862851921749344457421497650518735949096945394665371121507708773943061322270672526966957512886858272364850834446438190136990289275211631540631960322567520270136439010853626761061922406797310820176602283411686527753103045616384688810063276143970918896431984708736225636252196891428967975615749378887097972039906792335333609211838439888466240537851191715480074773691966259523274170865858680845719372882902830036419559809625222608156597936864692988872604664835168557082829271783413170534034959453307392636371959316252653221559778046858186688131002186256584867324815684681340406959872788696175646293311649836070255314445234165906227988184600728259436598054811169674537418463552314490190251364248374028645032299024562578673813909991209985044268394583180476494929830331508088049720816691221386743030617034886935646989019333204261955237690450734419195238573302669518070009338280844
Steps: 944360
Otters: 13465
OtterSteps: 59537955819047614909469118731967804481803172887833629206787031535878631391493221869210969015806747454679193497410922981768757672208799893640656169390676646850221496774480266521435482320538840641270592298761553517586033044480301240075382056283961215924911361487853452538870310613880751326744219953476325880325836091368168031042903300578389140739207889009195114608527057362498494597574592430673714974501498657456827764012707412908838092623458181420033378145003563172992007299056260000425900046734911269652729228124951436137033361312104814401180292501233403953734384132311642027143447285693438022688468900606189715128742262025921652818385947971188008718133979266965630196816462857234280833866596648514544667493982322714040180937840838738542560808056708332508584246397306894912753070535022152824049409818249943998325492651888267649644684989703692969429865455129481842505467873563698682757578547689767672881494335356739391682322851766331304121591789186075815360896191956704493366960551752661864570889297023674849619704119897224233439330785198701621556712928733515507461512832832040272858217326230296346886912954993266191749561080442556482441691879565592805092830204169266024561288173940313437175189907929631032849015806512026803186541253063744271008597390627970031159437801820008055399274234104108857019232333324301643098171198943308865162734888992004538760604816786709056575735573318326655211206908572396703714470391220815538183457460489608334796534989173383285301100152277155290692609745772487295856272286829686648866068235243645246435913272652547481952187510894019743318104091699079305440233599286053908251257553505668982717381504556438764206127212453896632070657795282998464630671026694768235947367169618575024938146223142891193905101790649434740588477975268112264314284229779392540426119802787614357835079901770288639745610521788229453058223600718644780401270984264802316366397396732886257907241515274299715514665770217790867146497254312427053691279095708929188873277977776941692774742373046923429902382388623844007972712517627763314030773001519275552239822806749591300073459290298186288625276041561766056413872252877646682285990569998079057523105350523070863731054093043493549570633769214239226767215133859437214605826722975750892969684853205639644804290346299665580089892769326882328362081765480784920799296753145597211586644882424827952402087415562555049569504070839116257882792204183277130333281573041841927423611087837327573613239939048151006871993503617467630833867078991898663093867220984830682620063115242348044603686621100136196647640034773527027673303187672642307249245286179351364945152819385977993211913683705558723729387251157658605783559510741205204529478000406271709399579122996494837645231494714928968240592910973120699161806841215553290409071860686170679292867054100201320778522377539302872544011162491525355044448208506450947106758942687165345620823886904728582920108837475044613285886414969521266577295867844117514845196408790057653357825581415538490356948439199467214501118493010673085775009983856825449623984182363861934504720788455278234995007837015205862920574884502869833779669112110104722315524682564817766211760010960347372096677199304420302724433061865337680686416096203166537482622555969168762602817925377401184515593047538333616831737199894175174735088212582134472370712062905505296187978153194249777019316924978728126691952491324200167443447644704297109859422114192741836402952651519041002488208100838042669570166312389860918347896011763408011806498619224271125087619330360730566303475166449749175915303529130939580012732056198574661365580604670483824503732695143423236204091365624411443482619385897435054456834638859089376843355882712837163991144569684860528363200978612563123183323621553120236687575656223380015003941841707955323033119360169998160946091455743033946263213762215192193833744389234823969349142747651279100024909515933435852491466105330631118773405868708502930449534053724899371175893834220666299468939008857116487433149487303791465625815963182100437007967193853266657706171768966132022876904061586580605856428113248018856996886019090703274826893188186003804056904078738178614482866552293163537705234278152490492158108201865277535684667606247826366635348864218016623013163014982069318292109194658565955121904765499363052620633841575469043081272555932382634837268968609355889945076227521742499069357776477538656145141416763388339132338492200806281113164421611683167561857347969984174513624718233744217335150481122065828511697011770025733411118626089382273112848990814377869448115182063815704255703250118631874888902023444674247807722218164059397609945177684734682551840869286784379568920201437901450265185172887690202633927877823356306950648097877045897563159446382034667517148563122644323866423709240
Otter Time: 156.745699
OtterLess Hops: 147883989900
OtterLess Time: 74.228645
OtterExtra Hops: 276534270650
OtterExtra Time: 0.252005
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[0,1],l,5),trans(b,[0,0],r,c,[0,2],r,5),trans(c,[0,1],l,b,[1,1],l,1),trans(b,[0,2],r,b,[1,3],l,2),trans(c,[1,3],l,c,[0,2],r,2),trans(c,[1,1],l,c,[0,0],r,2),trans(c,[0,0],l,b,[1,0],l,1),trans(c,[1,0],l,a,[2,1],l,3),trans(a,[0,2],r,a,[2,1],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,1],l,c,[3,1],l,1),trans(c,[0,1],r,c,[0,0],r,1),trans(c,[3,1],l,c,[2,0],r,2),trans(c,[2,1],l,a,[2,1],r,2),trans(a,[2,1],l,b,[1,1],l,1),trans(b,[2,1],r,c,[3,0],l,2),trans(c,[2,0],r,c,[3,1],l,2),trans(c,[0,0],r,a,[2,1],l,2),trans(c,[3,0],l,c,[3,1],l,3),trans(a,[2,0],r,b,[2,1],r,1),trans(c,[2,1],r,c,[2,0],r,1),trans(b,[2,0],r,b,[1,2],l,2),trans(c,[1,2],l,a,[0,2],r,2),trans(a,[1,2],l,b,[0,1],l,3),trans(a,[1,1],l,a,[1,1],r,2),trans(b,[1,1],r,b,[0,0],l,2),trans(a,[0,1],l,b,[0,0],l,3),trans(a,[1,0],l,b,[1,1],r,2),trans(b,[0,0],l,a,[2,0],l,1),trans(a,[1,1],r,a,[1,1],r,1),trans(a,[2,0],l,b,[1,0],l,1),trans(b,[1,0],l,b,[0,0],l,1),trans(a,[3,1],l,c,[1,0],r,2),trans(c,[1,0],r,b,[0,1],l,2),trans(b,[1,0],r,b,[0,1],l,4),trans(b,[1,1],l,b,[0,1],l,1),trans(a,[1,3],l,c,[1,1],r,2),trans(a,[3,0],l,b,[0,1],l,3),trans(b,[1,2],l,b,[0,2],l,1),trans(a,[0,2],l,c,[0,2],r,4),trans(a,[2,1],r,a,[2,1],r,1),trans(c,[1,1],r,c,[1,0],r,1),trans(b,[0,1],l,a,[2,1],l,1),trans(b,[1,3],l,b,[0,3],l,1),trans(c,[0,3],l,b,[1,3],l,1),trans(a,[1,0],r,b,[1,1],r,1),trans(a,[0,3],l,z,[1,1],r,2)]