《表3 Maple LCMDist Chrono BT与BJL(α)-Maple的对比》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于回跳层数的SAT求解器学习子句删除策略》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

实验结果对比如表3所示。相对于冠军求解器，在平均求解时间上BJL（α）-Maple版本稍弱于冠军求解器，但在求解个数上，BJL （1.2）-Maple和BJL （1.3）-Maple表现稳定，BJL（1.3）-Maple比原解器多求解一个SAT问题，BJL （1.2）-Maple求解数目与冠军求解器求解数目相同。在实际的SAT竞赛排名中，各个参赛求解器求解出的实例总数相差无几，经常出现求解实例数量相同的情况。在2018年的比赛中，第一名比第二名多求解出3个实例，第二名比第三名多求解出1个实例。BJL（1.3）-Maple与冠军求解器相比，多求解出1个SAT竞赛实例，这具有重要意义，充分说明了BJL策略的能力。