Started CUDD version 3.0.0
0000 1

Plus infinity is inf
1111  5

background (0) minterms : 0
1110 1
110- 1
10-- 1
0--- 1

DD_APA_BITS = 32
000000000000000000001f4a
1283805 -> 1.2838e+06
1283815 -> 1.28382e+06
15983557 -> 1.59836e+07
1598354 -> 1.59835e+06
15999999 -> 1.6e+07
h (dbl) : 1023 nodes 1 leaves 4.49423e+307 minterms
h (apa) : 1023 nodes 1 leaves 4.49423e+307 minterms
one[2044] (dbl) : 1 nodes 1 leaves inf minterms
one[2044] (apa) : 1 nodes 1 leaves 2.01981e+615 minterms
one[2045] (dbl) : 1 nodes 1 leaves unknown minterms
one[2045] (apa) : 1 nodes 1 leaves 4.03963e+615 minterms
f: 8191 nodes 1 leaves 531441 minterms
f has 531441 minterms
EPD count for f = 5.314410e+05
g: 8191 nodes 1 leaves 531441 minterms
g has 531441 minterms
EPD count for g = 5.314410e+05
caught timeout
so far: 131071 nodes 1 leaves 11019960576 minterms
f implies 0 clauses
**** CUDD modifiable parameters ****
Hard limit for cache size: 2796202
Cache hit threshold for resizing: 30%
Garbage collection enabled: yes
Limit for fast unique table growth: 1677721
Maximum number of variables sifted per reordering: 1000
Maximum number of variable swaps per reordering: 2000000
Maximum growth while sifting a variable: 1.2
Dynamic reordering of BDDs enabled: no
Default BDD reordering method: 4
Dynamic reordering of ZDDs enabled: no
Default ZDD reordering method: 4
Realignment of ZDDs to BDDs enabled: no
Realignment of BDDs to ZDDs enabled: no
Dead nodes counted in triggering reordering: no
Group checking criterion: 7
Recombination threshold: 0
Symmetry violation threshold: 0
Arc violation threshold: 0
GA population size: 0
Number of crossovers for GA: 0
Next reordering threshold: 4004
**** CUDD non-modifiable parameters ****
Memory in use: 21161448
Peak number of nodes: 305578
Peak number of live nodes: 239037
Number of BDD variables: 37
Number of ZDD variables: 0
Number of cache entries: 262144
Number of cache look-ups: 466112
Number of cache hits: 101229
Number of cache insertions: 365030
Number of cache collisions: 255308
Number of cache deletions: 0
Cache used slots = 41.86% (expected 75.15%)
Soft limit for cache size: 448512
Number of buckets in unique table: 112128
Used buckets in unique table: 90.30% (expected 89.69%)
Number of BDD and ADD nodes: 304566
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 304525
Number of dead ZDD nodes: 0
Total number of nodes allocated: 304566
Total number of nodes reclaimed: 0
Garbage collections so far: 0
Time for garbage collection: 0.00 sec
Reorderings so far: 0
Time for reordering: 0.00 sec
