我正在使用Cudd_PrintInfo来解决CUDD的性能问题。
在打印出统计数据后，我发现命中率很低。我尝试了有无垃圾收集，但是仍然保持不变。而且碰撞率很高。
如何解决这些问题？
（我真的应该把这两个问题分开吗？？）
使用垃圾回收：
**** CUDD non-modifiable parameters ****
Memory in use: 1117983368
Peak number of nodes: 30278794
Peak number of live nodes: 27705054
Number of BDD variables: 8
Number of ZDD variables: 0
Number of cache entries: 2097152
Number of cache look-ups: 37770177
Number of cache hits: 10531
Number of cache insertions: 37759646
Number of cache collisions: 18808878
Number of cache deletions: 17622843
Cache used slots = 100.00% (expected 100.00%)
Soft limit for cache size: 2796202
Number of buckets in unique table: 9863168
Used buckets in unique table: 94.60% (expected 94.14%)
Number of BDD and ADD nodes: 29397682
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 1692657
Number of dead ZDD nodes: 0
Total number of nodes allocated: 65693890
Total number of nodes reclaimed: 721788
Garbage collections so far: 22
Time for garbage collection: 34.47 sec
Reorderings so far: 0
Time for reordering: 0.00 sec
无垃圾收集：
**** CUDD non-modifiable parameters ****
Memory in use: 2221756712
Peak number of nodes: 62209140
Peak number of live nodes: 27705053
Number of BDD variables: 8
Number of ZDD variables: 0
Number of cache entries: 2097152
Number of cache look-ups: 37770101
Number of cache hits: 10491
Number of cache insertions: 37759610
Number of cache collisions: 34762582
Number of cache deletions: 899876
Cache used slots = 100.00% (expected 100.00%)
Soft limit for cache size: 2796202
Number of buckets in unique table: 19988480
Used buckets in unique table: 95.07% (expected 94.71%)
Number of BDD and ADD nodes: 62208880
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 34503856
Number of dead ZDD nodes: 0
Total number of nodes allocated: 65691613
Total number of nodes reclaimed: 724064
Garbage collections so far: 1
Time for garbage collection: 0.42 sec
Reorderings so far: 0
Time for reordering: 0.00 sec