Machine 84 Results

Multiple regressors found Multiple regressors found Final configuration is 00{10}^(digits(810))1110{z}22{l}00{10}^(2)02 Ones: (810 digits) Hops: (1619 digits) Steps: 924926 Otters: 34272 Otter Steps: (1619 digits)

Final configuration is 00{10}^(500){d}12{r}21{01}^(673){02}^(362)1002 Ones: 1541 Hops: 6264241 Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 0012{c}{01}^(1714){l}{02}^(2)1002 Ones: 1720 Hops: 8863780 Steps: 2667 Otters: 94 Otter Steps: 8853456

Machine 84: [t(a,0,1,r,b),t(a,1,2,r,c),t(a,2,1,r,a),t(b,0,2,l,c),t(b,1,1,l,a),t(b,2,1,l,b),t(c,0,2,l,d),t(c,1,0,l,b),t(c,2,0,r,c),t(d,0,0,r,d),t(d,1,1,r,z),t(d,2,0,r,a)]
String format: 431rb2rc1ra2lc1la1lb2ld0lb0rc0rd1rz0ra
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #c
Table:
 012
a1 r b2 r c1 r a
b2 l c1 l a1 l b
c2 l d0 l b0 r c
d0 r d1 r z0 r a
Status: halts
Final Configuration: 00{10}^(digits(810))1110{z}22{l}00{10}^(2)02
Ones: 161096978166229402007106059065682943379903693210826882239982948203079420731953511390851079317285211442727890587313604237000998523552146117432900964047718808665719298599752067582753889600181504131392596972570599598729140118216519006652053644083952971630561358240993091842657199190134266604469847768392086858437700104041437432543609328670258023512127045045265587881822920893769615644555253158450207665836809744777128607031070384880776303632538631490181128317468412676483410121397802708561271292596619969809642433826363139724908988910925633156865765387376575239017874739971905977828502689230479248288832907937118869951351042427907895721934866515519334627578447955312860727428070717710922440743533532585390412159851832854054842432001679264645908900156200813989264351460176557776828767610482013672310552479931298632
Hops: 77856709122871777991448166120746381802427960068002388338952295226727580440236801143449767230555029103911544691990352473908441642802166279142371378982344946968645340244950774854330442587777734335292171266707104887889737981780586414636017147614221892266176711241990372023353634517560615591407198078300642705140838886346228691757854773171627190238602094954596615072372231664013401774671523902452670155812218247799912934401297468875702507748869535566775681070050326396973586711088183854144997541518772359495664147991881143672858756746291204105644640402758510745064071413795310833159898128773064751301901943509786817391007180647352472324679270651698527443162632442138184718994828782089111755056440343257758813118903952928159469586615762481683247084678749255574178381917754668512200792887061604127377016094425046737767915015404897867330492271200476721613095155531877816137466650300473299638927608754026010827194591207165839148085175834122009579994872744371396035303160687966703030833683054071290526011660532084978665074313362638050656950541892482742741451904759434029436185301335043460379704056129009759764440839337228490124519405218016219172875091326095976794000284849233777628701058813261233292116203547401031424867679993003506201868091711411859262007751541565927281443695910657573520272909109768117135450339002695240359723299256242539252040529405928868652758122971556702432639445914931765633754846995287183567231156576706079646008556308466171004740742837842585063415418553855450074339594659653314075293392465845470828135857066441773867326175657848174418814638882464112683341646017505794562767269779210867490594259979523262
Steps: 924926
Otters: 34272
OtterSteps: 77856709122871777991448166120746381802427960068002388338952295226727580440236801143449767230555029103911544691990352473908441642802166279142371378982344946968645340244950774854330442587777734335292171266707104887889737981780586414636017147614221892266176711241990372023353634517560615591407198078300642705140838886346228691757854773171627190238602094954596615072372231664013401774671523902452670155812218247799912934401297468875702507748869535566775681070050326396973586711088183854144997541518772359495664147991881143672858756746291204105644640402758510745064071413795310833159898128773064751301901943509786817391007180647352472324679270651698527443162632442138184718994828782089111755056440343257758813118903952928159469586615762481683247084678749255574178381917754668512200792887061604127377016094425046737123527102739980259302068034937744948093480382688570287177534857488155616711113563190621693558053745436254276798830758886118015485786288274639792179112285453303825836434674783740274967610934515559408277184030964243134096477675816456134526875568947547507190752337362676089750907295591943341885049765768881056373718989052266488998437776645063882745492104668171426101409375238182770713895190913600200761520441013894991773743810171888754047477597015605202768173822259951639879787317898933872050279952522816001789987993803683639616084885703396241189696573465255746361140486027307854319744090073370190411899524828230599840604386596834588117001276775765246553101626732604007164627311788809624312319258335503909179496449735025554497598168940789590783214014079208155625935805311274687247696827851156178248384340253101192
Otter Time: 167.450528
OtterLess Hops: 6264241
OtterLess Time: 74.348503
OtterExtra Hops: 8863780
OtterExtra Time: 0.445009
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[0,2],l,3),trans(b,[0,0],r,d,[2,2],l,2),trans(d,[0,0],r,d,[0,0],r,1),trans(d,[2,2],l,a,[0,1],r,2),trans(a,[0,2],l,a,[1,1],l,3),trans(a,[0,1],r,c,[0,2],r,1),trans(c,[1,1],l,b,[0,1],l,1),trans(b,[0,2],r,c,[2,1],l,2),trans(c,[0,0],r,a,[0,0],r,3),trans(a,[2,1],l,c,[1,2],r,2),trans(c,[0,1],l,d,[2,1],l,1),trans(d,[1,2],r,a,[1,0],r,1),trans(c,[0,0],l,d,[2,0],l,1),trans(a,[2,0],l,b,[1,1],r,2),trans(b,[0,0],l,c,[2,0],l,1),trans(c,[1,1],r,a,[1,0],l,2),trans(a,[1,0],r,b,[1,1],r,1),trans(b,[1,0],l,a,[1,0],l,1),trans(a,[1,1],r,c,[1,2],r,1),trans(c,[1,0],l,b,[0,0],l,1),trans(b,[1,2],r,a,[1,1],l,2),trans(b,[1,1],l,a,[1,1],l,1),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,0],l,b,[1,0],l,1),trans(b,[1,1],r,b,[1,0],l,4),trans(b,[1,0],r,b,[0,2],l,2),trans(c,[0,2],l,d,[2,2],l,1),trans(a,[2,2],l,a,[1,1],r,2),trans(a,[1,0],l,a,[0,1],r,4),trans(b,[0,1],r,b,[1,0],l,6),trans(c,[0,1],r,c,[2,0],l,2),trans(b,[2,1],l,b,[1,1],l,1),trans(b,[0,2],l,c,[2,2],l,1),trans(b,[2,2],l,b,[1,2],l,1),trans(b,[1,2],l,a,[1,2],l,1),trans(c,[1,2],l,b,[0,2],l,1),trans(a,[1,2],l,c,[2,0],r,2),trans(d,[2,0],r,d,[2,0],r,1),trans(d,[2,0],l,b,[0,1],r,2),trans(c,[2,0],r,a,[0,1],r,3),trans(a,[1,1],l,b,[1,0],l,3),trans(b,[0,1],l,c,[2,1],l,1),trans(a,[0,1],l,b,[1,0],l,5),trans(b,[2,0],r,c,[0,0],r,3),trans(c,[2,0],l,a,[0,0],r,4),trans(d,[0,1],r,z,[1,0],r,1)]