Machine 59 Results
Final configuration is 1001{z}{0101}^(digits(14)){l} Ones: (14 digits) Hops: (28 digits) Steps: 12634 Otters: 408 Otter Steps: (28 digits)
Final configuration is 0011{1111}^(826){c}1110{r}0010{1010}^(275){1111}^(715)1101 Ones: 6723 Hops: 39848493 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is {1111}^(2054){b}{1111}^(2){l}1101 Ones: 8227 Hops: 57854154 Steps: 2499 Otters: 79 Otter Steps: 57652296
Machine 59: [t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,d),t(c,0,1,r,d),t(c,1,1,l,c),t(d,0,1,r,e),t(d,1,1,l,f),t(e,0,0,r,a),t(e,1,1,r,b),t(f,0,1,r,z),t(f,1,0,l,d)]
String format: 621rb0lc1la1rd1rd1lc1re1lf0ra1rb1rz0ld
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html new 6-state list #i
Table:
Status: halts
Final Configuration: 1001{z}{0101}^(digits(14)){l}
Ones: 40740206640846
Hops: 5690620927332136555840780353
Steps: 12634
Otters: 408
OtterSteps: 5690620927329655997869982752
Otter Time: 2.246045
OtterLess Hops: 39848493
OtterLess Time: 79.987611
OtterExtra Hops: 57854154
OtterExtra Time: 0.420008
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,c,[0,1,0,0],l,3),trans(c,[0,0,0,0],r,d,[0,0,0,1],r,1),trans(d,[0,1,0,0],l,c,[1,0,1,0],l,5),trans(c,[0,0,0,1],r,e,[0,1,1,1],r,9),trans(e,[1,0,1,0],l,c,[0,1,1,0],l,3),trans(c,[0,1,1,1],r,d,[0,1,1,1],l,6),trans(d,[0,0,0,0],r,e,[0,0,0,1],r,1),trans(e,[0,1,1,1],l,d,[1,1,1,1],r,6),trans(d,[0,1,1,0],l,e,[1,1,1,1],r,4),trans(e,[0,0,0,0],l,c,[1,1,0,1],l,11),trans(c,[1,1,1,1],r,c,[1,1,1,1],l,4),trans(e,[1,1,1,1],l,f,[1,0,1,1],l,5),trans(f,[0,1,1,1],r,a,[1,1,1,0],r,9),trans(a,[1,0,1,1],l,c,[0,0,1,1],l,1),trans(c,[1,1,1,0],r,d,[1,1,1,1],r,1),trans(d,[0,0,1,1],l,b,[1,1,1,1],r,6),trans(b,[1,1,1,1],l,d,[0,1,1,1],l,3),trans(d,[1,1,1,1],r,d,[0,1,0,1],l,4),trans(e,[0,1,0,1],l,e,[1,1,1,1],r,8),trans(d,[1,1,0,1],l,f,[1,1,0,1],l,1),trans(f,[1,1,1,1],r,f,[1,0,1,0],l,4),trans(f,[0,0,0,1],r,a,[0,0,1,0],r,3),trans(a,[1,0,1,0],l,c,[0,0,1,0],l,1),trans(c,[0,0,1,0],r,d,[0,0,1,1],r,1),trans(d,[0,0,1,0],l,a,[1,1,1,0],r,6),trans(a,[1,1,0,1],l,c,[0,1,0,1],l,1),trans(d,[0,1,0,1],l,c,[1,0,1,1],l,5),trans(c,[0,0,1,1],r,b,[1,1,1,1],r,11),trans(d,[1,1,1,1],l,f,[1,1,1,1],l,1),trans(a,[1,1,1,1],l,c,[0,1,1,1],l,1),trans(d,[0,1,1,1],l,d,[0,1,0,1],l,7),trans(d,[0,0,1,1],r,e,[0,1,1,1],r,7),trans(b,[1,0,1,1],l,d,[1,1,1,1],r,4),trans(d,[0,0,0,0],l,b,[1,1,1,1],r,8),trans(b,[0,0,0,0],l,a,[1,0,0,0],l,1),trans(a,[1,1,1,1],r,c,[1,1,1,0],l,4),trans(d,[1,1,1,0],l,f,[1,1,1,0],l,1),trans(a,[1,1,1,0],l,c,[0,1,1,0],l,1),trans(e,[1,0,0,0],l,c,[0,1,0,0],l,3),trans(b,[0,1,0,0],l,a,[1,1,0,0],l,1),trans(e,[1,1,0,0],l,a,[1,1,1,0],r,4),trans(b,[1,0,1,0],l,c,[1,1,0,1],l,7),trans(e,[1,1,0,1],l,b,[1,1,1,1],r,4),trans(d,[1,0,1,0],l,f,[1,0,1,0],l,1),trans(b,[1,1,0,1],l,d,[0,1,0,1],l,3),trans(e,[1,0,1,1],l,c,[0,1,1,1],l,3),trans(e,[1,1,1,0],l,f,[1,0,1,0],l,5),trans(a,[1,0,0,0],l,c,[0,0,0,0],l,1),trans(b,[1,1,1,0],l,d,[0,1,1,0],l,3),trans(e,[0,1,1,0],l,c,[1,1,0,1],l,9),trans(d,[1,0,1,1],l,f,[1,0,1,1],l,1),trans(b,[1,0,0,0],l,b,[1,1,0,1],r,4),trans(a,[1,1,0,1],r,e,[1,1,1,1],r,3),trans(e,[0,1,0,0],l,b,[1,1,0,1],r,6),trans(b,[0,1,1,1],l,a,[1,1,1,1],l,1),trans(d,[0,0,0,1],r,z,[1,0,0,1],r,2)]