测试记录条数 | 启发式值约简算法 | 归纳值约简算法 |
1728 | 0.422 s | 1.236 s |
3456 | 8.192 s | 2.4 s |
5184 | 20.505 s | 6.788 s |
6912 | 58.533 s | 15.727 s |
8640 | 126.063 s | 29.574 s |
10,368 | 231.503 s | 49.358 s |