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