distr/cudd/r7x8.1.out

   1 # TestCudd Version #1.0, Release date 3/17/01
   2 # ./testcudd -p 2 r7x8.1.mat
   3 :name: r7x8.1.mat: 7 rows 9 columns
   4 :1: M: 63 nodes 5 leaves 52 minterms
   5 000000--  1
   6 000001-0  1
   7 000001-1  4
   8 000010-0  4
   9 000010-1  3
  10 000011-0  2
  11 000011-1  4
  12 000100--  3
  13 000101-0  3
  14 000110-0  1
  15 000110-1  2
  16 000111-0  4
  17 001000--  1
  18 001001-0  4
  19 001010-0  2
  20 001010-1  1
  21 001011-1  4
  22 001100-0  2
  23 001100-1  3
  24 001101-0  3
  25 001110-0  4
  26 001110-1  1
  27 0100-0-0  3
  28 011000-0  3
  29 011010-0  1
  30 100000-0  2
  31 100000-1  3
  32 100001-0  2
  33 100001-1  4
  34 100010--  3
  35 100011--  4
  36 100100--  1
  37 100101-0  2
  38 100110-0  1
  39 100110-1  3
  40 100111-0  3
  41 101000-1  1
  42 101001-0  1
  43 101001-1  4
  44 101100-0  2
  45 101100-1  4
  46 101101-0  4
  47 110000-0  2
  48 110010-0  4
  49 111000-0  2
  50
  51 :2: time to read the matrix = 0.00 sec
  52 :3: C: 22 nodes 1 leaves 52 minterms
  53 0000----  1
  54 0001-0--  1
  55 0001-1-0  1
  56 001000--  1
  57 001001-0  1
  58 001010--  1
  59 001011-1  1
  60 001100--  1
  61 001101-0  1
  62 001110--  1
  63 01-0-0-0  1
  64 1000----  1
  65 1001-0--  1
  66 1001-1-0  1
  67 101000-1  1
  68 101001--  1
  69 101100--  1
  70 101101-0  1
  71 1100-0-0  1
  72 111000-0  1
  73
  74 Testing iterator on cubes:
  75 000000-- 1
  76 000001-0 1
  77 000001-1 4
  78 000010-0 4
  79 000010-1 3
  80 000011-0 2
  81 000011-1 4
  82 000100-- 3
  83 000101-0 3
  84 000110-0 1
  85 000110-1 2
  86 000111-0 4
  87 001000-- 1
  88 001001-0 4
  89 001010-0 2
  90 001010-1 1
  91 001011-1 4
  92 001100-0 2
  93 001100-1 3
  94 001101-0 3
  95 001110-0 4
  96 001110-1 1
  97 0100-0-0 3
  98 011000-0 3
  99 011010-0 1
 100 100000-0 2
 101 100000-1 3
 102 100001-0 2
 103 100001-1 4
 104 100010-- 3
 105 100011-- 4
 106 100100-- 1
 107 100101-0 2
 108 100110-0 1
 109 100110-1 3
 110 100111-0 3
 111 101000-1 1
 112 101001-0 1
 113 101001-1 4
 114 101100-0 2
 115 101100-1 4
 116 101101-0 4
 117 110000-0 2
 118 110010-0 4
 119 111000-0 2
 120
 121 Testing prime expansion of cubes:
 122 -000---- 1
 123 -00--0-- 1
 124 0--0-0-0 1
 125 --00-0-0 1
 126 -0-100-- 1
 127 10-001-- 1
 128 -00----0 1
 129 00---0-- 1
 130 -1-000-0 1
 131 -0--01-0 1
 132 -0--00-1 1
 133 00-01--1 1
 134
 135 Testing iterator on primes (CNF):
 136 -0-0---- 1
 137 -0---0-- 1
 138 0-0-0--- 1
 139 -0-----0 1
 140 ---0-0-0 1
 141 0101-1-1 1
 142 --0-00-1 1
 143 1-0-10-0 1
 144
 145 Cache used slots = 58.06% (expected 58.92%)
 146 xor1: 14 nodes 1 leaves 28 minterms
 147 000--1-1  1
 148 001-11-1  1
 149 01---0-0  1
 150 100--1-1  1
 151 101-00-0  1
 152 101-01-1  1
 153 110--0-0  1
 154 111-00-0  1
 155
 156 Chosen minterm for Hamming distance test: : 9 nodes 1 leaves 1 minterms
 157 11110010  1
 158
 159 Minimum Hamming distance = 1
 160 ycube: 5 nodes 1 leaves 8 minterms
 161 -0-0-0-0  1
 162
 163 CP: 11 nodes 1 leaves 7 minterms
 164 00-0-0-0  1
 165 1000-0-0  1
 166 101000-1  1
 167
 168 :4: ineq: 10 nodes 1 leaves 42 minterms
 169 001000--  1
 170 00101---  1
 171 1000----  1
 172 100100--  1
 173 10011---  1
 174 101-----  1
 175 111000--  1
 176 11101---  1
 177
 178 10------ 1
 179 -01----- 1
 180 1-1----- 1
 181 -0-0---- 1
 182 1--0---- 1
 183 -0--10-- 1
 184 --1010-- 1
 185 1---10-- 1
 186
 187 :4: ess: 1 nodes 1 leaves 128 minterms
 188 --------  1
 189
 190 :5: shortP: 7 nodes 1 leaves 2 minterms
 191 000000--  1
 192
 193 :5b: largest: 4 nodes 1 leaves 16 minterms
 194 01-1----  1
 195
 196 The value of M along the chosen shortest path is 1
 197 :6: shortP: 5 nodes 1 leaves 8 minterms
 198 0000----  1
 199
 200 Average distance: 4133.34
 201 Number of variables =      8    Number of slots     =   2304
 202 Number of keys      =    995    Number of min dead  =   9216
 203 walsh1: 16 nodes 2 leaves 256 minterms
 204 -0--0--0--0-  1
 205 -0--0--0--10  1
 206 -0--0--0--11 -1
 207 -0--0--10-0-  1
 208 -0--0--10-10  1
 209 -0--0--10-11 -1
 210 -0--0--11-0- -1
 211 -0--0--11-10 -1
 212 -0--0--11-11  1
 213 -0--10-0--0-  1
 214 -0--10-0--10  1
 215 -0--10-0--11 -1
 216 -0--10-10-0-  1
 217 -0--10-10-10  1
 218 -0--10-10-11 -1
 219 -0--10-11-0- -1
 220 -0--10-11-10 -1
 221 -0--10-11-11  1
 222 -0--11-0--0- -1
 223 -0--11-0--10 -1
 224 -0--11-0--11  1
 225 -0--11-10-0- -1
 226 -0--11-10-10 -1
 227 -0--11-10-11  1
 228 -0--11-11-0-  1
 229 -0--11-11-10  1
 230 -0--11-11-11 -1
 231 -10-0--0--0-  1
 232 -10-0--0--10  1
 233 -10-0--0--11 -1
 234 -10-0--10-0-  1
 235 -10-0--10-10  1
 236 -10-0--10-11 -1
 237 -10-0--11-0- -1
 238 -10-0--11-10 -1
 239 -10-0--11-11  1
 240 -10-10-0--0-  1
 241 -10-10-0--10  1
 242 -10-10-0--11 -1
 243 -10-10-10-0-  1
 244 -10-10-10-10  1
 245 -10-10-10-11 -1
 246 -10-10-11-0- -1
 247 -10-10-11-10 -1
 248 -10-10-11-11  1
 249 -10-11-0--0- -1
 250 -10-11-0--10 -1
 251 -10-11-0--11  1
 252 -10-11-10-0- -1
 253 -10-11-10-10 -1
 254 -10-11-10-11  1
 255 -10-11-11-0-  1
 256 -10-11-11-10  1
 257 -10-11-11-11 -1
 258 -11-0--0--0- -1
 259 -11-0--0--10 -1
 260 -11-0--0--11  1
 261 -11-0--10-0- -1
 262 -11-0--10-10 -1
 263 -11-0--10-11  1
 264 -11-0--11-0-  1
 265 -11-0--11-10  1
 266 -11-0--11-11 -1
 267 -11-10-0--0- -1
 268 -11-10-0--10 -1
 269 -11-10-0--11  1
 270 -11-10-10-0- -1
 271 -11-10-10-10 -1
 272 -11-10-10-11  1
 273 -11-10-11-0-  1
 274 -11-10-11-10  1
 275 -11-10-11-11 -1
 276 -11-11-0--0-  1
 277 -11-11-0--10  1
 278 -11-11-0--11 -1
 279 -11-11-10-0-  1
 280 -11-11-10-10  1
 281 -11-11-10-11 -1
 282 -11-11-11-0- -1
 283 -11-11-11-10 -1
 284 -11-11-11-11  1
 285
 286 wtw: 14 nodes 2 leaves 16 minterms
 287 0-00-00-00-0  16
 288 0-00-00-01-1  16
 289 0-00-01-10-0  16
 290 0-00-01-11-1  16
 291 0-01-10-00-0  16
 292 0-01-10-01-1  16
 293 0-01-11-10-0  16
 294 0-01-11-11-1  16
 295 1-10-00-00-0  16
 296 1-10-00-01-1  16
 297 1-10-01-10-0  16
 298 1-10-01-11-1  16
 299 1-11-10-00-0  16
 300 1-11-10-01-1  16
 301 1-11-11-10-0  16
 302 1-11-11-11-1  16
 303
 304 Average length of non-empty lists = 1
 305 **** CUDD modifiable parameters ****
 306 Hard limit for cache size: 7645866
 307 Cache hit threshold for resizing: 30%
 308 Garbage collection enabled: yes
 309 Limit for fast unique table growth: 4587520
 310 Maximum number of variables sifted per reordering: 1000
 311 Maximum number of variable swaps per reordering: 2000000
 312 Maximum growth while sifting a variable: 1.2
 313 Dynamic reordering of BDDs enabled: no
 314 Default BDD reordering method: 4
 315 Dynamic reordering of ZDDs enabled: no
 316 Default ZDD reordering method: 4
 317 Realignment of ZDDs to BDDs enabled: no
 318 Realignment of BDDs to ZDDs enabled: no
 319 Dead nodes counted in triggering reordering: no
 320 Group checking criterion: 7
 321 Recombination threshold: 0
 322 Symmetry violation threshold: 0
 323 Arc violation threshold: 0
 324 GA population size: 0
 325 Number of crossovers for GA: 0
 326 Next reordering threshold: 4004
 327 **** CUDD non-modifiable parameters ****
 328 Memory in use: 4274484
 329 Peak number of nodes: 2044
 330 Peak number of live nodes: 119
 331 Number of BDD variables: 9
 332 Number of ZDD variables: 0
 333 Number of cache entries: 2048
 334 Number of cache look-ups: 2846
 335 Number of cache hits: 715
 336 Number of cache insertions: 2289
 337 Number of cache collisions: 937
 338 Number of cache deletions: 1348
 339 Cache used slots = 66.02% (expected 67.30%)
 340 Soft limit for cache size: 13312
 341 Number of buckets in unique table: 2560
 342 Used buckets in unique table: 0.51% (expected 0.51%)
 343 Number of BDD and ADD nodes: 13
 344 Number of ZDD nodes: 0
 345 Number of dead BDD and ADD nodes: 0
 346 Number of dead ZDD nodes: 0
 347 Total number of nodes allocated: 1091
 348 Total number of nodes reclaimed: 950
 349 Garbage collections so far: 1
 350 Time for garbage collection: 0.00 sec
 351 Reorderings so far: 0
 352 Time for reordering: 0.00 sec
 353 total time = 0.00 sec
 354 Runtime Statistics
 355 ------------------
 356 Machine name: jobim.colorado.edu
 357 User time      0.0 seconds
 358 System time    0.0 seconds
 359
 360 Average resident text size       =     0K
 361 Average resident data+stack size =     0K
 362 Maximum resident size            =     0K
 363
 364 Virtual text size                = 131644K
 365 Virtual data size                =   151K
 366     data size initialized        =    17K
 367     data size uninitialized      =     0K
 368     data size sbrk               =   134K
 369 Virtual memory limit             = 358400K (4194304K)
 370
 371 Major page faults = 0
 372 Minor page faults = 1318
 373 Swaps = 0
 374 Input blocks = 0
 375 Output blocks = 0
 376 Context switch (voluntary) = 1
 377 Context switch (involuntary) = 1