Up and Down solutions

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

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