Brattleship solutions

Brattleship was solved using MATLAB by 3 contestants. Solution sizes: average 709 bytes (shortest: 687; longest: 745).