Machine 85 Results
Final configuration is 00{11}^(digits(987)){10}^(2){z}20{l} Ones: (987 digits) Hops: (1974 digits) Steps: 497189 Otters: 7887 Otter Steps: (1974 digits)
Final configuration is 01{11}^(241029){a}02{l}{22}^(36787)2102 Ones: 555637 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 00{11}^(290077){a}{22}^(2){l}2102 Ones: 580161 Hops: (12 digits) Steps: 2309 Otters: 34 Otter Steps: (12 digits)
Machine 85: [t(a,0,1,r,b),t(a,1,1,r,a),t(a,2,0,l,b),t(b,0,2,l,c),t(b,1,1,l,b),t(b,2,1,r,c),t(c,0,0,r,d),t(c,1,2,l,c),t(c,2,1,r,a),t(d,0,2,r,a),t(d,1,1,r,z),t(d,2,1,r,c)]
String format: 431rb1ra0lb2lc1lb1rc0rd2lc1ra2ra1rz1rc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #d
Table:
Status: halts
Final Configuration: 00{11}^(digits(987)){10}^(2){z}20{l}
Ones: 808083057920381539367617461168728646444309992587221637522318511689179752134863271853119976082295241928722932474893073062486060951832624435744503254252551577888473438373718715122647938861779339069669738035394829252166286566785229157397243720172427137797805923597626435682868920061049461815021452541065742659456213467552631390002534701085893382596825408726119891022814599889046704091195881382243884738192385824281231324274442444505120416481854951968729395450094923459221502514718270374935261436970572569964351036382180792815484913947815436978994985128264607223981619980502723110318079952242040581845954916368565014216919362212164328171823093711281533283064952135930798000364673690957354392585529571459854030808577712463232479887115814355550148721149879630267502426425203121562446460886978129427249001922906536022223345485691652324046873391656794781297078185393281910961122771012877676964204602861213310264888086615483498581961703570286240035776408150408229214053242603023299861188219764735
Hops: 373141844855974117556687147236751568758295666550172760999023184648779414339147462367499875560867508295975870689425858005795773088172839356917057769218973523038219259406058202237673245900903326953313886364831283453296694615983879280738823228726402943687656771962061999883401724469813830913422589496006467309568834162345122641828198366659027982854733103920011476898902786658610540333472596881514010391128205463026246494205927191820575866213585290336207020732233276520305136009911352807172182664495219015017079228732342420943748501221429482842228115204841947495392757113817999139049157583191497427228444639112095710632386960150471002351360305462656583112397292266334432032603856542317843818874702935403396741906378674498636284857943047877109220854761412300239882128312027109456796906470385712761693795148591597345346679250200357367213790443657494649099671834169319490181353288164537613969038005105273327589916972195127967938446900619472863728010860586121242933640947772876034456117796846411016172577702268993432502594811601864482240375785414043331427632775232836181479256643015655554774521749889155658431554054666290485907835735116396406140523780457590964911909707724400132081104914920652003762213750069576729322023316969843410864191007261944990138377359463552081936372861544917059450461392495729599448042460723004363178332455309524807234262997630984442646968924301354665830225143121228078626914056766757908821330618334084946947142292537994689136323752009684941941013319382231784420159515680929332531745355376135935771054968294017355984437089096245085824994681933502820409053946918297200640635312638817909749124865778199454523215441497731453076145999215483112072656530731941962839171136578031457717287295268201412823929477939968888965606277459681616175896862349696575089016705029744314121849669521815335386451693125685610771329506651066146538224268453897954137847968944438177820618738546359296866119882278010233007828047209071818278244347871039843323048472603738635106182656943
Steps: 497189
Otters: 7887
OtterSteps: 373141844855974117556687147236751568758295666550172760999023184648779414339147462367499875560867508295975870689425858005795773088172839356917057769218973523038219259406058202237673245900903326953313886364831283453296694615983879280738823228726402943687656771962061999883401724469813830913422589496006467309568834162345122641828198366659027982854733103920011476898902786658610540333472596881514010391128205463026246494205927191820575866213585290336207020732233276520305136009911352807172182664495219015017079228732342420943748501221429482842228115204841947495392757113817999139049157583191497427228444639112095710632386960150471002351360305462656583112397292266334432032603856542317843818874702935403396741906378674498636284857943047877109220854761412300239882128312027109456796906470385712761693795148591597345346679250200357367213790443657494649099671834169319490181353288164537613969038005105273327589916972195127967938446900619472863728010860586121242933640947772876034456117796846397919357848883620957722328209196436515839079587660537430873817440794895174900150750290728311808138535015217676090330620963630625521580258315070882959389942376581036812919096364011495849080526409020565742809448947054999614103226053251216735648502705399210679156824793055649695913644675318695216197642133824581220338746479086698244609892531417065873691031829809816166336701318413923350310816203394311845252557637348603520568629095910372659621904744032914132640760659805499978640669370402889229393231596005593460654511680901709088193552587809446783042830297359380503432747195264873002852386843316012041368106149557948211660087057378086156115891360494438130388196990903517574148706707553049655795518695732024899329682296094305714680156650142548525989245488019248840038521834597012314077599496740389828112333488097579781080853606702042430012714334784011007591692594812736724160322047093517144333989247499230137048454307858801889437183182692242216500784772580276139739943031241079789861774486236
Otter Time: 92.184085
OtterLess Hops: 166286167642
OtterLess Time: 72.276552
OtterExtra Hops: 192335062274
OtterExtra Time: 0.395009
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[2,2],l,3),trans(c,[0,0],r,d,[0,0],r,1),trans(d,[2,2],l,a,[1,1],r,2),trans(c,[1,1],r,c,[2,2],l,2),trans(a,[2,2],l,b,[0,2],l,1),trans(b,[1,1],r,b,[1,1],l,2),trans(b,[0,0],r,c,[0,1],r,3),trans(c,[1,1],l,c,[2,1],l,1),trans(c,[0,1],r,c,[0,1],r,3),trans(c,[2,1],l,a,[1,1],r,2),trans(a,[0,2],l,c,[1,1],r,2),trans(c,[0,0],l,a,[0,2],r,2),trans(c,[0,2],r,a,[0,1],r,1),trans(b,[0,1],r,c,[2,1],l,2),trans(c,[2,2],l,b,[1,0],l,3),trans(d,[2,1],l,c,[2,2],l,3),trans(a,[1,0],l,b,[1,1],r,2),trans(b,[2,2],l,a,[1,1],r,2),trans(a,[2,1],l,b,[0,1],l,1),trans(a,[1,1],l,a,[1,1],r,2),trans(a,[0,1],l,b,[1,1],l,3),trans(b,[2,1],l,c,[2,2],l,3),trans(b,[0,2],l,c,[2,2],l,1),trans(b,[0,0],l,c,[2,0],l,1),trans(b,[2,0],l,d,[1,0],r,2),trans(d,[0,0],l,b,[2,1],r,2),trans(c,[2,1],r,b,[1,0],l,4),trans(b,[1,0],r,c,[2,2],l,2),trans(b,[1,0],l,b,[1,0],l,1),trans(c,[1,0],l,c,[2,0],l,1),trans(d,[2,0],l,d,[1,0],r,2),trans(c,[1,0],r,d,[1,0],r,1),trans(c,[0,2],l,c,[0,1],r,2),trans(c,[2,0],l,b,[1,1],r,2),trans(a,[2,0],l,b,[0,0],l,1),trans(b,[1,1],l,b,[1,1],l,1),trans(d,[1,0],l,z,[1,0],r,1)]