Brattleship solutions

Brattleship was solved using R by 2 contestants. Solution sizes: average 604 bytes (shortest: 417; longest: 792).