An ICPC-style programming contest system that works