Brattleship solutions

Brattleship was solved using D by 3 contestants. Solution sizes: average 791 bytes (shortest: 483; longest: 967).