《表4 2018和2017年全部竞赛基准例的结果对比》

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

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

《基于参与冲突分析次数的动态学习子句评估策略》

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

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

将M+act+keep0.01作为动态评估策略的自适应范围内调整后的最优求解器，与原版求解器M+act同时在限定时间内求解2018年（400个）和2017年（350个） SAT国际竞赛全部基准测试例，得到结果如表4所示，其对应的求解时间曲线如图8所示。不管是可满足问题、不可满足问题亦或全部问题，改进后的求解器均比原版求解器能求解出更多的测试例。在可满足问题和不可满足问题的平均求解时间增加的基础上，总的平均求解时间减少说明动态评估策略能求解出更多不易求解的问题（求解时间长的问题）。