The judging server for machine learning.