Machine 69 Results
Final configuration is 000001{010101}^(digits(881))101010{z}010100{l}101000 Ones: (882 digits) Hops: (1763 digits) Steps: 288760 Otters: 2211 Otter Steps: (1763 digits)
Final configuration is {e}000010{r}{010101}^(176911)010100{101010}^(212907)100101101101 Ones: 1169464 Hops: (13 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 000010{101010}^(709176){f}010110{l}101010100101101101 Ones: 2127542 Hops: (13 digits) Steps: 1584 Otters: 12 Otter Steps: (13 digits)
Machine 69: [t(a,0,1,r,b),t(a,1,0,r,f),t(b,0,0,l,b),t(b,1,1,l,c),t(c,0,1,l,d),t(c,1,0,r,c),t(d,0,1,l,e),t(d,1,1,r,z),t(e,0,1,l,f),t(e,1,0,l,d),t(f,0,1,r,a),t(f,1,0,l,e)]
String format: 621rb0rf0lb1lc1ld0rc1le1rz1lf0ld1ra0le
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #a
Table:
Status: halts
Final Configuration: 000001{010101}^(digits(881))101010{z}010100{l}101000
Ones: 250010283289877721226897209446172792942017695839576647745999232185922411312437040370270114754991959292558792018341491007282270659800504543626075497999472811223208003349326417243878918522302539535268364363630828136339246980774572244277189155064178175874018516654988963845526842301958295434945586019436236683048254755855448732938899144952495094133361886202915241880355409728628252159086842932036349388825892289991293634024686857730944374793381946518991803813920165596492758403597108984679833540067912004861621524530788495156203007409502260059630124863943931521812195263396166892070122843246959615904290850662721721111568447593552183925549318051223998351241541450224758762302184034960266714114672985900462723306198251756028655127195608468250495458265509884394643555553911492746019161448938241418823869057497919693974241500972054180435580771027330697902961550452404178512723897232693664
Hops: 89293059643835587603846357649706570661690456986650449041800100015618188534464446046119554869730814627648458042301282932994936581327184027960031191665023058002229072070671748951659652532359647499269799543422082927915847361282303121554594808060374833923036877651274821164242595551004577732442944914160259668193898895458599329591994755257135537277131432362631511872319803390891212999020515001938112976802818728084055783871963738100353295064335099428430724974215058033109677760963932713423294219952732810965391696017011115378676427120305746209854484473319170964948353985088159424870822819149325986812720033853095834603875998616918268110349694562326500698986098429449505971062016833822850185735416167513675180591742812121290496444304598958420109766787104526591372189394996069027705896210404540320560578335818731740515204881045257834955991125897945344901762360045265951897877419235036746809009394629610260251882611900973915614058639942795054841176639355897826131164712366770617278410562441040385749123062109698639373378301399375535149998610444706366967822096961472601064520371634350517801813760065521713697172526062304622264759253721458549887562075380095734911914818313604711795741917238760181361061780467935412699893206975072337452409310045783183625721870194873446397262843798592160572417115895273687472289880284052074484374334268332107098736871399013252776038371985495036549031971156860871214636505945131977999292157330487087996795297989311606334966829958181244021036589665251911713420030922653831189208602493886787999321602074355084081850913626034339721964969584800037969611549788738401439180965582596493607837229857226993932482661301890815096163695061490421376016266895212130397186473304895989806880612461388570069666086382539153746060931336695237448687925430817336
Steps: 288760
Otters: 2211
OtterSteps: 89293059643835587603846357649706570661690456986650449041800100015618188534464446046119554869730814627648458042301282932994936581327184027960031191665023058002229072070671748951659652532359647499269799543422082927915847361282303121554594808060374833923036877651274821164242595551004577732442944914160259668193898895458599329591994755257135537277131432362631511872319803390891212999020515001938112976802818728084055783871963738100353295064335099428430724974215058033109677760963932713423294219952732810965391696017011115378676427120305746209854484473319170964948353985088159424870822819149325986812720033853095834603875998616918268110349694562326500698986098429449505971062016833822850185735416167513675180591742812121290496444304598958420109766787104526591372189394996069027705896210404540320560578335818731740515204881045257834955991125897945344901762360045265951897877419235036732104284486701754750982288154054244359153214840175769754924639778699322951390082931047999226484962317488884405801993108132715171544510462414377564662571323543300047251319451712833123436830643941919686747623072327662074918009912655594982762695796947513471892309879715545673015249834862387302430317784243996015120413514412769618534168468858262695460657454036748516285061200780516761186599653586421017839603786287973625672114961719793652168105168395817716911363783600759712352933920356989174919339207308866062328441340844584570141145067594519047020016892311306740132727903463888974049671918821894753227620246750371577163600742645311072737161143707379940292638614376192018261843351066720032505285597830929395804217710944229325180722173958260198951411594814867975374440659894008352541030609533463938567548537619067344435713551971975539606694368985398961349401505166377235912737226715643540
Otter Time: 44.477926
OtterLess Hops: 1372639775227
OtterLess Time: 77.091567
OtterExtra Hops: 6466290852460
OtterExtra Time: 0.230004
Macro Size: 6
Macro Machine: [trans(a,[0,0,0,0,0,0],l,c,[1,0,0,0,0,0],l,3),trans(c,[0,0,0,0,0,0],r,f,[1,0,1,0,1,0],r,15),trans(f,[1,0,0,0,0,0],l,e,[0,0,0,0,0,0],l,1),trans(e,[1,0,1,0,1,0],r,e,[0,1,0,1,0,1],l,6),trans(e,[0,0,0,0,0,0],r,f,[0,0,0,0,1,0],r,3),trans(f,[0,1,0,1,0,1],l,f,[1,0,1,0,1,0],r,6),trans(f,[0,0,0,0,0,0],l,f,[1,1,1,0,0,0],l,9),trans(f,[1,0,1,0,1,0],r,a,[1,0,1,0,1,1],r,1),trans(a,[1,1,1,0,0,0],l,f,[1,0,1,0,0,0],l,3),trans(f,[1,0,1,0,1,1],r,d,[0,1,0,1,0,0],l,6),trans(d,[0,0,0,0,1,0],r,f,[1,0,1,0,0,1],l,10),trans(f,[0,0,0,0,0,0],r,a,[0,0,0,0,0,1],r,1),trans(a,[1,0,1,0,0,1],l,c,[0,1,0,1,0,0],r,8),trans(c,[0,1,0,1,0,0],l,d,[1,1,0,1,0,0],l,1),trans(d,[0,1,0,1,0,0],r,f,[1,0,1,0,1,1],l,6),trans(f,[0,0,0,0,0,1],r,a,[0,0,0,1,0,1],r,5),trans(a,[1,0,1,0,1,1],l,f,[1,0,1,0,1,0],l,11),trans(f,[0,0,0,1,0,1],r,a,[0,1,0,1,0,1],r,9),trans(a,[1,0,1,0,1,0],l,a,[0,1,0,1,0,1],r,6),trans(a,[1,1,0,1,0,0],l,f,[1,0,0,1,0,0],l,3),trans(f,[0,1,0,1,0,1],r,f,[1,0,1,0,1,0],l,6),trans(a,[1,0,0,1,0,0],l,f,[1,0,1,1,1,0],l,11),trans(a,[1,0,1,1,1,0],l,f,[1,0,1,0,1,0],l,7),trans(a,[1,0,1,0,0,0],l,e,[1,0,0,1,0,1],l,19),trans(e,[0,1,0,1,0,1],r,e,[1,0,1,0,1,0],l,6),trans(f,[1,0,1,0,1,0],l,e,[0,0,1,0,1,0],l,1),trans(e,[0,0,0,0,1,0],r,f,[0,0,1,0,1,0],r,7),trans(f,[0,0,1,0,1,0],l,e,[0,1,1,1,1,0],l,9),trans(e,[0,0,1,0,1,0],r,f,[1,0,1,0,1,0],r,11),trans(f,[0,1,1,1,1,0],l,e,[0,1,0,1,1,0],l,5),trans(f,[0,1,0,1,1,0],l,e,[0,1,0,1,0,0],l,9),trans(f,[0,1,0,1,0,0],l,b,[1,0,1,0,1,1],r,6),trans(b,[1,0,1,0,1,0],l,c,[1,0,1,0,1,0],l,1),trans(c,[1,0,1,0,1,1],r,c,[1,0,1,0,1,0],r,1),trans(c,[1,0,1,0,1,0],l,e,[1,1,1,0,1,0],l,3),trans(f,[1,1,1,0,1,0],l,e,[0,1,1,0,1,0],l,1),trans(f,[0,1,1,0,1,0],l,e,[0,1,0,0,1,0],l,5),trans(f,[0,1,0,0,1,0],l,e,[0,1,0,1,1,1],l,13),trans(f,[0,1,0,1,1,1],l,e,[0,1,0,1,0,1],l,9),trans(f,[1,0,0,1,0,1],l,e,[0,0,0,1,0,1],l,1),trans(f,[0,0,0,1,0,1],l,f,[1,1,1,1,0,1],l,9),trans(a,[1,1,1,1,0,1],l,f,[1,0,1,1,0,1],l,3),trans(d,[1,0,1,0,1,0],r,d,[0,1,0,1,0,1],l,6),trans(d,[0,0,1,0,1,0],r,f,[1,1,0,1,0,1],l,6),trans(a,[1,1,0,1,0,1],l,f,[1,0,0,1,0,1],l,3),trans(a,[1,0,0,1,0,1],l,f,[1,0,1,1,1,1],l,11),trans(a,[1,0,1,1,1,1],l,f,[1,0,1,0,1,1],l,7),trans(a,[0,1,0,1,0,1],l,f,[1,1,1,1,0,1],l,7),trans(a,[1,0,1,1,0,1],l,f,[1,0,1,0,0,1],l,7),trans(c,[0,1,0,1,0,1],l,d,[1,1,0,1,0,1],l,1),trans(c,[0,0,0,0,0,0],l,d,[1,0,0,0,0,0],l,1),trans(a,[1,0,0,0,0,0],l,e,[0,1,0,1,0,0],l,15),trans(e,[0,0,0,0,0,1],r,b,[1,0,1,0,1,1],r,15),trans(b,[0,0,0,0,0,0],l,b,[0,0,0,0,0,0],l,1),trans(b,[1,0,1,0,1,1],r,c,[1,0,1,0,0,0],r,3),trans(d,[1,0,1,0,0,0],r,d,[0,1,0,0,1,0],l,10),trans(c,[0,1,0,0,1,0],l,d,[1,1,0,0,1,0],l,1),trans(a,[1,1,0,0,1,0],l,f,[1,0,0,0,1,0],l,3),trans(a,[1,0,0,0,1,0],l,e,[0,1,0,1,1,0],l,15),trans(e,[0,0,0,1,0,1],r,e,[0,1,0,0,1,0],l,10),trans(b,[0,1,0,1,1,0],l,b,[0,1,0,1,1,0],l,1),trans(c,[0,1,0,1,1,0],l,d,[1,1,0,1,1,0],l,1),trans(a,[0,1,0,0,1,0],l,f,[1,1,1,0,1,0],l,7),trans(a,[1,1,1,0,1,0],l,f,[1,0,1,0,1,0],l,3),trans(a,[1,1,0,1,1,0],l,f,[1,0,0,1,1,0],l,3),trans(a,[1,0,0,1,1,0],l,e,[1,0,0,1,0,1],l,17),trans(d,[0,0,0,0,0,0],r,a,[0,1,0,1,0,1],r,13),trans(c,[1,0,0,0,0,0],l,e,[1,1,0,0,0,0],l,3),trans(e,[0,1,0,1,0,0],r,f,[0,1,0,1,1,0],r,3),trans(f,[1,1,0,0,0,0],l,e,[0,1,0,0,0,0],l,1),trans(e,[0,1,0,1,1,0],r,e,[1,0,1,0,0,1],l,6),trans(b,[1,0,1,0,0,1],l,c,[1,0,1,0,0,1],l,1),trans(c,[1,0,1,0,0,1],l,e,[1,1,1,0,0,1],l,3),trans(f,[1,1,1,0,0,1],l,e,[0,1,1,0,0,1],l,1),trans(f,[0,1,1,0,0,1],l,e,[0,1,0,0,0,1],l,5),trans(f,[0,1,0,0,0,1],l,d,[0,0,1,0,1,1],l,17),trans(c,[0,0,1,0,1,1],l,d,[1,0,1,0,1,1],l,1),trans(a,[0,1,0,0,0,0],l,f,[1,1,1,0,0,0],l,7),trans(a,[0,1,0,1,0,0],l,f,[1,1,1,1,0,0],l,7),trans(a,[1,1,1,1,0,0],l,f,[1,0,1,1,0,0],l,3),trans(a,[1,0,1,1,0,0],l,f,[1,0,1,0,0,0],l,7),trans(c,[1,0,1,1,0,1],l,e,[1,1,1,1,0,1],l,3),trans(f,[1,1,1,1,0,1],l,e,[0,1,1,1,0,1],l,1),trans(f,[1,0,1,0,0,1],l,e,[0,0,1,0,0,1],l,1),trans(f,[0,0,1,0,0,1],l,e,[0,1,1,1,0,1],l,9),trans(f,[0,1,1,1,0,1],l,e,[0,1,0,1,0,1],l,5),trans(f,[0,1,0,0,0,0],l,d,[0,0,1,0,1,0],l,17),trans(a,[0,0,1,0,1,0],l,c,[1,0,1,0,1,0],l,3),trans(c,[0,1,0,1,0,1],r,c,[0,1,0,1,0,0],r,1),trans(a,[0,1,1,0,1,0],l,e,[0,1,0,1,1,0],l,13),trans(b,[1,1,0,1,1,0],l,c,[1,1,0,1,1,0],l,1),trans(c,[1,1,0,1,1,0],l,f,[1,1,1,1,1,0],l,5),trans(a,[1,1,1,1,1,0],l,f,[1,0,1,1,1,0],l,3),trans(b,[1,0,0,1,0,1],l,c,[1,0,0,1,0,1],l,1),trans(c,[1,0,0,1,0,1],l,e,[1,1,0,1,0,1],l,3),trans(f,[1,1,0,1,0,1],l,e,[0,1,0,1,0,1],l,1),trans(f,[1,0,1,1,1,0],l,e,[0,0,1,1,1,0],l,1),trans(f,[0,0,1,1,1,0],l,e,[0,1,0,1,0,1],l,17),trans(f,[1,0,1,0,0,0],l,e,[0,0,1,0,0,0],l,1),trans(f,[0,0,1,0,0,0],l,e,[0,1,1,1,0,0],l,9),trans(f,[0,1,1,1,0,0],l,e,[0,1,0,1,0,0],l,5),trans(b,[1,0,0,0,0,0],l,c,[1,0,0,0,0,0],l,1),trans(c,[0,0,1,0,1,0],l,d,[1,0,1,0,1,0],l,1),trans(a,[0,0,1,0,1,1],l,c,[1,0,1,0,1,1],l,3),trans(c,[1,0,1,0,1,1],l,e,[1,1,1,0,1,1],l,3),trans(f,[1,1,1,0,1,1],l,e,[0,1,1,0,1,1],l,1),trans(f,[0,1,1,0,1,1],l,e,[0,1,0,0,1,1],l,5),trans(f,[0,1,0,0,1,1],l,c,[1,0,1,0,0,0],r,8),trans(c,[0,1,0,0,0,0],l,d,[1,1,0,0,0,0],l,1),trans(f,[0,1,0,1,0,0],r,a,[0,1,0,1,0,1],r,1),trans(a,[1,1,0,0,0,0],l,f,[1,0,0,0,0,0],l,3),trans(f,[1,1,0,1,1,0],l,e,[0,1,0,1,1,0],l,1),trans(b,[0,1,0,1,0,0],l,b,[0,1,0,1,0,0],l,1),trans(b,[1,1,0,1,0,0],l,c,[1,1,0,1,0,0],l,1),trans(c,[1,1,0,1,0,0],l,f,[1,1,1,1,0,0],l,5),trans(f,[1,0,1,1,0,1],l,e,[0,0,1,1,0,1],l,1),trans(f,[0,0,1,1,0,1],l,d,[0,0,1,0,1,1],l,15),trans(a,[0,1,1,0,1,1],l,e,[0,1,0,1,1,1],l,13),trans(f,[1,0,1,1,0,0],l,e,[0,0,1,1,0,0],l,1),trans(f,[0,0,1,1,0,0],l,d,[0,0,1,0,1,0],l,15),trans(c,[0,1,1,0,1,0],l,d,[1,1,1,0,1,0],l,1),trans(b,[1,1,1,0,1,0],l,c,[1,1,1,0,1,0],l,1),trans(c,[1,1,1,0,1,0],l,e,[0,1,0,1,1,0],l,11),trans(c,[1,0,1,0,0,0],l,e,[1,1,1,0,0,0],l,3),trans(f,[1,1,1,0,0,0],l,e,[0,1,1,0,0,0],l,1),trans(c,[0,1,1,0,0,0],l,d,[1,1,1,0,0,0],l,1),trans(a,[0,1,1,1,0,1],l,f,[1,0,1,0,1,1],l,15),trans(c,[0,1,1,0,1,1],l,d,[1,1,1,0,1,1],l,1),trans(b,[1,1,1,0,1,1],l,c,[1,1,1,0,1,1],l,1),trans(c,[1,1,1,0,1,1],l,e,[0,1,0,1,1,1],l,11),trans(a,[1,1,1,0,1,1],l,f,[1,0,1,0,1,1],l,3),trans(e,[1,0,1,0,0,0],r,f,[1,0,1,0,1,0],r,3),trans(f,[0,1,1,0,0,0],l,e,[0,1,0,0,0,0],l,5),trans(b,[0,1,0,1,1,1],l,b,[0,1,0,1,1,1],l,1),trans(c,[0,1,0,1,1,1],l,d,[1,1,0,1,1,1],l,1),trans(a,[1,1,0,1,1,1],l,f,[1,0,0,1,1,1],l,3),trans(a,[1,0,0,1,1,1],l,c,[0,1,0,0,0,0],r,8),trans(e,[0,1,0,0,0,0],r,f,[0,1,0,0,1,0],r,3),trans(e,[0,1,0,0,1,0],r,f,[0,1,1,0,1,0],r,7),trans(e,[0,1,1,0,1,0],r,e,[1,0,0,1,0,1],l,6),trans(c,[0,1,1,1,0,1],l,d,[1,1,1,1,0,1],l,1),trans(b,[1,1,1,1,0,1],l,c,[1,1,1,1,0,1],l,1),trans(c,[1,1,1,1,0,1],l,f,[1,0,1,0,1,1],l,13),trans(d,[0,1,0,0,0,0],r,f,[1,0,1,0,1,0],l,10),trans(f,[1,1,0,1,0,0],l,e,[0,1,0,1,0,0],l,1),trans(b,[1,1,0,0,0,0],l,c,[1,1,0,0,0,0],l,1),trans(c,[1,1,0,0,0,0],l,f,[1,1,1,0,0,0],l,5),trans(f,[1,1,0,1,1,1],l,e,[0,1,0,1,1,1],l,1),trans(f,[1,0,1,0,0,0],r,a,[1,0,1,0,0,1],r,1),trans(f,[1,0,1,0,0,1],r,a,[1,0,1,1,0,1],r,5),trans(f,[1,0,1,1,0,1],r,d,[0,1,0,0,1,0],l,6),trans(c,[1,0,1,1,1,0],l,e,[1,1,1,1,1,0],l,3),trans(f,[1,1,1,1,1,0],l,e,[0,1,1,1,1,0],l,1),trans(b,[1,1,0,1,1,1],l,c,[1,1,0,1,1,1],l,1),trans(c,[1,1,0,1,1,1],l,f,[1,1,1,1,1,1],l,5),trans(a,[1,1,1,1,1,1],l,f,[1,0,1,1,1,1],l,3),trans(c,[1,0,1,1,0,0],l,e,[1,1,1,1,0,0],l,3),trans(f,[1,1,1,1,0,0],l,e,[0,1,1,1,0,0],l,1),trans(b,[1,1,1,0,0,0],l,c,[1,1,1,0,0,0],l,1),trans(c,[1,1,1,0,0,0],l,e,[0,1,0,1,0,0],l,11),trans(a,[0,1,1,0,0,0],l,e,[0,1,0,1,0,0],l,13),trans(f,[1,0,1,1,1,1],l,e,[0,0,1,1,1,1],l,1),trans(f,[0,0,1,1,1,1],l,c,[1,0,0,0,0,0],r,8),trans(e,[1,0,0,0,0,0],r,f,[1,0,0,0,1,0],r,3),trans(e,[1,0,0,0,1,0],r,f,[1,0,1,0,1,0],r,7),trans(a,[0,1,1,1,1,0],l,f,[1,0,1,0,1,0],r,22),trans(b,[0,1,0,1,0,1],l,b,[0,1,0,1,0,1],l,1),trans(b,[1,1,0,1,0,1],l,c,[1,1,0,1,0,1],l,1),trans(c,[1,1,0,1,0,1],l,f,[1,1,1,1,0,1],l,5),trans(d,[0,1,0,1,0,1],r,z,[1,0,1,0,1,0],r,1)]