1# Nanotrav Version #0.13, Release date 2015/7/15 2# nanotrav/nanotrav -p 1 -trav -image depend -depend ./nanotrav/s27c.blif 3# CUDD Version 3.0.0 4Order before final reordering 5G5 G6 G7 6Number of inputs = 3 7Building transition relation. Time = 0.00 sec 8Transition relation: 3 parts 3 latches 4 nodes 9Traversing. Time = 0.00 sec 10S0: 4 nodes 1 leaves 1 minterms 11Eliminated 3 vars. Transition function 1 nodes. 12Extracted 2 repeated parts in 1 factors. 13new factor of 2 nodes 14Merging 3 factors. Independent image: 1 nodes 15new factor 2 nodes 16new factor 4 nodes 17From[1]: 4 nodes 1 leaves 1 minterms 18Reached[1]: 3 nodes 1 leaves 2 minterms 192 202 21Eliminated 3 vars. Transition function 1 nodes. 22Extracted 2 repeated parts in 1 factors. 23new factor of 2 nodes 24Merging 3 factors. Independent image: 1 nodes 25new factor 2 nodes 26new factor 4 nodes 27depth = 1 28R: 3 nodes 1 leaves 2 minterms 29Analyzing latch dependencies 30G5 is stuck at 0 31G7 is stuck at 0 32new reached: 1 nodes 1 leaves 2 minterms 332 latches are redundant 34**** CUDD modifiable parameters **** 35Hard limit for cache size: 2796202 36Cache hit threshold for resizing: 30% 37Garbage collection enabled: yes 38Limit for fast unique table growth: 1677721 39Maximum number of variables sifted per reordering: 1000 40Maximum number of variable swaps per reordering: 2000000 41Maximum growth while sifting a variable: 1.2 42Dynamic reordering of BDDs enabled: no 43Default BDD reordering method: 4 44Dynamic reordering of ZDDs enabled: no 45Default ZDD reordering method: 4 46Realignment of ZDDs to BDDs enabled: no 47Realignment of BDDs to ZDDs enabled: no 48Dead nodes counted in triggering reordering: no 49Group checking criterion: 7 50Recombination threshold: 0 51Symmetry violation threshold: 10 52Arc violation threshold: 10 53GA population size: 0 54Number of crossovers for GA: 0 55Next reordering threshold: 4004 56**** CUDD non-modifiable parameters **** 57Memory in use: 3182808 58Peak number of nodes: 1022 59Peak number of live nodes: 25 60Number of BDD variables: 6 61Number of ZDD variables: 0 62Number of cache entries: 32768 63Number of cache look-ups: 88 64Number of cache hits: 33 65Number of cache insertions: 48 66Number of cache collisions: 5 67Number of cache deletions: 0 68Cache used slots = 0.13% (expected 0.15%) 69Soft limit for cache size: 7168 70Number of buckets in unique table: 1792 71Used buckets in unique table: 1.45% (expected 1.55%) 72Number of BDD and ADD nodes: 28 73Number of ZDD nodes: 0 74Number of dead BDD and ADD nodes: 16 75Number of dead ZDD nodes: 0 76Total number of nodes allocated: 28 77Total number of nodes reclaimed: 15 78Garbage collections so far: 0 79Time for garbage collection: 0.00 sec 80Reorderings so far: 0 81Time for reordering: 0.00 sec 82Final size: 4 83total time = 0.00 sec 84Runtime Statistics 85------------------ 86Machine name: crozzon 87User time 0.0 seconds 88System time 0.0 seconds 89 90Average resident text size = 0K 91Average resident data+stack size = 0K 92Maximum resident size = 5940K 93 94Virtual memory limit = unlimited (unlimited) 95Major page faults = 0 96Minor page faults = 891 97Swaps = 0 98Input blocks = 8 99Output blocks = 8 100Context switch (voluntary) = 1 101Context switch (involuntary) = 1 102