Saving the Universe solutions

Saving the Universe was solved using OCaml by 25 contestants. Solution sizes: average 32936 bytes (shortest: 734; longest: 94723).

The list below is sorted by ranking. You can also sort by solution size.