The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-27 was the twenty-fourth competition in the CASC series. Twenty-five 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.

中文翻译：

---

CADE-27自动定理证明系统竞赛– CASC-27

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