cudd/nanotrav/C880.out

# Nanotrav Version #0.13, Release date 2015/7/15
# nanotrav/nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop ./nanotrav/C880.blif
# CUDD Version 3.0.0
BDD reordering with sifting: from 3974 to ... 2432 nodes in 0.01 sec
BDD reordering with sifting: from 4893 to ... 3549 nodes in 0.01 sec
BDD reordering with sifting: from 7133 to ... 6246 nodes in 0.03 sec
BDD reordering with sifting: from 12522 to ... 6465 nodes in 0.04 sec
Order before final reordering
86GAT(18) 85GAT(17) 90GAT(22) 89GAT(21) 88GAT(20) 87GAT(19) 1GAT(0) 51GAT(8) 
75GAT(15) 26GAT(4) 268GAT(59) 36GAT(6) 29GAT(5) 80GAT(16) 59GAT(10) 42GAT(7) 
156GAT(39) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1) 219GAT(50) 210GAT(49) 91GAT(23) 
101GAT(25) 138GAT(33) 96GAT(24) 171GAT(42) 152GAT(37) 146GAT(35) 116GAT(28) 189GAT(45) 
149GAT(36) 121GAT(29) 195GAT(46) 153GAT(38) 126GAT(30) 261GAT(57) 201GAT(47) 143GAT(34) 
111GAT(27) 183GAT(44) 130GAT(31) 135GAT(32) 106GAT(26) 177GAT(43) 165GAT(41) 207GAT(48) 
159GAT(40) 228GAT(51) 237GAT(52) 246GAT(53) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2) 
260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54) 
Number of inputs = 60
BDD reordering with sifting: from 6204 to ... 4623 nodes in 0.02 sec
New order
135GAT(32) 207GAT(48) 130GAT(31) 86GAT(18) 85GAT(17) 89GAT(21) 90GAT(22) 88GAT(20) 
87GAT(19) 1GAT(0) 51GAT(8) 26GAT(4) 268GAT(59) 29GAT(5) 80GAT(16) 59GAT(10) 
42GAT(7) 75GAT(15) 156GAT(39) 36GAT(6) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1) 
210GAT(49) 91GAT(23) 138GAT(33) 165GAT(41) 96GAT(24) 159GAT(40) 101GAT(25) 171GAT(42) 
152GAT(37) 149GAT(36) 146GAT(35) 116GAT(28) 189GAT(45) 121GAT(29) 195GAT(46) 153GAT(38) 
143GAT(34) 126GAT(30) 201GAT(47) 261GAT(57) 111GAT(27) 106GAT(26) 183GAT(44) 177GAT(43) 
219GAT(50) 246GAT(53) 237GAT(52) 228GAT(51) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2) 
260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54) 
**** CUDD modifiable parameters ****
Hard limit for cache size: 2796202
Cache hit threshold for resizing: 30%
Garbage collection enabled: yes
Limit for fast unique table growth: 1677721
Maximum number of variables sifted per reordering: 1000000
Maximum number of variable swaps per reordering: 1000000000
Maximum growth while sifting a variable: 1.2
Dynamic reordering of BDDs enabled: yes
Default BDD reordering method: 4
Dynamic reordering of ZDDs enabled: no
Default ZDD reordering method: 4
Realignment of ZDDs to BDDs enabled: no
Realignment of BDDs to ZDDs enabled: no
Dead nodes counted in triggering reordering: no
Group checking criterion: 7
Recombination threshold: 0
Symmetry violation threshold: 10
Arc violation threshold: 10
GA population size: 0
Number of crossovers for GA: 0
Next reordering threshold: 9340
**** CUDD non-modifiable parameters ****
Memory in use: 4926992
Peak number of nodes: 19418
Peak number of live nodes: 12568
Number of BDD variables: 60
Number of ZDD variables: 0
Number of cache entries: 65536
Number of cache look-ups: 59150
Number of cache hits: 28634
Number of cache insertions: 30595
Number of cache collisions: 2450
Number of cache deletions: 28145
Cache used slots = 18.22% (expected 0.00%)
Soft limit for cache size: 62464
Number of buckets in unique table: 15616
Used buckets in unique table: 20.72% (expected 20.96%)
Number of BDD and ADD nodes: 4671
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 0
Number of dead ZDD nodes: 0
Total number of nodes allocated: 32671
Total number of nodes reclaimed: 1974
Garbage collections so far: 5
Time for garbage collection: 0.00 sec
Reorderings so far: 5
Time for reordering: 0.11 sec
Final size: 4623
total time = 0.11 sec
Runtime Statistics
------------------
Machine name: crozzon
User time      0.1 seconds
System time    0.0 seconds

Average resident text size       =     0K
Average resident data+stack size =     0K
Maximum resident size            =  6616K

Virtual memory limit             = unlimited (unlimited)
Major page faults = 0
Minor page faults = 1302
Swaps = 0
Input blocks = 40
Output blocks = 8
Context switch (voluntary) = 1
Context switch (involuntary) = 1