Checkers for a set of ACM problems