Machine 94 Results
Final configuration is 12{22}^(7912)11{z}00{l} Ones: 15828 Hops: 493600387 Steps: 1263 Otters: 15 Otter Steps: 492945078
Final configuration is 12{22}^(7912)11{z}00{l} Ones: 15828 Hops: 493600387 Steps: 196170 Otters: 0 Otter Steps: 0
Machine 94: [t(a,0,1,r,b),t(a,1,4,l,a),t(a,2,1,r,a),t(a,3,5,l,b),t(a,4,1,r,a),t(a,5,3,l,b),t(b,0,1,l,b),t(b,1,1,l,a),t(b,2,5,l,a),t(b,3,2,l,a),t(b,4,2,r,b),t(b,5,1,r,z)]
String format: 261rb4la1ra5lb1ra3lb1lb1la5la2la2rb1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #c
Table:
Status: halts
Final Configuration: 12{22}^(7912)11{z}00{l}
Ones: 15828
Hops: 493600387
Steps: 1263
Otters: 15
OtterSteps: 492945078
Otter Time: 0.250005
OtterLess Hops: 493600387
OtterLess Time: 2.825056
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,a,[1,1],l,3),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,1],l,a,[1,1],l,1),trans(a,[0,1],r,b,[1,2],r,3),trans(a,[1,2],r,a,[1,1],r,1),trans(a,[1,1],l,a,[4,1],l,1),trans(a,[1,1],r,a,[4,4],l,2),trans(b,[4,4],l,b,[2,2],r,2),trans(b,[4,1],l,a,[4,4],l,5),trans(a,[2,2],r,a,[2,1],r,1),trans(a,[4,4],l,a,[1,1],r,2),trans(a,[2,1],r,a,[1,1],r,3),trans(a,[4,1],l,a,[4,4],l,3),trans(b,[0,0],l,b,[1,0],l,1),trans(b,[2,2],r,a,[1,3],l,4),trans(a,[1,3],l,a,[4,3],l,1),trans(a,[4,3],l,a,[1,5],l,3),trans(a,[1,5],l,a,[4,5],l,1),trans(a,[4,5],l,a,[1,3],l,3),trans(b,[1,5],l,a,[1,5],l,1),trans(b,[4,3],l,a,[1,1],r,4),trans(a,[1,0],l,a,[4,0],l,1),trans(a,[4,0],l,b,[1,1],r,2),trans(b,[1,1],r,a,[4,1],l,2),trans(b,[1,0],l,a,[1,0],l,1),trans(b,[4,0],l,a,[5,1],l,3),trans(a,[5,1],l,b,[3,1],l,1),trans(b,[2,1],r,a,[4,4],l,4),trans(a,[3,1],l,b,[5,1],l,1),trans(b,[5,1],l,z,[1,1],r,1)]