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

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

Upload of the CUDD library.

File size: 2.9 KB
Line 
1# Nanotrav Version #0.12, Release date 2003/12/31
2# ./nanotrav -p 1 -cover C17.blif
3# CUDD Version 2.5.1
4Order before final reordering
51GAT(0) 2GAT(1) 3GAT(2) 6GAT(3) 7GAT(4)
622GAT(10): 8 nodes 18 minterms
723GAT(9): 8 nodes 18 minterms
822GAT(10): 5 nodes 3 minterms
9Testing iterator on ZDD paths:
10-1-0- 1
11-10-- 1
121-1-- 1
13
141-1-- 1
15-10-- 1
16-1-0- 1
1723GAT(9): 6 nodes 4 minterms
18Testing iterator on ZDD paths:
19---01 1
20--0-1 1
21-1-0- 1
22-10-- 1
23
24-10-- 1
25-1-0- 1
26--0-1 1
27---01 1
28**** CUDD modifiable parameters ****
29Hard limit for cache size: 21845333
30Cache hit threshold for resizing: 30%
31Garbage collection enabled: yes
32Limit for fast unique table growth: 13107200
33Maximum number of variables sifted per reordering: 1000
34Maximum number of variable swaps per reordering: 2000000
35Maximum growth while sifting a variable: 1.2
36Dynamic reordering of BDDs enabled: no
37Default BDD reordering method: 4
38Dynamic reordering of ZDDs enabled: no
39Default ZDD reordering method: 4
40Realignment of ZDDs to BDDs enabled: yes
41Realignment of BDDs to ZDDs enabled: no
42Dead nodes counted in triggering reordering: no
43Group checking criterion: 7
44Recombination threshold: 0
45Symmetry violation threshold: 10
46Arc violation threshold: 10
47GA population size: 0
48Number of crossovers for GA: 0
49Next reordering threshold: 4004
50**** CUDD non-modifiable parameters ****
51Memory in use: 17862864
52Peak number of nodes: 1022
53Peak number of live nodes: 19
54Number of BDD variables: 5
55Number of ZDD variables: 10
56Number of cache entries: 32768
57Number of cache look-ups: 125
58Number of cache hits: 21
59Number of cache insertions: 117
60Number of cache collisions: 0
61Number of cache deletions: 35
62Cache used slots = 0.33% (expected 0.25%)
63Soft limit for cache size: 16384
64Number of buckets in unique table: 4096
65Used buckets in unique table: 1.20% (expected 1.24%)
66Unique lookups: 153
67Unique links: 1 (0.00653595 per lookup)
68Number of BDD and ADD nodes: 24
69Number of ZDD nodes: 27
70Number of dead BDD and ADD nodes: 8
71Number of dead ZDD nodes: 17
72Total number of nodes allocated: 67
73Total number of nodes reclaimed: 8
74Number of recursive calls: 437
75Garbage collections so far: 1
76Time for garbage collection: 0.00 sec
77Reorderings so far: 0
78Time for reordering: 0.00 sec
79Node swaps in reordering: 0
80Final size: 11
81total time = 0.00 sec
82Runtime Statistics
83------------------
84Machine name: jobim.colorado.edu
85User time      0.0 seconds
86System time    0.0 seconds
87
88Average resident text size       =     0K
89Average resident data+stack size =     0K
90Maximum resident size            =  9184K
91
92Virtual text size                =  4621K
93Virtual data size                = 10490K
94    data size initialized        =  2135K
95    data size uninitialized      =   137K
96    data size sbrk               =  8218K
97Virtual memory limit             = 2048000K (18014398509481984K)
98
99Major page faults = 0
100Minor page faults = 3151
101Swaps = 0
102Input blocks = 8
103Output blocks = 8
104Context switch (voluntary) = 1
105Context switch (involuntary) = 1
Note: See TracBrowser for help on using the repository browser.