distr/nanotrav/C880.out

   1 # Nanotrav Version #0.12, Release date 2003/12/31
   2 # ./nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop C880.blif
   3 # CUDD Version 2.4.2
   4 BDD reordering with sifting: from 3974 to ... 2432 nodes in 0.039 sec
   5 BDD reordering with sifting: from 4893 to ... 3549 nodes in 0.044 sec
   6 BDD reordering with sifting: from 7133 to ... 6246 nodes in 0.072 sec
   7 BDD reordering with sifting: from 12522 to ... 6465 nodes in 0.113 sec
   8 Order before final reordering
   9 86GAT(18) 85GAT(17) 90GAT(22) 89GAT(21) 88GAT(20) 87GAT(19) 1GAT(0) 51GAT(8)
  10 75GAT(15) 26GAT(4) 268GAT(59) 36GAT(6) 29GAT(5) 80GAT(16) 59GAT(10) 42GAT(7)
  11 156GAT(39) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1) 219GAT(50) 210GAT(49) 91GAT(23)
  12 101GAT(25) 138GAT(33) 96GAT(24) 171GAT(42) 152GAT(37) 146GAT(35) 116GAT(28) 189GAT(45)
  13 149GAT(36) 121GAT(29) 195GAT(46) 153GAT(38) 126GAT(30) 261GAT(57) 201GAT(47) 143GAT(34)
  14 111GAT(27) 183GAT(44) 130GAT(31) 135GAT(32) 106GAT(26) 177GAT(43) 165GAT(41) 207GAT(48)
  15 159GAT(40) 228GAT(51) 237GAT(52) 246GAT(53) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2)
  16 260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54)
  17 Number of inputs = 60
  18 BDD reordering with sifting: from 6204 to ... 4623 nodes in 0.07 sec
  19 New order
  20 135GAT(32) 207GAT(48) 130GAT(31) 86GAT(18) 85GAT(17) 89GAT(21) 90GAT(22) 88GAT(20)
  21 87GAT(19) 1GAT(0) 51GAT(8) 26GAT(4) 268GAT(59) 29GAT(5) 80GAT(16) 59GAT(10)
  22 42GAT(7) 75GAT(15) 156GAT(39) 36GAT(6) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1)
  23 210GAT(49) 91GAT(23) 138GAT(33) 165GAT(41) 96GAT(24) 159GAT(40) 101GAT(25) 171GAT(42)
  24 152GAT(37) 149GAT(36) 146GAT(35) 116GAT(28) 189GAT(45) 121GAT(29) 195GAT(46) 153GAT(38)
  25 143GAT(34) 126GAT(30) 201GAT(47) 261GAT(57) 111GAT(27) 106GAT(26) 183GAT(44) 177GAT(43)
  26 219GAT(50) 246GAT(53) 237GAT(52) 228GAT(51) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2)
  27 260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54)
  28 **** CUDD modifiable parameters ****
  29 Hard limit for cache size: 7645866
  30 Cache hit threshold for resizing: 30%
  31 Garbage collection enabled: yes
  32 Limit for fast unique table growth: 4587520
  33 Maximum number of variables sifted per reordering: 1000000
  34 Maximum number of variable swaps per reordering: 1000000000
  35 Maximum growth while sifting a variable: 1.2
  36 Dynamic reordering of BDDs enabled: yes
  37 Default BDD reordering method: 4
  38 Dynamic reordering of ZDDs enabled: no
  39 Default ZDD reordering method: 4
  40 Realignment of ZDDs to BDDs enabled: no
  41 Realignment of BDDs to ZDDs enabled: no
  42 Dead nodes counted in triggering reordering: no
  43 Group checking criterion: 7
  44 Recombination threshold: 0
  45 Symmetry violation threshold: 10
  46 Arc violation threshold: 10
  47 GA population size: 0
  48 Number of crossovers for GA: 0
  49 Next reordering threshold: 9340
  50 **** CUDD non-modifiable parameters ****
  51 Memory in use: 5611044
  52 Peak number of nodes: 19418
  53 Peak number of live nodes: 12568
  54 Number of BDD variables: 60
  55 Number of ZDD variables: 0
  56 Number of cache entries: 65536
  57 Number of cache look-ups: 59167
  58 Number of cache hits: 28642
  59 Number of cache insertions: 30604
  60 Number of cache collisions: 2547
  61 Number of cache deletions: 28057
  62 Cache used slots = 18.04% (expected 0.00%)
  63 Soft limit for cache size: 62464
  64 Number of buckets in unique table: 15616
  65 Used buckets in unique table: 20.84% (expected 20.96%)
  66 Number of BDD and ADD nodes: 4671
  67 Number of ZDD nodes: 0
  68 Number of dead BDD and ADD nodes: 0
  69 Number of dead ZDD nodes: 0
  70 Total number of nodes allocated: 32671
  71 Total number of nodes reclaimed: 1974
  72 Garbage collections so far: 5
  73 Time for garbage collection: 0.00 sec
  74 Reorderings so far: 5
  75 Time for reordering: 0.34 sec
  76 Final size: 4623
  77 total time = 0.36 sec
  78 Runtime Statistics
  79 ------------------
  80 Machine name: jobim.colorado.edu
  81 User time      0.4 seconds
  82 System time    0.0 seconds
  83
  84 Average resident text size       =     0K
  85 Average resident data+stack size =     0K
  86 Maximum resident size            =     0K
  87
  88 Virtual text size                = 131815K
  89 Virtual data size                =   297K
  90     data size initialized        =    25K
  91     data size uninitialized      =   137K
  92     data size sbrk               =   135K
  93 Virtual memory limit             = 358400K (4194304K)
  94
  95 Major page faults = 0
  96 Minor page faults = 1778
  97 Swaps = 0
  98 Input blocks = 0
  99 Output blocks = 0
 100 Context switch (voluntary) = 1
 101 Context switch (involuntary) = 6