《表1 各变量得分：基于子句长度的分支策略》

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

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

《基于子句长度的分支策略》

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

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

子句的平均长度为avg（C）=2.63（保留两位小数），含有变量x1的子句有C1、C2、C4，则x1得分通过以下方式计算S（x1）=t1+t2+t4=1.3+0.87+1.3=3.47，通过各个变量得分通过以上方式计算，得到表1。其中S1:表示通过VSIDS策略计算方式的变量得分；S为通过上面介绍的计算方式的变量得分。