Machine 31 Results

Final configuration is 01{44}^(334208)14{z}20{l} Ones: 668420 Hops: (12 digits) Steps: 1879 Otters: 12 Otter Steps: (12 digits)

Final configuration is 01{44}^(334208)14{z}20{l} Ones: 668420 Hops: (12 digits) Steps: 4010395 Otters: 0 Otter Steps: 0

Machine 31: [t(a,0,1,r,b),t(a,1,2,r,b),t(a,2,3,l,a),t(a,3,2,r,a),t(a,4,3,r,a),t(b,0,2,l,b),t(b,1,2,l,a),t(b,2,3,l,a),t(b,3,4,r,b),t(b,4,1,r,z)]
String format: 251rb2rb3la2ra3ra2lb2la3la4rb1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Lafitte & Papazian #e
Table:
 01234
a1 r b2 r b3 l a2 r a3 r a
b2 l b2 l a3 l a4 r b1 r z
Status: halts
Final Configuration: 01{44}^(334208)14{z}20{l}
Ones: 668420
Hops: 469121946086
Steps: 1879
Otters: 12
OtterSteps: 469097489352
Otter Time: 0.364036
OtterLess Hops: 469121946086
OtterLess Time: 59.307931
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,a,[2,2],l,3),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,2],l,a,[3,2],l,1),trans(a,[0,1],r,b,[0,2],r,1),trans(b,[3,2],l,a,[3,2],r,4),trans(a,[3,2],r,a,[2,2],r,3),trans(a,[2,2],l,a,[3,2],l,1),trans(a,[2,2],r,a,[3,3],l,2),trans(a,[0,2],r,b,[1,4],r,3),trans(b,[3,3],l,b,[4,4],r,2),trans(a,[4,4],r,a,[4,3],r,1),trans(a,[3,3],l,a,[2,2],r,2),trans(a,[3,2],l,a,[3,3],l,3),trans(a,[4,3],r,a,[4,2],r,1),trans(a,[4,2],r,a,[3,2],r,3),trans(a,[1,4],r,a,[1,3],r,1),trans(a,[1,3],r,a,[1,2],r,1),trans(a,[1,2],r,b,[2,4],r,3),trans(a,[2,4],r,a,[2,3],r,1),trans(a,[2,3],r,a,[2,2],r,1),trans(b,[0,0],l,b,[2,0],l,1),trans(b,[4,4],r,z,[1,4],r,1)]