Bot Trust was solved using Boo by 1 contestant. Solution sizes: average 1735 bytes (shortest: 1686; longest: 1784).