《表1 uf20随机实例的实验结果》

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

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

《基于格局检测的模型计数方法》

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

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

（s）

对比实验主要记录下迭代法、优化后的增量法与两种完备求解器Cachet和sharpSAT求解同一实例所需的时间以进行性能对比.本文采取了多种测试用例对算法的性能进行了测试，对于每一问题测试用例，均将算法执行50次，最终取平均值作为结果.值得注意的是，本文提出的两种方法是不完备的，但对于在表1～表7中的全部实例，迭代法与增量法求解出的模型数均是精确的.也就是说，实验部分是在求出给定问题的全部模型的前提下，与完备方法进行求解时间的比对.