Machine 96 Results

Final configuration is 130111{z}{24}^(2){l}22{42}^(digits(822)) Ones: (822 digits) Hops: (1644 digits) Steps: 139554 Otters: 2733 Otter Steps: (1644 digits)

Final configuration is 130154{13}^(2){40}^(1355)4310{40}^(222661)13{15}^(253724){a}00{l} Ones: 731478 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 130154{13}^(2){40}^(1355)431040{a}31{r}{42}^(699045) Ones: 1399460 Hops: (13 digits) Steps: 1321 Otters: 23 Otter Steps: (13 digits)

Machine 96: [t(a,0,1,r,b),t(a,1,2,l,b),t(a,2,4,r,b),t(a,3,1,l,a),t(a,4,1,r,b),t(a,5,1,r,z),t(b,0,1,l,a),t(b,1,3,r,a),t(b,2,5,r,a),t(b,3,4,l,b),t(b,4,0,r,a),t(b,5,4,l,a)]
String format: 261rb2lb4rb1la1rb1rz1la3ra5ra4lb0ra4la
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #e
Table:
 012345
a1 r b2 l b4 r b1 l a1 r b1 r z
b1 l a3 r a5 r a4 l b0 r a4 l a
Status: halts
Final Configuration: 130111{z}{24}^(2){l}22{42}^(digits(822))
Ones: 864623229300230843108198071819143073764757528341277026115108471243184889166496766625274124961355639188743817707823135926206982393420124991611237030683153574951181910511973705084742864911599885505278746316080355277194500841593335659025865385129972756361980002701642762029220823337069039850512018333794201781387430439505380772565247156267830466517679554204665421717919567463259570224218165350894260926291532539948153071439860287643516330351348258075160172954841135254474048064853744984585541967079940935462464570638890986897248307242351057381811720128629518491691609793969643529037900115302064460039636257446725528565349567783477742602660837580795390781188551160166064325137085742349742472626279515802519185627332635670855668061109435338148497661058977503567137671973879818201209050468005607029458162656455135671033911399773
Hops: 498382219097039708744895857072761481694078827337584685356687420448332926710643820393006916286363038944466071663490688297995658567481472069553198172228947815428301667993480322304218400386606460224575461608813322457086440421406001495331196829541219129874758648096305093987537928800429623411019699851022711835689565058580363004208857056681183343593342710696330559423687890553025645949552828986608739535239174531921729073038115793596109661287783747224532377495959889624975255389435137181555988083053774989659360692933119571794958097317883592195362118963459537160317454690666034473860172456199062556061403882272828651690555754937357892141866509591085353753473591789368679749142607841998063323446457275060679031354630747476810594358607894473482672656481048086715855387164434043278442857804536783391661450148789025729939616040990359395867776823788918249076649801117648178855252460634902183723201304970563914367027550333735876954191402446312352520391274745526468260677187112845453197408867498186365441016552472305567191131762547719600379220063408470717951567584643464769233806691171059029852547552679318972518155674668232884453031334481622184990173800385579219587540443026002901828446175980957800649533168907712392311785711953739681702412899216038246094354084122512959168526509272014381065262782609843269722878459001904856086899807637193659060512872379641484974106856026734350582940971609482041974842537244041314359598557300896168245736330971240685648549897274058712750286853213097318763315257208942987291421073389974509698540296329674880978772603502595013151500347433140004692865637269918847697225035836195256417832369682969833563089408793641493474827
Steps: 139554
Otters: 2733
OtterSteps: 498382219097039708744895857072761481694078827337584685356687420448332926710643820393006916286363038944466071663490688297995658567481472069553198172228947815428301667993480322304218400386606460224575461608813322457086440421406001495331196829541219129874758648096305093987537928800429623411019699851022711835689565058580363004208857056681183343593342710696330559423687890553025645949552828986608739535239174531921729073038115793596109661287783747224532377495959889624975255389435137181555988083053774989659360692933119571794958097317883592195362118963459537160317454690666034473860172456199062556061403882272828651690555754937357892141866509591085353753473591789368679749142607841998063323446457275060679031354630747476810594358607894473482672656481048086715855387164434043278442857804536783391661450148789025729939616040979119293886873822828511674143000941158706330986815859295405773597039901411399456400898986709238253644737732816110651753350583974412006635786241031446572200934502133349709782850450815061716392620193924017491334601459879959777238204017307214762544160858465318994731191646299448269136258156611576646113706711323585589276603850342231006556058646961273067623785525498624846272510794494797556162224086561697891779393573226109527910614718410218391641171532189765968130504474447218426624193659389859284047667646625154240754930042715413490823543110063181988910757231217491114653237171366548612860671719320380896898928899099891141267364686620224121861736513132941867598233098372716205176770526737830368064834863580261725654508882378910218728840951502670410926158090897129112036787399220477600333759478300013719029172645070200645131898
Otter Time: 31.661165
OtterLess Hops: 454537723352
OtterLess Time: 77.378737
OtterExtra Hops: 1303117435745
OtterExtra Time: 0.257026
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[2,1],l,3),trans(b,[0,0],r,a,[1,3],r,3),trans(a,[2,1],l,a,[4,3],r,2),trans(b,[4,3],r,b,[0,1],r,3),trans(b,[2,1],l,a,[4,2],l,3),trans(a,[0,1],r,a,[1,2],l,2),trans(a,[1,3],r,b,[2,1],l,2),trans(a,[1,2],l,b,[2,2],l,1),trans(b,[2,2],l,b,[5,4],r,2),trans(b,[4,2],l,b,[0,4],r,2),trans(b,[0,0],l,a,[1,0],l,1),trans(a,[0,4],r,b,[0,1],r,1),trans(b,[1,0],l,b,[3,1],r,2),trans(a,[3,1],r,b,[4,2],l,2),trans(b,[0,1],r,a,[0,3],r,1),trans(a,[4,2],l,a,[1,5],r,2),trans(a,[1,0],l,b,[2,0],l,1),trans(b,[1,5],r,b,[2,4],l,2),trans(b,[0,3],r,a,[1,4],l,2),trans(a,[5,4],r,b,[5,1],r,1),trans(b,[1,4],l,b,[3,1],r,2),trans(b,[2,4],l,b,[5,1],r,2),trans(b,[2,0],l,b,[5,1],r,2),trans(a,[5,1],r,a,[4,2],l,2),trans(b,[5,1],r,a,[5,3],r,1),trans(b,[5,3],r,a,[4,4],l,2),trans(b,[4,4],l,b,[0,1],r,2),trans(b,[1,2],l,b,[3,4],r,2),trans(b,[0,4],r,a,[0,0],r,1),trans(a,[2,4],l,a,[4,0],r,2),trans(a,[2,0],l,a,[1,3],r,4),trans(b,[1,3],r,b,[3,1],r,3),trans(b,[4,0],r,a,[1,3],r,3),trans(a,[1,4],l,b,[2,4],l,1),trans(b,[3,4],r,a,[3,0],r,1),trans(b,[3,0],r,a,[1,1],l,2),trans(b,[1,1],l,b,[4,2],l,3),trans(a,[4,0],r,b,[4,1],r,1),trans(a,[3,4],r,b,[3,1],r,1),trans(b,[3,1],r,a,[3,3],r,1),trans(b,[3,3],r,b,[4,4],l,2),trans(b,[4,1],r,a,[4,3],r,1),trans(a,[4,4],l,a,[1,0],r,2),trans(b,[1,0],r,b,[2,1],l,2),trans(b,[5,4],r,a,[5,0],r,1),trans(b,[5,0],r,z,[1,1],r,2)]