Senate Evacuation solutions

Senate Evacuation was solved using OCaml by 8 contestants. Solution sizes: average 1560 bytes (shortest: 729; longest: 2475).