《表8 不同参数求解实例的个数》
提示：宽带有限、当前游客访问压缩模式
为了验证参数设置的合理性，我们在求解器Glucose3.0＿DDIDT中设置不同的min，max和threshold参数值进行测试.测试实例来源于2015年SAT竞赛Application类型Main Track组，共300个.限定测试时间为3600s.测试结果如表8所示.
| 图表编号 | XD00102897100 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.10.01 |
| 作者 | 常文静、徐扬 |
| 绘制单位 | 西南交通大学信息科学与技术学院、系统可信性自动验证国家地方联合工程实验室、西南交通大学数学学院、系统可信性自动验证国家地方联合工程实验室 |
| 更多格式 | 高清、无水印（增值服务） |
