Machine 56 Results
Multiple regressors found
Multiple regressors found
Multiple regressors found
Final configuration is 00{10}^(digits(10))110011{z}{01}^(3){l}1011 Ones: (10 digits) Hops: (20 digits) Steps: 5817 Otters: 215 Otter Steps: (20 digits)
Final configuration is 00{10}^(1109){d}{10}^(357){l}{11}^(1115)01110110 Ones: 3701 Hops: 19943326 Steps: 5000000 Otters: 0 Otter Steps: 0
Multiple regressors found
Final configuration is {01}^(2949){e}{11}^(3){l}01110110 Ones: 2960 Hops: 29765228 Steps: 1445 Otters: 52 Otter Steps: 29646406
Machine 56: [t(a,0,1,r,b),t(a,1,0,l,b),t(b,0,1,l,a),t(b,1,1,l,c),t(c,0,1,l,b),t(c,1,0,r,d),t(d,0,1,r,z),t(d,1,1,r,e),t(e,0,1,r,f),t(e,1,0,r,a),t(f,0,0,r,c),t(f,1,1,l,c)]
String format: 621rb0lb1la1lc1lb0rd1rz1re1rf0ra0rc1lc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #d
Table:
Status: halts
Final Configuration: 00{10}^(digits(10))110011{z}{01}^(3){l}1011
Ones: 5234513991
Hops: 93943325529148987897
Steps: 5817
Otters: 215
OtterSteps: 93943325339193543656
Otter Time: 1.108022
OtterLess Hops: 19943326
OtterLess Time: 77.259563
OtterExtra Hops: 29765228
OtterExtra Time: 0.260006
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[0,1],l,3),trans(b,[0,0],r,e,[0,1],r,5),trans(e,[0,1],l,e,[0,1],r,4),trans(e,[0,0],l,c,[1,0],r,2),trans(c,[0,0],l,b,[1,0],l,1),trans(b,[1,0],r,b,[0,1],l,2),trans(b,[0,1],r,b,[1,1],l,2),trans(e,[1,1],l,a,[1,0],l,3),trans(a,[0,1],r,a,[1,0],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,0],l,c,[1,0],l,1),trans(c,[0,1],r,d,[0,0],r,1),trans(d,[1,0],l,f,[1,1],r,2),trans(f,[1,0],l,c,[1,0],l,1),trans(c,[1,1],r,d,[1,0],r,1),trans(f,[1,1],l,c,[1,1],l,1),trans(d,[1,1],l,a,[1,0],r,2),trans(a,[0,1],l,e,[0,1],r,4),trans(e,[1,0],l,b,[0,1],r,2),trans(b,[0,0],l,a,[1,0],l,1),trans(a,[1,0],r,b,[1,1],r,1),trans(f,[0,0],l,a,[1,1],l,3),trans(a,[1,1],r,c,[1,0],l,2),trans(c,[1,0],r,c,[1,1],l,2),trans(c,[0,0],r,a,[1,1],l,2),trans(b,[1,1],l,c,[1,1],l,1),trans(a,[1,1],l,b,[0,1],l,1),trans(f,[0,1],l,d,[0,0],r,2),trans(a,[1,0],l,b,[0,0],l,1),trans(c,[1,1],l,e,[0,1],r,2),trans(d,[0,1],l,z,[1,1],r,1)]