Machine 67 Results
Final configuration is 101{z}{011}^(digits(463)){l}010100 Ones: (463 digits) Hops: (926 digits) Steps: 265475 Otters: 12330 Otter Steps: (926 digits)
Final configuration is 011{111}^(74)110{c}{111}^(467){l}011{111}^(277){101}^(1525)010 Ones: 5511 Hops: 19932648 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 000{c}111{l}110{111}^(1359){101}^(1525)010 Ones: 7133 Hops: 25237532 Steps: 2945 Otters: 120 Otter Steps: 25166556
Machine 67: [t(a,0,1,r,b),t(a,1,0,l,b),t(b,0,0,r,c),t(b,1,1,l,b),t(c,0,1,r,d),t(c,1,0,l,a),t(d,0,1,l,e),t(d,1,1,l,f),t(e,0,1,l,a),t(e,1,0,l,d),t(f,0,1,r,z),t(f,1,1,l,e)]
String format: 621rb0lb0rc1lb1rd0la1le1lf1la0ld1rz1le
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #r
Table:
Status: halts
Final Configuration: 101{z}{011}^(digits(463)){l}010100
Ones: 6427499805122753569546977616075504301098915327855170536959133437507353044244808535117560064286256132435863376749034679434299778610119888866585634634375399070547235571684333932722085541113817332471588115033034186820259588954412264291897032325598687906660841710246135140345262280750979809098117770580762320987650584291257578514811285364167355866881545567602402649906379422604391016484040170146329000486028016658647567729882589366735582198403287964952012694238177960
Hops: 61969130617279552670501360355248793287327735214537549191055852291063506463969175741198251141686596344014145682719792186069232315675093835964404113836661678944342524156868698654336531743883217356802610835275112665543783259093590451498416899940069571118519560309810878855927741351872821115400653968844005454219661264208573704707268070188393175469306587396780269253496580795490001110788573211530561840550121964226728857241663093342609533141900998046213816438484306270817017360536821107171679571822845135004532192309817449077114406469994876809676351725431694022547393420051758932842013653608902827816704971673972835153235718518861299352034588843419386337260004783558196143727964210676956034139940529571328101348785404582421450663556331420694345907685820982825565735764474693206456705908967789838591938166473677106519225840131946676547993275187162640707027514176923887087198763458715992600276829587319770232224396046057929934270855
Steps: 265475
Otters: 12330
OtterSteps: 61969130617279552670501360355248793287327735214537549191055852291063506463969175741198251141686596344014145682719792186069232315675093835964404113836661678944342524156868698654336531743883217356802610835275112665543783259093590451498416899940069571118519560309810878855927741351872821115400653968844005454219661264208573704707268070188393175469306587396780269253496580795490001110788573211530561840550121964226728857241663093342609533141900998046213816438484306196900769601625155057381436986954545672367005921975356274047079875135434867994378197873490954730601870407622926318943200159161448811437983005939174539836146407225652224982194362539435663528360681360294873263834815777691683058398901172755456356963874477982741782833002217450178117271418016354471204056997783335224737356446814869508810250241881207968745198412501472753184633324690473074245070831393418297765007189011687098950499112128124488594412799097911946194564732
Otter Time: 52.018051
OtterLess Hops: 19932648
OtterLess Time: 73.937683
OtterExtra Hops: 25237532
OtterExtra Time: 0.540011
Macro Size: 3
Macro Machine: [trans(a,[0,0,0],l,d,[1,0,1],r,3),trans(d,[0,0,0],l,e,[1,0,0],l,1),trans(e,[1,0,1],r,d,[0,1,0],l,3),trans(d,[0,0,0],r,b,[1,1,1],l,5),trans(b,[0,0,0],r,c,[0,0,0],r,1),trans(c,[1,1,1],l,a,[0,1,1],l,1),trans(a,[0,0,0],r,b,[0,0,1],r,1),trans(b,[0,1,1],l,c,[1,1,0],r,7),trans(c,[0,1,0],l,e,[1,1,0],l,3),trans(e,[1,1,0],r,b,[1,0,1],l,3),trans(b,[0,0,1],r,c,[0,1,0],r,5),trans(c,[1,0,1],l,a,[0,0,1],l,1),trans(a,[0,1,0],r,b,[0,1,1],r,1),trans(b,[0,0,1],l,a,[1,1,1],l,5),trans(a,[0,1,1],r,d,[1,0,1],r,7),trans(d,[1,1,1],l,f,[1,1,1],l,1),trans(f,[1,0,1],r,b,[0,1,1],l,3),trans(c,[0,1,1],l,e,[1,1,1],l,3),trans(e,[0,0,0],r,c,[1,1,0],r,11),trans(a,[1,1,0],r,b,[1,1,1],r,1),trans(c,[1,1,0],l,a,[0,1,0],l,1),trans(b,[0,1,0],l,d,[1,0,1],r,5),trans(d,[1,0,0],l,f,[1,0,0],l,1),trans(b,[1,1,1],r,b,[1,1,1],l,3),trans(a,[1,1,1],r,b,[1,1,0],l,3),trans(b,[0,1,1],r,c,[1,1,0],r,9),trans(c,[1,0,0],l,a,[0,0,0],l,1),trans(b,[0,0,0],l,e,[1,0,1],l,5),trans(e,[1,1,1],r,e,[1,1,0],l,3),trans(d,[1,1,0],l,f,[1,1,0],l,1),trans(d,[1,0,1],l,f,[1,0,1],l,1),trans(e,[0,1,0],r,a,[1,1,1],l,7),trans(b,[1,1,1],l,b,[1,1,1],l,1),trans(c,[0,0,0],l,d,[0,1,0],l,3),trans(d,[1,1,0],r,f,[1,0,1],l,3),trans(f,[1,1,1],r,f,[1,0,1],l,3),trans(f,[0,1,1],r,e,[1,0,1],l,3),trans(a,[0,0,1],r,d,[0,0,1],r,3),trans(f,[0,0,1],r,b,[1,1,1],l,5),trans(d,[1,1,1],r,d,[0,1,1],l,3),trans(d,[0,0,1],r,z,[1,0,1],r,2)]