《表7 GTMini SAT和Mini SAT求解器的对比实验(共同求解算例)》

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

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

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

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

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

为了验证GTMini SAT求解器的有效性，再次对GTMiniSAT求解器和MiniSAT求解器在共同求解出的114个算例中做出数据统计，如表7所示．从表7可知，GTMiniSAT求解器的求解效率也远超过MiniSAT求解器，其求解效率提高了35.76%.