系统可信性自动验证国家地方联合工程实验室在自动推理和SAT问题求解领域处于国际前列水平。

在第23届国际自动定理证明器竞赛（ATP System Competition, CASC-J9），团队提交的一阶逻辑自动定理证明器获得FOF(FirstOderFormula)组亚军，取得我国在该领域的历史性突破，填补了国内在该领域的空白。

国际CASC竞赛是自动定理证明器领域的最顶级赛事，本次FOF组参赛证明器有13个，参赛单位包括英国曼彻斯特大学、德国斯图加特DHBW大学、美国爱荷华州大学、挪威奥斯陆大学、中国西南交通大学、美国新墨西哥州大学、瑞典查尔莫斯理工大学等。