Saving the Universe solutions

Saving the Universe was solved using Lisp by 14 contestants. Solution sizes: average 1713 bytes (shortest: 585; longest: 3355).

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