# Nanotrav Version #0.12, Release date 2003/12/31
# ./nanotrav -p 1 -cover C17.blif
# CUDD Version 2.4.2
Order before final reordering
1GAT(0) 2GAT(1) 3GAT(2) 6GAT(3) 7GAT(4) 
22GAT(10): 8 nodes 18 minterms
23GAT(9): 8 nodes 18 minterms
22GAT(10): 5 nodes 3 minterms
Testing iterator on ZDD paths:
-1-0- 1
-10-- 1
1-1-- 1

1-1-- 1
-10-- 1
-1-0- 1
23GAT(9): 6 nodes 4 minterms
Testing iterator on ZDD paths:
---01 1
--0-1 1
-1-0- 1
-10-- 1

-10-- 1
-1-0- 1
--0-1 1
---01 1
**** CUDD modifiable parameters ****
Hard limit for cache size: 7645866
Cache hit threshold for resizing: 30%
Garbage collection enabled: yes
Limit for fast unique table growth: 4587520
Maximum number of variables sifted per reordering: 1000
Maximum number of variable swaps per reordering: 2000000
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: yes
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: 4004
**** CUDD non-modifiable parameters ****
Memory in use: 4737732
Peak number of nodes: 1022
Peak number of live nodes: 19
Number of BDD variables: 5
Number of ZDD variables: 10
Number of cache entries: 32768
Number of cache look-ups: 125
Number of cache hits: 21
Number of cache insertions: 117
Number of cache collisions: 0
Number of cache deletions: 35
Cache used slots = 0.33% (expected 0.25%)
Soft limit for cache size: 16384
Number of buckets in unique table: 4096
Used buckets in unique table: 1.22% (expected 1.24%)
Number of BDD and ADD nodes: 24
Number of ZDD nodes: 27
Number of dead BDD and ADD nodes: 8
Number of dead ZDD nodes: 17
Total number of nodes allocated: 67
Total number of nodes reclaimed: 8
Garbage collections so far: 1
Time for garbage collection: 0.00 sec
Reorderings so far: 0
Time for reordering: 0.00 sec
Final size: 11
total time = 0.00 sec
Runtime Statistics
------------------
Machine name: jobim.colorado.edu
User time      0.0 seconds
System time    0.0 seconds

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

Virtual text size                = 131815K
Virtual data size                =   297K
    data size initialized        =    25K
    data size uninitialized      =   137K
    data size sbrk               =   135K
Virtual memory limit             = 358400K (4194304K)

Major page faults = 8
Minor page faults = 1413
Swaps = 0
Input blocks = 0
Output blocks = 0
Context switch (voluntary) = 12
Context switch (involuntary) = 0
