《表6 GTMiniSAT和Mini SAT求解器的对比实验结果》

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

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

《基于重启策略的学习子句优化方法》

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

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

虽然GTMini SAT求解器平均求解时间并没有胜过Mini SAT求解器，但是通过统计实验结果，在这72个算例中，MiniSAT求解器的平均求解时间为136.56 s，而GTMiniSAT求解器的平均求解时间为44.44 s.表6中统计了所有问题的求解个数和平均求解时间，数据表明:GTMini SAT求解器的效率远高于MiniSAT求解器，其求解效率提高了67.45%.