You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
352 lines
6.5 KiB
352 lines
6.5 KiB
# TestCudd Version #1.0, Release date 3/17/01
|
|
# testcudd -p 2 r7x8.1.mat
|
|
:name: r7x8.1.mat: 7 rows 9 columns
|
|
:1: M: 63 nodes 5 leaves 52 minterms
|
|
000000-- 1
|
|
000001-0 1
|
|
000001-1 4
|
|
000010-0 4
|
|
000010-1 3
|
|
000011-0 2
|
|
000011-1 4
|
|
000100-- 3
|
|
000101-0 3
|
|
000110-0 1
|
|
000110-1 2
|
|
000111-0 4
|
|
001000-- 1
|
|
001001-0 4
|
|
001010-0 2
|
|
001010-1 1
|
|
001011-1 4
|
|
001100-0 2
|
|
001100-1 3
|
|
001101-0 3
|
|
001110-0 4
|
|
001110-1 1
|
|
0100-0-0 3
|
|
011000-0 3
|
|
011010-0 1
|
|
100000-0 2
|
|
100000-1 3
|
|
100001-0 2
|
|
100001-1 4
|
|
100010-- 3
|
|
100011-- 4
|
|
100100-- 1
|
|
100101-0 2
|
|
100110-0 1
|
|
100110-1 3
|
|
100111-0 3
|
|
101000-1 1
|
|
101001-0 1
|
|
101001-1 4
|
|
101100-0 2
|
|
101100-1 4
|
|
101101-0 4
|
|
110000-0 2
|
|
110010-0 4
|
|
111000-0 2
|
|
|
|
:2: time to read the matrix = 0.01 sec
|
|
:3: C: 22 nodes 1 leaves 52 minterms
|
|
0000---- 1
|
|
0001-0-- 1
|
|
0001-1-0 1
|
|
001000-- 1
|
|
001001-0 1
|
|
001010-- 1
|
|
001011-1 1
|
|
001100-- 1
|
|
001101-0 1
|
|
001110-- 1
|
|
01-0-0-0 1
|
|
1000---- 1
|
|
1001-0-- 1
|
|
1001-1-0 1
|
|
101000-1 1
|
|
101001-- 1
|
|
101100-- 1
|
|
101101-0 1
|
|
1100-0-0 1
|
|
111000-0 1
|
|
|
|
Testing iterator on cubes:
|
|
000000-- 1
|
|
000001-0 1
|
|
000001-1 4
|
|
000010-0 4
|
|
000010-1 3
|
|
000011-0 2
|
|
000011-1 4
|
|
000100-- 3
|
|
000101-0 3
|
|
000110-0 1
|
|
000110-1 2
|
|
000111-0 4
|
|
001000-- 1
|
|
001001-0 4
|
|
001010-0 2
|
|
001010-1 1
|
|
001011-1 4
|
|
001100-0 2
|
|
001100-1 3
|
|
001101-0 3
|
|
001110-0 4
|
|
001110-1 1
|
|
0100-0-0 3
|
|
011000-0 3
|
|
011010-0 1
|
|
100000-0 2
|
|
100000-1 3
|
|
100001-0 2
|
|
100001-1 4
|
|
100010-- 3
|
|
100011-- 4
|
|
100100-- 1
|
|
100101-0 2
|
|
100110-0 1
|
|
100110-1 3
|
|
100111-0 3
|
|
101000-1 1
|
|
101001-0 1
|
|
101001-1 4
|
|
101100-0 2
|
|
101100-1 4
|
|
101101-0 4
|
|
110000-0 2
|
|
110010-0 4
|
|
111000-0 2
|
|
|
|
Testing prime expansion of cubes:
|
|
-000---- 1
|
|
-00--0-- 1
|
|
0--0-0-0 1
|
|
--00-0-0 1
|
|
-0-100-- 1
|
|
10-001-- 1
|
|
-00----0 1
|
|
00---0-- 1
|
|
-1-000-0 1
|
|
-0--01-0 1
|
|
-0--00-1 1
|
|
00-01--1 1
|
|
|
|
Cache used slots = 48.58% (expected 49.02%)
|
|
xor1: 14 nodes 1 leaves 28 minterms
|
|
000--1-1 1
|
|
001-11-1 1
|
|
01---0-0 1
|
|
100--1-1 1
|
|
101-00-0 1
|
|
101-01-1 1
|
|
110--0-0 1
|
|
111-00-0 1
|
|
|
|
Chosen minterm for Hamming distance test: : 9 nodes 1 leaves 1 minterms
|
|
11110010 1
|
|
|
|
Minimum Hamming distance = 1
|
|
ycube: 5 nodes 1 leaves 8 minterms
|
|
-0-0-0-0 1
|
|
|
|
CP: 11 nodes 1 leaves 7 minterms
|
|
00-0-0-0 1
|
|
1000-0-0 1
|
|
101000-1 1
|
|
|
|
:4: ess: 1 nodes 1 leaves 128 minterms
|
|
-------- 1
|
|
|
|
:5: shortP: 7 nodes 1 leaves 2 minterms
|
|
000000-- 1
|
|
|
|
:5b: largest: 4 nodes 1 leaves 16 minterms
|
|
01-1---- 1
|
|
|
|
The value of M along the chosen shortest path is 1
|
|
:6: shortP: 5 nodes 1 leaves 8 minterms
|
|
0000---- 1
|
|
|
|
Average distance: 7893.21
|
|
Number of variables = 8 Number of slots = 2304
|
|
Number of keys = 867 Number of min dead = 9216
|
|
walsh1: 16 nodes 2 leaves 256 minterms
|
|
-0--0--0--0- 1
|
|
-0--0--0--10 1
|
|
-0--0--0--11 -1
|
|
-0--0--10-0- 1
|
|
-0--0--10-10 1
|
|
-0--0--10-11 -1
|
|
-0--0--11-0- -1
|
|
-0--0--11-10 -1
|
|
-0--0--11-11 1
|
|
-0--10-0--0- 1
|
|
-0--10-0--10 1
|
|
-0--10-0--11 -1
|
|
-0--10-10-0- 1
|
|
-0--10-10-10 1
|
|
-0--10-10-11 -1
|
|
-0--10-11-0- -1
|
|
-0--10-11-10 -1
|
|
-0--10-11-11 1
|
|
-0--11-0--0- -1
|
|
-0--11-0--10 -1
|
|
-0--11-0--11 1
|
|
-0--11-10-0- -1
|
|
-0--11-10-10 -1
|
|
-0--11-10-11 1
|
|
-0--11-11-0- 1
|
|
-0--11-11-10 1
|
|
-0--11-11-11 -1
|
|
-10-0--0--0- 1
|
|
-10-0--0--10 1
|
|
-10-0--0--11 -1
|
|
-10-0--10-0- 1
|
|
-10-0--10-10 1
|
|
-10-0--10-11 -1
|
|
-10-0--11-0- -1
|
|
-10-0--11-10 -1
|
|
-10-0--11-11 1
|
|
-10-10-0--0- 1
|
|
-10-10-0--10 1
|
|
-10-10-0--11 -1
|
|
-10-10-10-0- 1
|
|
-10-10-10-10 1
|
|
-10-10-10-11 -1
|
|
-10-10-11-0- -1
|
|
-10-10-11-10 -1
|
|
-10-10-11-11 1
|
|
-10-11-0--0- -1
|
|
-10-11-0--10 -1
|
|
-10-11-0--11 1
|
|
-10-11-10-0- -1
|
|
-10-11-10-10 -1
|
|
-10-11-10-11 1
|
|
-10-11-11-0- 1
|
|
-10-11-11-10 1
|
|
-10-11-11-11 -1
|
|
-11-0--0--0- -1
|
|
-11-0--0--10 -1
|
|
-11-0--0--11 1
|
|
-11-0--10-0- -1
|
|
-11-0--10-10 -1
|
|
-11-0--10-11 1
|
|
-11-0--11-0- 1
|
|
-11-0--11-10 1
|
|
-11-0--11-11 -1
|
|
-11-10-0--0- -1
|
|
-11-10-0--10 -1
|
|
-11-10-0--11 1
|
|
-11-10-10-0- -1
|
|
-11-10-10-10 -1
|
|
-11-10-10-11 1
|
|
-11-10-11-0- 1
|
|
-11-10-11-10 1
|
|
-11-10-11-11 -1
|
|
-11-11-0--0- 1
|
|
-11-11-0--10 1
|
|
-11-11-0--11 -1
|
|
-11-11-10-0- 1
|
|
-11-11-10-10 1
|
|
-11-11-10-11 -1
|
|
-11-11-11-0- -1
|
|
-11-11-11-10 -1
|
|
-11-11-11-11 1
|
|
|
|
wtw: 14 nodes 2 leaves 16 minterms
|
|
0-00-00-00-0 16
|
|
0-00-00-01-1 16
|
|
0-00-01-10-0 16
|
|
0-00-01-11-1 16
|
|
0-01-10-00-0 16
|
|
0-01-10-01-1 16
|
|
0-01-11-10-0 16
|
|
0-01-11-11-1 16
|
|
1-10-00-00-0 16
|
|
1-10-00-01-1 16
|
|
1-10-01-10-0 16
|
|
1-10-01-11-1 16
|
|
1-11-10-00-0 16
|
|
1-11-10-01-1 16
|
|
1-11-11-10-0 16
|
|
1-11-11-11-1 16
|
|
|
|
Average length of non-empty lists = 1
|
|
**** CUDD modifiable parameters ****
|
|
Hard limit for cache size: 2271914
|
|
Cache hit threshold for resizing: 30%
|
|
Garbage collection enabled: yes
|
|
Limit for fast unique table growth: 1363148
|
|
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: 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: 0
|
|
Arc violation threshold: 0
|
|
GA population size: 0
|
|
Number of crossovers for GA: 0
|
|
Next reordering threshold: 4004
|
|
**** CUDD non-modifiable parameters ****
|
|
Memory in use: 1112420
|
|
Peak number of nodes: 1022
|
|
Peak number of live nodes: 116
|
|
Number of BDD variables: 9
|
|
Number of ZDD variables: 0
|
|
Number of cache entries: 2048
|
|
Number of cache look-ups: 2102
|
|
Number of cache hits: 557
|
|
Number of cache insertions: 1634
|
|
Number of cache collisions: 512
|
|
Number of cache deletions: 1118
|
|
Cache used slots = 54.79% (expected 54.97%)
|
|
Soft limit for cache size: 13312
|
|
Number of buckets in unique table: 2560
|
|
Used buckets in unique table: 0.51% (expected 0.51%)
|
|
Unique lookups: 1262
|
|
Unique links: 158 (0.125198 per lookup)
|
|
Number of BDD and ADD nodes: 13
|
|
Number of ZDD nodes: 0
|
|
Number of dead BDD and ADD nodes: 0
|
|
Number of dead ZDD nodes: 0
|
|
Total number of nodes allocated: 963
|
|
Total number of nodes reclaimed: 808
|
|
Number of recursive calls: 4463
|
|
Garbage collections so far: 1
|
|
Time for garbage collection: 0.00 sec
|
|
Reorderings so far: 0
|
|
Time for reordering: 0.00 sec
|
|
Node swaps in reordering: 0
|
|
total time = 0.01 sec
|
|
Runtime Statistics
|
|
------------------
|
|
Machine name: joplin.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 = 131593K
|
|
Virtual data size = 124K
|
|
data size initialized = 24K
|
|
data size uninitialized = 1K
|
|
data size sbrk = 99K
|
|
Virtual memory limit = 106496K (2097152K)
|
|
|
|
Major page faults = 152
|
|
Minor page faults = 309
|
|
Swaps = 0
|
|
Input blocks = 0
|
|
Output blocks = 0
|
|
Context switch (voluntary) = 0
|
|
Context switch (involuntary) = 0
|