Machine 46 Results
Final configuration is {1}^(2){z}1{l}{2}^(digits(12)) Ones: (12 digits) Hops: (22 digits) Steps: 862 Otters: 26 Otter Steps: (22 digits)
Final configuration is 0{3}^(1018191){4}^(345448){a}0{l} Ones: 1363639 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 0{a}3{r}{2}^(2890926) Ones: 2890927 Hops: (13 digits) Steps: 467 Otters: 14 Otter Steps: (13 digits)
Machine 46: [t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,4,r,a),t(a,3,2,l,b),t(a,4,2,l,a),t(b,0,2,l,a),t(b,1,1,l,b),t(b,2,3,r,b),t(b,3,4,r,a),t(b,4,1,r,z)]
String format: 251rb0rb4ra2lb2la2la1lb3rb4ra1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #j
Table:
Status: halts
Final Configuration: {1}^(2){z}1{l}{2}^(digits(12))
Ones: 172312766455
Hops: 7069449877176007352687
Steps: 862
Otters: 26
OtterSteps: 7069449876912466525680
Otter Time: 0.156003
OtterLess Hops: 342250764999
OtterLess Time: 72.709903
OtterExtra Hops: 1989878022934
OtterExtra Time: 0.082008
Macro Size: 1
Macro Machine: [trans(a,[0],l,b,[1],r,1),trans(b,[0],l,a,[2],l,1),trans(a,[1],r,b,[0],r,1),trans(b,[2],l,b,[3],r,1),trans(a,[3],r,b,[2],l,1),trans(b,[0],r,a,[2],l,1),trans(a,[0],r,b,[1],r,1),trans(b,[3],r,a,[4],r,1),trans(a,[2],l,a,[4],r,1),trans(a,[4],r,a,[2],l,1),trans(b,[1],r,b,[1],l,1),trans(b,[1],l,b,[1],l,1),trans(a,[1],l,b,[0],r,1),trans(b,[4],r,z,[1],r,1)]