《表1 实际公式为基础的实验结果》

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

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

《一种快速低内存消耗的SMT全解求解器》

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

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

实验执行环境说明：4核Intel i7 CPU，8 GB主内存和250 GB固态硬盘电脑。使用本文提出的求解器解决SMT库[7]的工业类别中的8个基准，表明所有公式都是由实际应用生成的。表1列出了每个测试公式的名称、文件大小和变量数量。将求解每个公式的时间预算设置为3 h，因此测试时间为168 h（即120=5×8×3 h），以获得如表1所示的结果。