Brattleship solutions

Brattleship was solved using Lisp by 6 contestants. Solution sizes: average 993 bytes (shortest: 163; longest: 3462).