Brattleship solutions

Brattleship was solved using Racket by 2 contestants. Solution sizes: average 456 bytes (shortest: 408; longest: 480).