source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/s27.out

Last change on this file was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 3.0 KB
Line 
1# Nanotrav Version #0.12, Release date 2003/12/31
2# ./nanotrav -p 1 -trav s27.blif
3# CUDD Version 2.5.1
4Order before final reordering
5G0 G1 G2 G3 G5 G6 G7
6Number of inputs = 7
7Building transition relation. Time = 0.00 sec
8@@@
9Transition relation: 1 parts 3 latches 9 nodes
10Traversing. Time = 0.00 sec
11S0: 4 nodes 1 leaves 1 minterms
12From[1]: 5 nodes 1 leaves 4 minterms
13Reached[1]: 5 nodes 1 leaves 5 minterms
145
155e+0
16From[2]: 4 nodes 1 leaves 1 minterms
17Reached[2]: 3 nodes 1 leaves 6 minterms
186
196e+0
20depth = 2
21R: 3 nodes 1 leaves 6 minterms
22**** CUDD modifiable parameters ****
23Hard limit for cache size: 21845333
24Cache hit threshold for resizing: 30%
25Garbage collection enabled: yes
26Limit for fast unique table growth: 13107200
27Maximum number of variables sifted per reordering: 1000
28Maximum number of variable swaps per reordering: 2000000
29Maximum growth while sifting a variable: 1.2
30Dynamic reordering of BDDs enabled: no
31Default BDD reordering method: 4
32Dynamic reordering of ZDDs enabled: no
33Default ZDD reordering method: 4
34Realignment of ZDDs to BDDs enabled: no
35Realignment of BDDs to ZDDs enabled: no
36Dead nodes counted in triggering reordering: no
37Group checking criterion: 7
38Recombination threshold: 0
39Symmetry violation threshold: 10
40Arc violation threshold: 10
41GA population size: 0
42Number of crossovers for GA: 0
43Next reordering threshold: 4004
44**** CUDD non-modifiable parameters ****
45Memory in use: 17862904
46Peak number of nodes: 1022
47Peak number of live nodes: 95
48Number of BDD variables: 10
49Number of ZDD variables: 0
50Number of cache entries: 32768
51Number of cache look-ups: 173
52Number of cache hits: 26
53Number of cache insertions: 151
54Number of cache collisions: 1
55Number of cache deletions: 0
56Cache used slots = 0.46% (expected 0.46%)
57Soft limit for cache size: 11264
58Number of buckets in unique table: 2816
59Used buckets in unique table: 5.11% (expected 5.15%)
60Unique lookups: 194
61Unique links: 0 (0 per lookup)
62Number of BDD and ADD nodes: 150
63Number of ZDD nodes: 0
64Number of dead BDD and ADD nodes: 75
65Number of dead ZDD nodes: 0
66Total number of nodes allocated: 150
67Total number of nodes reclaimed: 12
68Number of recursive calls: 507
69Garbage collections so far: 0
70Time for garbage collection: 0.00 sec
71Reorderings so far: 0
72Time for reordering: 0.00 sec
73Node swaps in reordering: 0
74Final size: 16
75total time = 0.00 sec
76Runtime Statistics
77------------------
78Machine name: jobim.colorado.edu
79User time      0.0 seconds
80System time    0.0 seconds
81
82Average resident text size       =     0K
83Average resident data+stack size =     0K
84Maximum resident size            =  9218K
85
86Virtual text size                =  4621K
87Virtual data size                = 24114K
88    data size initialized        =  2135K
89    data size uninitialized      =   137K
90    data size sbrk               = 21842K
91Virtual memory limit             = 2048000K (18014398509481984K)
92
93Major page faults = 0
94Minor page faults = 1123
95Swaps = 0
96Input blocks = 8
97Output blocks = 2088
98Context switch (voluntary) = 1
99Context switch (involuntary) = 1
Note: See TracBrowser for help on using the repository browser.