Page 50 - 《软件学报》2021年第6期

1624 Journal of Software 软件学报 Vol.32, No.6, June 2021

Table 3 Results of forward unfolding and reverse unfolding in randomtree under no heuristic strategy
表 3 无启发式策略下正向展开与反向展开在 randomtree 上的实验结果
Unf-bfs Unf-dfs RUnf-bfs RUnf-dfs
测试用例 |T|
|E| 时间(ms) |E| 时间(ms) |E| 时间(ms) |E| 时间(ms)
randomtree100 899 500 64 448 125 36 34 29 42
randomtree125 1 194 318 20 1 291 309 23 25 18 15
randomtree150 1 387 656 98 428 21 38 15 29 18
randomtree175 1 729 1 165 241 1 082 115 42 14 34 17
randomtree200 1 854 886 60 1 721 197 36 5 27 12
randomtree225 2 130 134 3 4 640 2 575 15 3 12 2
randomtree250 2 429 1 278 106 1 125 96 34 44 26 4
randomtree275 2 575 1 390 148 2 309 415 43 8 34 5
randomtree300 2 898 1 690 248 1 231 132 46 7 37 23
randomtree325 3 132 1 359 143 1 238 129 33 22 28 4
randomtree350 3 492 2 128 330 383 20 40 12 31 8
randomtree375 3 615 2 134 404 2 082 361 39 5 31 5
randomtree400 3 712 1 658 206 5 942 7 139 37 4 31 4
randomtree425 4 076 1 166 91 9 642 20 789 38 3 29 4
randomtree450 4 304 2 030 296 2 600 611 45 10 33 17
randomtree475 4 523 613 30 4 801 2 654 25 4 20 2
randomtree500 4 732 1 476 141 2 887 887 34 24 27 5
randomtree525 5 014 1 828 204 5 781 6 730 37 4 30 4
randomtree550 5 160 2 059 308 159 4 38 3 30 18
randomtree575 5 394 1 008 77 8 720 13 284 36 5 27 14
randomtree600 5 739 2 610 483 − − 42 7 32 18
randomtree625 5 835 1 314 123 891 70 29 4 24 7
randomtree650 6 238 2 760 651 9 494 24 708 43 4 31 4
randomtree675 6 423 2 829 630 6 615 10 874 41 4 31 5
randomtree700 6 529 1 427 133 6 257 8 508 34 4 26 5
randomtree725 7 026 4 759 3183 − − 63 8 51 10
randomtree750 7 133 2 853 688 2 061 280 52 9 38 7
randomtree775 7 415 5 005 5 516 2 340 525 63 12 49 9
randomtree800 7 673 294 12 232 7 24 16 20 3
randomtree825 7 689 2 557 665 − − 37 7 29 6
randomtree850 8 030 267 10 5 549 6 056 21 3 15 5
randomtree875 8 224 2 182 373 − − 34 4 25 6
randomtree900 8 402 3 507 1 247 9 323 20 989 34 5 28 8
randomtree925 8 762 5 305 4 789 2 551 442 60 8 47 10
randomtree950 9 135 6 247 7 353 − − 75 10 59 12
randomtree975 9 491 6 274 8 860 5 583 6 217 72 10 52 11
randomtree1000 9 462 6 025 8 618 7 241 12 960 59 7 43 9
Table 4 Results of directed unfolding and reverse unfolding in randomtree
表 4 directed unfolding 与反向展开在 randomtree 上的实验结果
Unf-hmax RUnf-blcok+dfs
测试用例 |T|
|E| 时间(ms) |E| 时间(ms)
randomtree100 899 30 55 29 40
randomtree125 1 194 19 12 18 14
randomtree150 1 387 32 21 29 11
randomtree175 1 729 38 32 34 18
randomtree200 1 854 31 38 27 6
randomtree225 2 130 13 23 12 29
randomtree250 2 429 28 47 26 5
randomtree275 2 575 36 49 34 7
randomtree300 2 898 39 32 37 5
randomtree325 3 132 29 29 28 4
randomtree350 3 492 34 45 31 5
randomtree375 3 615 35 45 31 4
randomtree400 3 712 33 28 31 4
randomtree425 4 076 32 34 29 15
randomtree450 4 304 34 55 33 44
randomtree475 4 523 22 37 20 15
randomtree500 4 732 29 85 27 6
randomtree525 5 014 32 90 30 3
randomtree550 5 160 33 133 30 4
randomtree575 5 394 31 150 27 3