Erdős–Szekeres solutions

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

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