# Nanotrav Version #0.13, Release date 2015/7/15
# nanotrav/nanotrav -p 1 -reordering genetic -drop -closest ./nanotrav/closest.blif
# CUDD Version 3.0.0
Order before final reordering
a b c 
Number of inputs = 3
BDD reordering with genetic: from 7 to ... 7 nodes in 0 sec
New order
c a b 
Testing Cudd_bddClosestCube
TEST-CC:: H(f, f)
T-F    : 4 nodes 1 leaves 3 minterms
T-G    : 4 nodes 1 leaves 3 minterms
T-C (0) : 3 nodes 1 leaves 2 minterms
T-GN   : 4 nodes 1 leaves 5 minterms
T-N (1) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(f, g)
T-F    : 4 nodes 1 leaves 3 minterms
T-G    : 4 nodes 1 leaves 1 minterms
T-C (2) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 7 minterms
T-N (0) : 3 nodes 1 leaves 2 minterms
TEST-CC:: H(f, h)
T-F    : 4 nodes 1 leaves 3 minterms
T-G    : 4 nodes 1 leaves 1 minterms
T-C (0) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 7 minterms
T-N (0) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(g, f)
T-F    : 4 nodes 1 leaves 1 minterms
T-G    : 4 nodes 1 leaves 3 minterms
T-C (2) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 5 minterms
T-N (0) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(g, g)
T-F    : 4 nodes 1 leaves 1 minterms
T-G    : 4 nodes 1 leaves 1 minterms
T-C (0) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 7 minterms
T-N (1) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(g, h)
T-F    : 4 nodes 1 leaves 1 minterms
T-G    : 4 nodes 1 leaves 1 minterms
T-C (3) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 7 minterms
T-N (0) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(h, f)
T-F    : 4 nodes 1 leaves 1 minterms
T-G    : 4 nodes 1 leaves 3 minterms
T-C (0) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 5 minterms
T-N (1) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(h, g)
T-F    : 4 nodes 1 leaves 1 minterms
T-G    : 4 nodes 1 leaves 1 minterms
T-C (3) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 7 minterms
T-N (0) : 4 nodes 1 leaves 1 minterms
TEST-CC:: H(h, h)
T-F    : 4 nodes 1 leaves 1 minterms
T-G    : 4 nodes 1 leaves 1 minterms
T-C (0) : 4 nodes 1 leaves 1 minterms
T-GN   : 4 nodes 1 leaves 7 minterms
T-N (1) : 4 nodes 1 leaves 1 minterms
End of test.  Performed 0 recursive calls.
**** 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: no
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: 22
**** CUDD non-modifiable parameters ****
Memory in use: 3182768
Peak number of nodes: 1022
Peak number of live nodes: 18
Number of BDD variables: 3
Number of ZDD variables: 0
Number of cache entries: 32768
Number of cache look-ups: 94
Number of cache hits: 32
Number of cache insertions: 63
Number of cache collisions: 0
Number of cache deletions: 9
Cache used slots = 0.18% (expected 0.16%)
Soft limit for cache size: 4096
Number of buckets in unique table: 1024
Used buckets in unique table: 4.79% (expected 4.93%)
Number of BDD and ADD nodes: 52
Number of ZDD nodes: 0
Number of dead BDD and ADD nodes: 40
Number of dead ZDD nodes: 0
Total number of nodes allocated: 55
Total number of nodes reclaimed: 142
Garbage collections so far: 1
Time for garbage collection: 0.00 sec
Reorderings so far: 1
Time for reordering: 0.00 sec
Final size: 7
total time = 0.00 sec
Runtime Statistics
------------------
Machine name: crozzon
User time      0.0 seconds
System time    0.0 seconds

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

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