测试记录条数

启发式值约简算法

归纳值约简算法

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