表2
AdaptBranchLVO与已有自适应分支算法对比结果"
问题实例 | 技术指标 | H1 | H2 | | | | | | |
composed-25-10-20-1 | CPU | 78 | 78 | 94 | 93 | 15 | 31 | 15 | 16 |
| #ccks | 75 714 | 78 512 | 78 948 | 78 721 | 20 465 | 20 773 | 19 924 | 20 465 |
#nodes | 688 | 670 | 657 | 646 | 129 | 130 | 123 | 129 |
composed-25-10-20-3 | CPU | 93 | 125 | 110 | 78 | 15 | 32 | 16 | 16 |
| #ccks | 85 757 | 85 212 | 87 722 | 80 270 | 23 259 | 22 723 | 22 494 | 23 259 |
#nodes | 813 | 765 | 800 | 727 | 147 | 142 | 138 | 147 |
bqwh-15-106-3 | CPU | 938 | 969 | 938 | 953 | 47 | 47 | 63 | 47 |
| #ccks | 575 169 | 565 715 | 601 714 | 575 169 | 22 895 | 22 897 | 22 897 | 22 895 |
#nodes | 6 533 | 6 784 | 6 492 | 6 533 | 394 | 394 | 388 | 394 |
driverlogw-08c-sat_ext | CPU | 20 078 | 19 453 | 20 266 | 20 750 | 18 828 | 18 188 | 18 828 | 19 109 |
| #ccks | 570 795 | 570 795 | 570 767 | 570 795 | 586 193 | 586 193 | 586 165 | 586 193 |
#nodes | 3 749 | 3 749 | 3 728 | 3 749 | 3 901 | 3 901 | 3 881 | 3 901 |
scen10_w1_f3 | CPU | 203 | 250 | 266 | 203 | 172 | 172 | 203 | 188 |
| #ccks | 80 739 | 86 889 | 87 405 | 80 739 | 83 032 | 83 715 | 84 458 | 83 032 |
#nodes | 142 | 206 | 209 | 142 | 129 | 131 | 136 | 129 |
scen9_w1_f3 | CPU | 203 | 250 | 265 | 234 | 187 | 172 | 203 | 188 |
| #ccks | 80 739 | 86 889 | 87 405 | 80 739 | 83 032 | 83 715 | 84 458 | 83 032 |
#nodes | 142 | 206 | 209 | 142 | 129 | 131 | 136 | 129 |