Osmos was solved using GAP by 1 contestant. Solution sizes: average 1166 bytes (shortest: 1133; longest: 1199).