1# Nanotrav Version #0.13, Release date 2015/7/15
2# nanotrav/nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop ./nanotrav/C880.blif
3# CUDD Version 3.0.0
4BDD reordering with sifting: from 3974 to ... 2432 nodes in 0.01 sec
5BDD reordering with sifting: from 4893 to ... 3549 nodes in 0.01 sec
6BDD reordering with sifting: from 7133 to ... 6246 nodes in 0.03 sec
7BDD reordering with sifting: from 12522 to ... 6465 nodes in 0.04 sec
8Order before final reordering
986GAT(18) 85GAT(17) 90GAT(22) 89GAT(21) 88GAT(20) 87GAT(19) 1GAT(0) 51GAT(8)
1075GAT(15) 26GAT(4) 268GAT(59) 36GAT(6) 29GAT(5) 80GAT(16) 59GAT(10) 42GAT(7)
11156GAT(39) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1) 219GAT(50) 210GAT(49) 91GAT(23)
12101GAT(25) 138GAT(33) 96GAT(24) 171GAT(42) 152GAT(37) 146GAT(35) 116GAT(28) 189GAT(45)
13149GAT(36) 121GAT(29) 195GAT(46) 153GAT(38) 126GAT(30) 261GAT(57) 201GAT(47) 143GAT(34)
14111GAT(27) 183GAT(44) 130GAT(31) 135GAT(32) 106GAT(26) 177GAT(43) 165GAT(41) 207GAT(48)
15159GAT(40) 228GAT(51) 237GAT(52) 246GAT(53) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2)
16260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54)
17Number of inputs = 60
18BDD reordering with sifting: from 6204 to ... 4623 nodes in 0.02 sec
19New order
20135GAT(32) 207GAT(48) 130GAT(31) 86GAT(18) 85GAT(17) 89GAT(21) 90GAT(22) 88GAT(20)
2187GAT(19) 1GAT(0) 51GAT(8) 26GAT(4) 268GAT(59) 29GAT(5) 80GAT(16) 59GAT(10)
2242GAT(7) 75GAT(15) 156GAT(39) 36GAT(6) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1)
23210GAT(49) 91GAT(23) 138GAT(33) 165GAT(41) 96GAT(24) 159GAT(40) 101GAT(25) 171GAT(42)
24152GAT(37) 149GAT(36) 146GAT(35) 116GAT(28) 189GAT(45) 121GAT(29) 195GAT(46) 153GAT(38)
25143GAT(34) 126GAT(30) 201GAT(47) 261GAT(57) 111GAT(27) 106GAT(26) 183GAT(44) 177GAT(43)
26219GAT(50) 246GAT(53) 237GAT(52) 228GAT(51) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2)
27260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54)
28**** CUDD modifiable parameters ****
29Hard limit for cache size: 2796202
30Cache hit threshold for resizing: 30%
31Garbage collection enabled: yes
32Limit for fast unique table growth: 1677721
33Maximum number of variables sifted per reordering: 1000000
34Maximum number of variable swaps per reordering: 1000000000
35Maximum growth while sifting a variable: 1.2
36Dynamic reordering of BDDs enabled: yes
37Default BDD reordering method: 4
38Dynamic reordering of ZDDs enabled: no
39Default ZDD reordering method: 4
40Realignment of ZDDs to BDDs enabled: no
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: 9340
50**** CUDD non-modifiable parameters ****
51Memory in use: 4926992
52Peak number of nodes: 19418
53Peak number of live nodes: 12568
54Number of BDD variables: 60
55Number of ZDD variables: 0
56Number of cache entries: 65536
57Number of cache look-ups: 59150
58Number of cache hits: 28634
59Number of cache insertions: 30595
60Number of cache collisions: 2450
61Number of cache deletions: 28145
62Cache used slots = 18.22% (expected 0.00%)
63Soft limit for cache size: 62464
64Number of buckets in unique table: 15616
65Used buckets in unique table: 20.72% (expected 20.96%)
66Number of BDD and ADD nodes: 4671
67Number of ZDD nodes: 0
68Number of dead BDD and ADD nodes: 0
69Number of dead ZDD nodes: 0
70Total number of nodes allocated: 32671
71Total number of nodes reclaimed: 1974
72Garbage collections so far: 5
73Time for garbage collection: 0.00 sec
74Reorderings so far: 5
75Time for reordering: 0.11 sec
76Final size: 4623
77total time = 0.11 sec
78Runtime Statistics
79------------------
80Machine name: crozzon
81User time      0.1 seconds
82System time    0.0 seconds
83
84Average resident text size       =     0K
85Average resident data+stack size =     0K
86Maximum resident size            =  6616K
87
88Virtual memory limit             = unlimited (unlimited)
89Major page faults = 0
90Minor page faults = 1302
91Swaps = 0
92Input blocks = 40
93Output blocks = 8
94Context switch (voluntary) = 1
95Context switch (involuntary) = 1
96