# Nanotrav Version #0.13, Release date 2015/7/15
# nanotrav/nanotrav -p 1 -ordering dfs -reordering cogroup -drop -char2vect -cofest ./nanotrav/adj49.blif
# CUDD Version 3.0.0
Order before final reordering
CA OR NV AZ WA ID UT MT 
WY CO NM ND SD NE KS OK 
TX MN IA MO AR LA WI IL 
KY TN MS MI IN AL OH WV 
VA NC GA FL PA MD DC SC 
NY NJ DE VT NH MA CT ME 
RI 
Number of inputs = 49
BDD reordering with converging group sifting: from 431 to ... 338 nodes in 0.01 sec
New order
ID OR WA NV AZ CA UT NM 
WY MT CO SD MN ND NE IA 
KS MO TX OK LA WI AR MS 
KY MI IN IL AL TN FL NC 
SC GA WV OH MD DC VA PA 
NJ DE NY RI CT NH ME VT 
MA 
Testing char-to-vect
*** indep ***
f: 338 nodes 1 leaves 2.11955e+08 minterms
Vector Size: 49 components 1171 nodes
v[0]: 6 nodes 1 leaves 8.79609e+13 minterms
v[1]: 3 nodes 1 leaves 1.40737e+14 minterms
v[2]: 4 nodes 1 leaves 7.03687e+13 minterms
v[3]: 5 nodes 1 leaves 2.46291e+14 minterms
v[4]: 4 nodes 1 leaves 7.03687e+13 minterms
v[5]: 2 nodes 1 leaves 2.81475e+14 minterms
v[6]: 6 nodes 1 leaves 5.27766e+13 minterms
v[7]: 8 nodes 1 leaves 8.35629e+13 minterms
v[8]: 7 nodes 1 leaves 1.14349e+14 minterms
v[9]: 11 nodes 1 leaves 1.47335e+14 minterms
v[10]: 6 nodes 1 leaves 1.5833e+14 minterms
v[11]: 11 nodes 1 leaves 7.4217e+13 minterms
v[12]: 9 nodes 1 leaves 1.82519e+14 minterms
v[13]: 17 nodes 1 leaves 9.09846e+13 minterms
v[14]: 18 nodes 1 leaves 1.62315e+14 minterms
v[15]: 26 nodes 1 leaves 2.79388e+13 minterms
v[16]: 7 nodes 1 leaves 2.0231e+14 minterms
v[17]: 10 nodes 1 leaves 1.90216e+14 minterms
v[18]: 21 nodes 1 leaves 7.23616e+13 minterms
v[19]: 26 nodes 1 leaves 1.31478e+14 minterms
v[20]: 43 nodes 1 leaves 6.3558e+13 minterms
v[21]: 8 nodes 1 leaves 1.8032e+14 minterms
v[22]: 22 nodes 1 leaves 1.50186e+14 minterms
v[23]: 33 nodes 1 leaves 4.71217e+13 minterms
v[24]: 27 nodes 1 leaves 2.15736e+14 minterms
v[25]: 48 nodes 1 leaves 3.18125e+13 minterms
v[26]: 46 nodes 1 leaves 1.59536e+14 minterms
v[27]: 23 nodes 1 leaves 2.06382e+14 minterms
v[28]: 34 nodes 1 leaves 1.10876e+14 minterms
v[29]: 47 nodes 1 leaves 2.01707e+14 minterms
v[30]: 36 nodes 1 leaves 2.77189e+13 minterms
v[31]: 28 nodes 1 leaves 1.73607e+14 minterms
v[32]: 54 nodes 1 leaves 9.85629e+12 minterms
v[33]: 49 nodes 1 leaves 2.65569e+14 minterms
v[34]: 56 nodes 1 leaves 2.05894e+13 minterms
v[35]: 48 nodes 1 leaves 1.80621e+14 minterms
v[36]: 39 nodes 1 leaves 9.0406e+13 minterms
v[37]: 29 nodes 1 leaves 1.94672e+14 minterms
v[38]: 30 nodes 1 leaves 1.84139e+14 minterms
v[39]: 50 nodes 1 leaves 1.48691e+14 minterms
v[40]: 41 nodes 1 leaves 1.18136e+14 minterms
v[41]: 40 nodes 1 leaves 2.36272e+14 minterms
v[42]: 42 nodes 1 leaves 6.94681e+13 minterms
v[43]: 43 nodes 1 leaves 1.11203e+14 minterms
v[44]: 2 nodes 1 leaves 2.81475e+14 minterms
v[45]: 46 nodes 1 leaves 1.39004e+13 minterms
v[46]: 43 nodes 1 leaves 1.11203e+14 minterms
v[47]: 3 nodes 1 leaves 1.40737e+14 minterms
v[48]: 2 nodes 1 leaves 2.81475e+14 minterms
Testing BDD cofactor estimation algorithms
TEST-COF:: indep (49 vars): 338 nodes 1 leaves 2.11955e+08 minterms
T-c   : 13145
T-c E : 13619 42
T-c S : 14592 131
**** 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: 1000000
Maximum number of variable swaps per reordering: 1000000000
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: 10
Arc violation threshold: 10
GA population size: 0
Number of crossovers for GA: 0
Next reordering threshold: 776
**** CUDD non-modifiable parameters ****
Memory in use: 3791664
Peak number of nodes: 17374
Peak number of live nodes: 3444
Number of BDD variables: 49
Number of ZDD variables: 0
Number of cache entries: 32768
Number of cache look-ups: 51760
Number of cache hits: 17171
Number of cache insertions: 25262
Number of cache collisions: 6513
Number of cache deletions: 1736
Cache used slots = 54.25% (expected 51.16%)
Soft limit for cache size: 51200
Number of buckets in unique table: 12800
Used buckets in unique table: 56.12% (expected 55.54%)
Number of BDD and ADD nodes: 16471
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 16082
Number of dead ZDD nodes: 0
Total number of nodes allocated: 18850
Total number of nodes reclaimed: 1757
Garbage collections so far: 1
Time for garbage collection: 0.00 sec
Reorderings so far: 1
Time for reordering: 0.01 sec
Final size: 338
total time = 0.01 sec
Runtime Statistics
------------------
Machine name: crozzon
User time      0.0 seconds
System time    0.0 seconds

Average resident text size       =     0K
Average resident data+stack size =     0K
Maximum resident size            =  6700K

Virtual memory limit             = unlimited (unlimited)
Major page faults = 0
Minor page faults = 1054
Swaps = 0
Input blocks = 8
Output blocks = 8
Context switch (voluntary) = 1
Context switch (involuntary) = 1
