Elimination on RoboRanker. A high-performance competition management system for robotics leagues, handling .