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
51 :2: time to read the matrix = 0.00 sec
52 :3: C: 22 nodes 1 leaves 52 minterms
74 Testing iterator on cubes:
121 Testing prime expansion of cubes:
135 Testing iterator on primes (CNF):
145 Cache used slots = 58.06% (expected 58.92%)
146 xor1: 14 nodes 1 leaves 28 minterms
156 Chosen minterm for Hamming distance test: : 9 nodes 1 leaves 1 minterms
159 Minimum Hamming distance = 1
160 ycube: 5 nodes 1 leaves 8 minterms
163 CP: 11 nodes 1 leaves 7 minterms
168 :4: ineq: 10 nodes 1 leaves 42 minterms
187 :4: ess: 1 nodes 1 leaves 128 minterms
190 :5: shortP: 7 nodes 1 leaves 2 minterms
193 :5b: largest: 4 nodes 1 leaves 16 minterms
196 The value of M along the chosen shortest path is 1
197 :6: shortP: 5 nodes 1 leaves 8 minterms
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
286 wtw: 14 nodes 2 leaves 16 minterms
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
356 Machine name: jobim.colorado.edu
357 User time 0.0 seconds
358 System time 0.0 seconds
360 Average resident text size = 0K
361 Average resident data+stack size = 0K
362 Maximum resident size = 0K
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)
371 Major page faults = 0
372 Minor page faults = 1318
376 Context switch (voluntary) = 1
377 Context switch (involuntary) = 1