Saving the Universe solutions

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

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