Up and Down solutions

Up and Down was solved using C by 25 contestants. Solution sizes: average 987 bytes (shortest: 462; longest: 1945).

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