Brattleship solutions

Brattleship was solved using F# by 7 contestants. Solution sizes: average 1240 bytes (shortest: 838; longest: 1654).