Auto Judge for UTACM's Programming Contests