Erdős–Szekeres solutions

Erdős–Szekeres was solved using Python by 15 contestants. Solution sizes: average 1720 bytes (shortest: 1159; longest: 3521).

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