《表1 1 不同求解器的求解实例个数》

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

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

《一种基于识别重复路径的动态决策策略》

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

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

为了更好的评估算法DDIDT对求解过程的综合作用，我们在不同的求解器中实现了算法DDIDT，其中，实例来自于2015到2017年的SAT竞赛的Application类型Main Track组，共950个，测试时间限定为3600s.首先在求解器Glucose3.0中实现算法DDIDT，形成Glucose3.0＿DDIDT求解器.Glucose3.0中完全基于CDCL算法框架，因未集成较多的优化方法而广泛被用于算法改进的比较.在近几年的SAT竞赛中，专设一组基于Glucose3.0改进版本的求解器竞赛.表10列举了两种求解器求解实例的个数.