《表1 Glucose 4.1和BJL(α)-Glucose的对比》

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

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

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

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

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

为了更全面评估各个求解器的求解效率，进一步引入了图3。图3所示为Glucose 4.1与改进后的BJL（α）-Glucose在总体350个SAT竞赛实例上的运行时间比较，x轴表示求解的实例个数，y轴表示每个实例求解的时间，图中每一个点都代表一个SAT竞赛实例。图像越接近于x轴，表示求解器求解该实例所需的时间也就越短。从图1中可以清晰地看到，改进的五个求解器在求解单个实例方面，求解性能有显著的提升，且差异明显，特别是对于通常需要较多求解时间的复杂实例，BJL（α）-Glucose的求解时间明显减少。