Machine 88 Results
Final configuration is {11}^(digits(4932))10{12}^(2){z}20{l} Ones: (4932 digits) Hops: (9864 digits) Steps: 1524523 Otters: 57368 Otter Steps: (9864 digits)
Final configuration is {11}^(1834)10{d}{22}^(38){l}{11}^(598)222111{10}^(2) Ones: 4949 Hops: 19934942 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 1110{d}{22}^(3065){l}11222111{10}^(2) Ones: 6143 Hops: 37620302 Steps: 926 Otters: 30 Otter Steps: 37575824
Machine 88: [t(a,0,1,r,b),t(a,1,1,l,d),t(a,2,1,r,z),t(b,0,1,r,c),t(b,1,2,l,b),t(b,2,2,l,d),t(c,0,1,l,c),t(c,1,2,r,a),t(c,2,0,r,d),t(d,0,1,r,c),t(d,1,1,l,a),t(d,2,0,l,a)]
String format: 431rb1ld1rz1rc2lb2ld1lc2ra0rd1rc1la0la
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #g
Table:
Status: halts
Final Configuration: {11}^(digits(4932))10{12}^(2){z}20{l}
Ones: 892298621517923823814319494971005348072583515322382678104506115924946018635362765178366446604459029936336578113629481944173250535981515569705893523756173754560653725774503673141607438714648585134464259282111601885277485598623238588535710725884210603857033253803664592178965141484927119021999914342579767763590611522490585723242784567873217960055156401813023992962700910066800638029202958126735659316835595073716660088927863394723017733507887993154520487233894962383718825744224053963835167100777344961294416011931311006467374403547564426166449924235467335518841255854038904329490992398802207029006025213456054260945362673716745833880050273463446282853555808509343886430196307877828233143807917233664033263553741680456179309296049606756501054838012368806966113921761135754251983422868798000669762301108581239808318688241694523171092203507114828192945106355117270691002581463591495776198553461192197877060474206329628737378441296711519969650036031612356150001545745075260928217893410470609795304658112128829028786025623475002760039054498530526431496790476203763641196930292824709430599198788281605926305199055948232314736658402203013138268954015991066006708188444120227266273145600459335118383273709539535241591179745390571398921325209021339492622606527722827145445694519258615609625723023359015146548126781843916352399041287881142418900135147849938235660468528680125525761398169323089780024773640512638662370646727522058311082948713676007708601910705591357871308484456667483873737887546538299887813485527098027480427004598627879137514717655434031980002708714091958646782539070922070980027663880247582983826496576375720016502220822865453256860268429811515659549710067054755180316652872093787551117494439570973248049123760619496349118046734157806955938424190448634813237620092381905526044696467966811099648238665373058318532273976065220827767170344608789411843922086030111836096761019906976384606431433203903591590563671239616265596105235704411743541489374231260829474840619963607681437347291127474112438856554796110666016327363753812847047658778594681884539437357196335437277773911093971831940702337516988570437462185531152974562135663191418364099990786008980412727433369149994491639117244079501265986484100561042838265941522780927621937722344443150875907892581701441935904616162672838457452030206479305854594563337536345329797318811015164852910164667904851952233983989846325732324704318943495171659184675490657588715473724030536619787888427155386552271879980469340793842176505664730571088380200463314140243935025127775415401186553719401185349828384986322956035082046255454982167804872477078332413314608420602521872143570295775787234874655165737986449589959903190669848182767207580572442398229011159378171330151676738402040220425818207829320693648017836222249144736183180220366055106412753840852233902829944321881499524424660312812521789939755667407955043541030103425516210155534141179932276478957958260610235663427914738325834941154919133000758276680662739100625160139258277745316963110626230442086361500940678040010055843006433200331168969760762387051829612429179319358171690204124800617653675276468124726476414754265280213821587863630055146482869927802825367964884285191332465889142760107441141975003104137286912354899553660681112357545726337326597103300834533544396885428095645067015113764909599301729185772893605701118434146980345644605474165214270825660198194100990696030008946115478100848056004662502474261943733694952730769044714607985390084340776953335562810939255852554947241015062753051652082554104105506972730748053756919352629254544848821629700504451669318273421423246430173818140077868276508060299436245323433784660855127788136543951211068713150562637625247018874768898049942904745531802153036201415759284993319740941001452838328508523744821594467170753512084334150154585315596537322556860656574436611641046947041005783379013421173345279953205110738870771611594090933370734335066825168161878179081519797956771462405478998884064993062010857893004645647900443739110900395272190753398736202874859765651275471613460383138586413255764012383379260795795306415042133311164196447868760058406002830518820818439745421937912867446634221268840419589149224573700716579304394816158319901926647990447453425895208751755604266059770573451404331523534958104868275121524092659692247130644546469418790043209382011825361909473114034858443835834875549123081824508944849591767571682591514798115296461641061768647705941393375654345347891626084742205109334291439279818627284304266557715090263895551240450664916270796462253970791301515221101014276722312068064940396280753303686449857204570802883676290297550948102387927908557437344097260718711911928400452908203140349348725131556013154146734539281770777847004172439521112534947059154333274173360409266775181966777241297539808396159738106933862965503813198245798130739065016056802114059240603951390070610099157082810937377792855486866674421068863660450716221759788027457364345335270468002473050112
Hops: 796196829962787068813373578106535275758323525203218344069341983403206231760475455147764263018114733479955178540931571151969267325993915039996090291641116170355959383869013568715716491343850829288915119128074150105679244295085295544479166266974789779300834184906343492321599930482567189386585188656702901311234147697184985836218601819895176271743594604083334503871475647539363125040665611552848348204225019935628010487865172978577069791998956550778412737570190222664854022832381734434458449569122736754641207125281910933300679312810065253182724337606148219910259648901783153333857383303874678394375150999397424216747547622124005892383498340150276718206960715496017609874240474023184717659073309404243697905120658618373471548132516611289760918421959446243645614324477633162148796833898397996780670172845097358338407823227112798231951322204067564249485861694177083871231526052822238908035262682011208575920078297507821853003544644584787092290487470015134036756073761304277398530317310466258872401540569337370427849326717229613969912371682383768798041829011672218284007382521968294082209990883584219891634791761097980855228714605745582550975902968709431555278913646158113921257920072714542417393716494269481495869040336086388706948261571861498573523104611003655234071960402698313119866008808528653375725005625271024879139985078345926427933177010895235768493146099245533470436830209356263214454974018390831950797322213545853584479148123698008780428631859113196220559382506819750767635443873852168205367761205085945039832043706638274536848106216017391300115500472378610275299767710852863292398824201514455673459575779542183592621590512750895479062988587791170183621065238925820412597721748860165258709596435100258727154419127346003466296359144517761015249236342231436652045902778948013747393611045484578771760032814701698210420916752178445586044059200809040318616680923153152309694208126687932006219453380005008182815088482931700580192828726874595347788129622269859974473636665886765292087389370098674164794137487419568949103161051729793111673116573530239024710857766895140523107631463648416663401511827041369671777906700616706683116327229780588787569522546341918114138216180244059346279896741131883616968757003096167115488320212911998786933517825667427857497432727082054693803276452458126669028988599286728642894076724812444400748765808614380214672311058610083133733295128082363015218315325256892828234245379853923681731563064744792343194356840251984554014742300415300443812567805801969574505743595385425277896437728434643624847118431108288391540035260000654919061421743874142101383764105258867139463439234595773431535507248651342876604955804072918843654380503299297073476960409154614949580386744731032947933677579185193867995682173637782909344621744200488521077962022504354931951807658206977212474025530421743698579427823586240076602170455389921975111878278226410894223532516840446602148776120291016647639714043840339575685615902878308814602521877738787858791208666471731452913480525945683393734774022035507193717441226353926122599784757891741189531178560976491147764660421919301088987407876084480706716300686793762785840028904870136844712493320726232095373714208920507463930242412006142719329630948063611655584515495205150375695025766684706334168488554850399692234523898675383313063663927240581149691585285716505224417624811653899592716593528965453645665969657894116084828439983678330290802882138600569628952073011219385833281726496673968488832758800617484692256555470959070765975451690763594038400409044838490952015964612449264317283330298400069440214760982702157173015906959667787108896021911794067129045578145450192488992882568263404004428873956424027763107559487826372779302080477667200311303811460434190308947240477172954250221517372333689269383596852112436162763053418723020391107571792579397365452483788347409527661451126056835178277233020297351755048691752744461098329811723740676457138046096828782000015319407302446758938741564784736152756485096124779900137833157556047320624656700069348563047534758254158217309783249150165000319681236239364458209088334618857193086680755948950950605753491482870830382141486271214767989776271335282310754559290479672517535765193318603094142054258757794519479070059476065533460784019250788673462014935145473256211783493950106256571539874048942737057511346008418988091022637120753594094415096310963079900286103148509380699444038848925638638561993083993903512315603838666361291087255162930620575004894768521915599564617533102867537899626913136619088376586604931291071748463939493340096711936191153786407552959073713440711110541001608327932267065424452801829663360694125922475583031102070653811705164104226656288668174967505114711032869756540706252056678713450423221535310846999650107552973422223100807378738193593352745113891605217106789311062424877386719691170862386225425426889533603644280548975806005470973240287464889728591441365109765554601520951023058080037698746121204756186381321788356317708279684400530889182789821362684028112863486207191553064837770652290038917816565226049024854071912702896670790332076409642010775743576017409219573320746780043424516180459315466090526110552160587820624500485686700573464452406786657383568697145879370740691650067887595042251250901498026643507252291400231817506079469466265838256052955392051129552572260736417485739382623845178824987765222773668704697097792247371777031758446155604331062674751713610695582253077803130958606778090241551929973006448696850157831116621712735519565462880421320712168422642464475791767858066010073229555132916175224709494324067322906065019429627102466769831851474999443337627336003015751768536590687819581159854606065264048033628310065686742078101465596548048505415854555315647217530634659926307929471581316393827662857858166302706241888986194525380215467155806476384254677903892352258943147344984263352397701881817625839380934331457474985169173578263525946436937567116679162302718430074203926670218534120212764333093442302424570511926798616775765515954947491341955490404968511614511064684276507944073958706259177687712967775213563343035501021076561911581541125906202148899909590910567572987616247491065709077274329250774697782409998979138069182709377753018992992863192062919061828349195414252454989191213620957111140661225473458968309534339790798084200384825797420585088875316041654498159013697182668737720594993666543416328688810020784872322861620282980846511336361183238264920953255271650294957036814418941438302441913892419565789310560443007691647047625747703119778996361203201482922633927909445204569366115339241060932197545721739587303768679401201039182177556666618462346848631579897161867248137371413864726847730647906462002941379406078448339348319718677154405677518388402409884856346563546545083318944666375755155595889442123300955998068695083287108228186172939566645638428516649158330424041240367143397503730014628070531462903799748765351736585068567352162112840333408763431312393213943743355424564730515326907550944433949341333683612021643836873778138237693859053453277885156898882930202416619136464141981859022816510984463157938333611849603160317269852429081831590397940875052699382731451246252246637606241829546862514017780280994133326727258549971415023574149973003480516052657801004849089837473855857231621272206977436693059680798493740306722265245121993242095035170731850544987244024687234739521989201554537484642937792619853418839809046092442507390837252470879541881219352474420630098811937738429355232473064876421922525114127502086610841897186965719429087267001554830570162379691546864090331380021913025363872645938409490999249805805745472904425700857739867185872838039668773094812669616845196869690370690207059627466867618312805785508105839900826471189546186853198677484926380886408838357281359274984418457423169322250117361926680475332333194039120112608921242769791261551189926574567342725620264397863665296440881233263728081908913825053569383174029088498593806743923419929876201978924104873272428448839476987038615773977131117265113590906839292256011094578636570284822060190372696267621457900048037692245698612314425866500827200744788619686246933560323250605891629379513160821321978505300631039898815889191661980590762557020363492502685817820157412189599681597485560408321856134401183121928422446143445939130646751431073757170621302878894563912231463578789109610933306247733502330066370472931543647353197519790811523752759996412957286552053500623870346328050841824751655294685229340750324729966223026531562032088221546066951906939109711571114311084565155320085947535518023015656601342996223494445794097501073119328064326744300363263670486380095530212134464581999774709573702456360099743548503866034468897401527734153478502642335126035042037886640908817681360263483099637666549360699482093320218775200558430694102639051427164976652663219729437919321191976570939551671755568872959539828669364969851136492802156657634666701456234153095477926083865541436844895266655628026248658308123906104512727822224083937630977625654931236147322921726701407088862903915510908785324007783534960871449641696063603932932156300903623153948096483518503229533562008145233942896623120523964149721835094221804993241393590729153815177070755804505817114683586052855018468154585490752609987171641455896758357838538304109162848773978094170665168066118534039102439492692732822118438523680654462316278226945504180253757874735772196488279601404942553833923632764975859046111394700147406151210964795739592254596208810975979255156340243023517479461812943000045716847964804799415984601894165324067428935791951110177273469808262917646477788917150357635319020908390946680264123875621637201672260963709299979431128905736774878050781435288434614830534726768020190269377423152322019584477929587361636294644512537320634402147618250082722357221683454732786167172668876592923867013292274445001404392591575181675456292921272391852350582455899174926349820410818193525660829863567913
Steps: 1524523
Otters: 57368
OtterSteps: 796196829962787068813373578106535275758323525203218344069341983403206231760475455147764263018114733479955178540931571151969267325993915039996090291641116170355959383869013568715716491343850829288915119128074150105679244295085295544479166266974789779300834184906343492321599930482567189386585188656702901311234147697184985836218601819895176271743594604083334503871475647539363125040665611552848348204225019935628010487865172978577069791998956550778412737570190222664854022832381734434458449569122736754641207125281910933300679312810065253182724337606148219910259648901783153333857383303874678394375150999397424216747547622124005892383498340150276718206960715496017609874240474023184717659073309404243697905120658618373471548132516611289760918421959446243645614324477633162148796833898397996780670172845097358338407823227112798231951322204067564249485861694177083871231526052822238908035262682011208575920078297507821853003544644584787092290487470015134036756073761304277398530317310466258872401540569337370427849326717229613969912371682383768798041829011672218284007382521968294082209990883584219891634791761097980855228714605745582550975902968709431555278913646158113921257920072714542417393716494269481495869040336086388706948261571861498573523104611003655234071960402698313119866008808528653375725005625271024879139985078345926427933177010895235768493146099245533470436830209356263214454974018390831950797322213545853584479148123698008780428631859113196220559382506819750767635443873852168205367761205085945039832043706638274536848106216017391300115500472378610275299767710852863292398824201514455673459575779542183592621590512750895479062988587791170183621065238925820412597721748860165258709596435100258727154419127346003466296359144517761015249236342231436652045902778948013747393611045484578771760032814701698210420916752178445586044059200809040318616680923153152309694208126687932006219453380005008182815088482931700580192828726874595347788129622269859974473636665886765292087389370098674164794137487419568949103161051729793111673116573530239024710857766895140523107631463648416663401511827041369671777906700616706683116327229780588787569522546341918114138216180244059346279896741131883616968757003096167115488320212911998786933517825667427857497432727082054693803276452458126669028988599286728642894076724812444400748765808614380214672311058610083133733295128082363015218315325256892828234245379853923681731563064744792343194356840251984554014742300415300443812567805801969574505743595385425277896437728434643624847118431108288391540035260000654919061421743874142101383764105258867139463439234595773431535507248651342876604955804072918843654380503299297073476960409154614949580386744731032947933677579185193867995682173637782909344621744200488521077962022504354931951807658206977212474025530421743698579427823586240076602170455389921975111878278226410894223532516840446602148776120291016647639714043840339575685615902878308814602521877738787858791208666471731452913480525945683393734774022035507193717441226353926122599784757891741189531178560976491147764660421919301088987407876084480706716300686793762785840028904870136844712493320726232095373714208920507463930242412006142719329630948063611655584515495205150375695025766684706334168488554850399692234523898675383313063663927240581149691585285716505224417624811653899592716593528965453645665969657894116084828439983678330290802882138600569628952073011219385833281726496673968488832758800617484692256555470959070765975451690763594038400409044838490952015964612449264317283330298400069440214760982702157173015906959667787108896021911794067129045578145450192488992882568263404004428873956424027763107559487826372779302080477667200311303811460434190308947240477172954250221517372333689269383596852112436162763053418723020391107571792579397365452483788347409527661451126056835178277233020297351755048691752744461098329811723740676457138046096828782000015319407302446758938741564784736152756485096124779900137833157556047320624656700069348563047534758254158217309783249150165000319681236239364458209088334618857193086680755948950950605753491482870830382141486271214767989776271335282310754559290479672517535765193318603094142054258757794519479070059476065533460784019250788673462014935145473256211783493950106256571539874048942737057511346008418988091022637120753594094415096310963079900286103148509380699444038848925638638561993083993903512315603838666361291087255162930620575004894768521915599564617533102867537899626913136619088376586604931291071748463939493340096711936191153786407552959073713440711110541001608327932267065424452801829663360694125922475583031102070653811705164104226656288668174967505114711032869756540706252056678713450423221535310846999650107552973422223100807378738193593352745113891605217106789311062424877386719691170862386225425426889533603644280548975806005470973240287464889728591441365109765554601520951023058080037698746121204756186381321788356306108397604667521179596636386739614503169277787016216737706258263627991796658100617907285218996104523530521155313148811135389753807983873611232603764490487970754926081111911564625193822820120553839785253833034862191966151670304685006419329260651141520599259350620247896715704411597445479357508365837863250890828129677088651436099853573040217648835539037167105577224270792976770530608126767126105133578235056289055195875696222024205100527072207802601929248212443292142613872103177540022072800696343212353330422961514669651443698216762083780548319407581389114046831531963504316946172231731746533332415996292394200672729714868784770929391197919974641660531110492394281244944038685407814128985103141226415601202111423840811747080616951660213991702960394521156658049651765161502653687084022019818955947943754746588733746039052496578991268510213983617746391521275827739960113785957573907307120686822127266979148166775189811583253841406276186831487098705718532352698335388225534603385919784094836994132886844749793137708465511600729635447239010445111880946692320965583729124182701222851360916674930026835925807625836016015409444517333272410743629503994265041822384460794010033154696598259737720735346692550683824269313642447991754523400525301715579459098178058665075458401385502092986266079221653443943756099825294997396953152254055629348939124040498535891811729950781656527178799006467537553454671609216752026077991613327085564817541949703058411124536344065577268626244973713617666678221880836440403900338580567291432065009383225529218259934418182477363256325989918287460225754901523217646625755708797842353407801266246702943554150530503788289838373177030912643274485349025450049904020884076645488683203220192039350716740797190394886809785111133102915250318873926577632284257502345580311480363612292186611300462339473451197857149133394439237467212958459652383284457529530766876554783347108352704503846405996419784772226472022650340283835700503194809446800971543757040529220285884216455565879215730669744089239298736991895025399765915037306766518673572128188954265199513346522245591355774914830326752728635095659568776149526428623180295396695781413695781951372281195509596065583781522854943722464572725371722569206724223383536893530575199464781024545813188586200876953933912634244838975090573908980838937041230867707369671708309206375162179068102034161101412272095352808753119241790167013583375723764322968083861559243966552260427412070035199957837817227291345102135117922154472335525170440314280412626449981053250767198453047101871185643544971556171660082444803126374503561058776778682626989178003591652273963178105625153132835960720511419533908546263916022516394096560960746718838971069403445692713225618290832335495070019086282919972469138119657453765314315963959795914545038021650121973915559343905377720633893137790623544406096408769549924822296436305505676736399917019479194552623507386500670171410207908507817608700836483673059590039620654164171491649978198435796338119518591289803584435131432701716777474809801253846405158181481986601642685366100062904851608705490908534140723613999049870550259098160077168121034061052184421064146392495530029283014189169161845836017453333999921946444749643163970214151308195860901943326165903648225169725715026943837338686636624331162345569157797250731943502318655016651231703814199642630977392134401184041067315793268376028356782934854453939950070971716232622625136907258646118484221962027457288970763596813799249897950448462435113084359146126436191534150433355054488828734849955421452182240269759986934002001530474133979389663816885461178099139403963858624781809906468335435393137539661162672553825134320458846390571311042460420445491210988104068899246104342555469412057115748607797729178493802023150988370298008998679535409879842009453016747472484217463790007319242158634963100093554665119588035802263444067703337179273112066435537922236357694849818613982409306697740329574909328018205141824250940591020631630703742657595234603542889699682200965974248028040513300257800672188350105172337940925078034763930742931580518439985024387987227826315087873769723173654119504158952514231405998325635952727317131650308488237683201065854834190877961611746834516347166853336920640433042031682961655906568597986762158348631035389322410591828251320759145140159200006718578212256128016935463242968051585942669626839350683518374805064371417623299795071814487878259020734438393495859424166828670327434110173836757397444973354358695513568810099784127004300035380333813129297696331503163470160192656080347842534779207409359099757669013674274481011943807450756835982016489049484152457874087546388633547644001603425409054669733830560847719430282589751260124998187764215030669424234192901056071772456251183936813169467001551507112361483224768277135362460725244261929066700511145161845983846887577428745186106465072498942374343155959327850405663874554127026153798496624764723145016297681992874674328835009576797711269356
Otter Time: 300.733298
OtterLess Hops: 19934942
OtterLess Time: 81.676160
OtterExtra Hops: 37620302
OtterExtra Time: 0.156016
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[1,1],r,2),trans(c,[0,0],l,c,[1,0],l,1),trans(c,[1,1],r,a,[1,2],r,1),trans(a,[1,0],l,d,[1,0],l,1),trans(d,[1,2],r,d,[1,0],l,2),trans(d,[0,0],r,c,[0,1],r,1),trans(c,[1,0],l,b,[2,1],r,2),trans(b,[1,0],l,b,[2,0],l,1),trans(b,[2,1],r,d,[2,2],l,2),trans(d,[0,1],r,b,[2,2],l,4),trans(b,[0,0],r,c,[0,1],r,1),trans(c,[2,2],l,c,[1,1],r,4),trans(c,[2,0],l,c,[0,1],r,2),trans(c,[0,1],r,a,[0,2],r,1),trans(d,[0,2],r,c,[1,1],r,3),trans(b,[0,0],l,a,[0,1],l,5),trans(a,[2,1],r,a,[0,1],l,2),trans(a,[1,1],r,a,[1,1],l,2),trans(a,[0,1],r,a,[1,2],r,3),trans(a,[1,1],l,d,[1,1],l,1),trans(b,[1,1],l,b,[2,1],l,1),trans(c,[2,1],l,b,[2,2],l,5),trans(b,[1,1],r,b,[2,2],l,2),trans(b,[0,1],r,d,[1,0],r,3),trans(d,[2,2],l,a,[0,2],l,1),trans(a,[1,0],r,b,[1,1],r,1),trans(b,[0,2],l,d,[1,0],r,2),trans(d,[1,1],l,a,[1,1],l,1),trans(d,[0,1],l,a,[1,2],r,2),trans(a,[0,1],l,b,[2,2],l,3),trans(b,[1,2],r,a,[1,2],l,2),trans(b,[1,2],l,b,[2,2],l,1),trans(d,[1,1],r,d,[1,1],l,2),trans(c,[1,1],l,a,[0,1],l,3),trans(d,[1,0],r,c,[1,1],r,1),trans(a,[0,0],r,b,[0,1],r,1),trans(d,[2,1],l,a,[0,1],l,1),trans(b,[0,1],l,a,[1,2],r,2),trans(d,[1,0],l,a,[1,0],l,1),trans(d,[1,2],l,a,[1,2],l,1),trans(a,[2,2],l,z,[1,2],r,1)]