The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four ATP systems and system variants competed in the various competition divisions. Thispaper presents an outline of the competition design, and a commentated summary of the results.

中文翻译：

---

第十届IJCAR自动定理证明系统竞赛– CASC-J10

CADE ATP系统竞赛（CASC）是对全自动经典逻辑自动定理证明（ATP）系统的年度评估。CASC-J10是CASC系列比赛中的第二十五届比赛。24个ATP系统和系统变型在各个比赛部门中进行了比赛。本文介绍了比赛设计的大纲，并提供了评论结果摘要。