| -num-buckets <number> | - | Set the number of buckets in power of 2 [default=16] |
| -size-buckets <number> | - | Set the size of a bucket in power of 2 [default=5] |
| -bdd-pool-size <number> | - | The size of the bdd pool increment [default=1000000] |
| -gc <number> | - | Use garbage collection [default=1] |