Mousetrap solutions

Mousetrap was solved using C by 23 contestants. Solution sizes: average 1136 bytes (shortest: 440; longest: 2339).

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