Instance: normalized-fpga-14-14_ext
Number of variables: 294
Number of constraints: 238
Satisfiable: None
Timestamp: 2018-04-21 10:28:32
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 294
Number of constraints: 238
General features
Number of coarse blocks: 29,204
Number of unique subscopes: 308
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
7 |
14 |
8.65 |
8.00 |
2,058 |
MAX VALUE |
508.71 |
1.97 |
0.23 |
0.58 |
Coarse blocks size |
1 |
8,192 |
125.48 |
2.00 |
3,664,610 |
MAX VALUE |
36,697.70 |
941.64 |
7.50 |
0.64 |
Relational linkage |
0.00 |
1.00 |
0.76 |
1.00 |
1,797.61 |
0.00 |
-3,649.17 |
0.42 |
0.56 |
0.92 |
Tightness |
0.00 |
1.00 |
0.12 |
0.00 |
27.88 |
0.00 |
-1,223.63 |
0.31 |
2.65 |
0.66 |
Tuples |
8 |
16,383 |
1,175.06 |
255.00 |
279,664 |
MAX VALUE |
1,288.97 |
3,802.79 |
3.24 |
0.66 |
Domain size |
2 |
2 |
2.00 |
2.00 |
588 |
MAX VALUE |
203.78 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
3 |
15 |
7.32 |
3.00 |
2,254 |
MAX VALUE |
517.66 |
5.72 |
0.78 |
0.79 |
Partitions per subscope |
2 |
128 |
7.73 |
2.00 |
2,380 |
MAX VALUE |
271.71 |
26.25 |
3.40 |
0.18 |
Tree decomposition
Number of clusters: 40
Number of leaves: 14
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
16 |
6.30 |
2.00 |
252 |
0 |
None |
7.16 |
1.14 |
1.10 |
Cluster variables |
27 |
144 |
52.35 |
39.00 |
2,094 |
MAX VALUE |
151.82 |
34.35 |
0.66 |
1.50 |
Separator constraints |
0 |
1 |
0.35 |
0.00 |
14 |
0 |
None |
0.48 |
1.36 |
0.65 |
Separator variables |
0 |
108 |
45.00 |
38.00 |
1,800 |
0 |
None |
25.77 |
0.57 |
1.50 |
Dual tree decomposition
Number of clusters: 196
Number of leaves: 14
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
23 |
205 |
101.00 |
93.00 |
19,796 |
MAX VALUE |
866.65 |
56.89 |
0.56 |
2.64 |
Cluster variables |
23 |
23 |
23.00 |
23.00 |
4,508 |
MAX VALUE |
614.56 |
0.00 |
0.00 |
0.00 |
Separator constraints |
0 |
183 |
84.50 |
77.50 |
16,562 |
0 |
None |
54.35 |
0.64 |
2.64 |
Separator variables |
0 |
22 |
21.79 |
22.00 |
4,270 |
0 |
None |
1.68 |
0.08 |
0.29 |
Primal graph
Density: 10.47%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.51 |
0.63 |
0.55 |
0.51 |
161.30 |
0.00 |
-178.07 |
0.06 |
0.11 |
0.64 |
Degree |
26 |
33 |
30.67 |
33.00 |
9,016 |
MAX VALUE |
1,004.61 |
3.30 |
0.11 |
0.64 |
Eccentricity |
2 |
3 |
2.33 |
2.00 |
686 |
MAX VALUE |
243.52 |
0.47 |
0.20 |
0.64 |
Triangulated primal graph
Density: 56.83%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.71 |
1.00 |
0.85 |
0.87 |
250.48 |
0.00 |
-48.48 |
0.08 |
0.10 |
2.62 |
Degree |
26 |
250 |
166.51 |
167.00 |
48,954 |
MAX VALUE |
1,466.20 |
64.36 |
0.39 |
2.62 |
Eccentricity |
2 |
3 |
2.05 |
2.00 |
602 |
MAX VALUE |
209.46 |
0.21 |
0.10 |
0.19 |
Dual graph
Density: 11.47%
MCB compute time (ms): 7,038
MCB cycles: 2,997
Triangles: 15,484
Dot-file path:
/mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.04 |
0.79 |
0.68 |
0.79 |
161.56 |
0.00 |
-137.87 |
0.25 |
0.37 |
0.66 |
Degree |
22 |
98 |
27.18 |
22.00 |
6,468 |
MAX VALUE |
763.34 |
17.81 |
0.66 |
0.58 |
Eccentricity |
2 |
4 |
3.00 |
3.00 |
714 |
MAX VALUE |
259.82 |
0.34 |
0.11 |
0.44 |
MCB cycle size |
3 |
4 |
3.08 |
3.00 |
9,244 |
MAX VALUE |
3,365.32 |
0.28 |
0.09 |
0.29 |
Minimal dual graph
Density: 2.38%
MCB compute time (ms): 255
MCB cycles: 435
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.23 |
0.20 |
54.58 |
0.00 |
None |
0.11 |
0.50 |
1.41 |
Degree |
4 |
15 |
5.65 |
4.00 |
1,344 |
MAX VALUE |
386.16 |
3.34 |
0.59 |
1.15 |
Eccentricity |
3 |
6 |
4.90 |
5.00 |
1,167 |
MAX VALUE |
377.32 |
0.45 |
0.09 |
0.64 |
MCB cycle size |
3 |
6 |
4.37 |
4.00 |
1,899 |
MAX VALUE |
620.70 |
1.33 |
0.30 |
1.23 |
Triangulated dual graph
Density: 17.50%
Triangles: 50,512
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.17 |
1.00 |
0.85 |
0.92 |
203.21 |
0.00 |
-50.54 |
0.21 |
0.24 |
2.91 |
Degree |
22 |
235 |
41.47 |
30.00 |
9,870 |
MAX VALUE |
840.60 |
37.19 |
0.90 |
2.91 |
Eccentricity |
2 |
3 |
2.04 |
2.00 |
485 |
MAX VALUE |
168.62 |
0.19 |
0.09 |
0.16 |
Triangulated minimal dual graph
Density: 7.39%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.25 |
1.00 |
0.81 |
0.78 |
192.24 |
0.00 |
-60.41 |
0.20 |
0.25 |
2.64 |
Degree |
4 |
91 |
17.51 |
8.00 |
4,168 |
MAX VALUE |
550.92 |
20.49 |
1.17 |
2.57 |
Eccentricity |
2 |
4 |
3.42 |
3.00 |
813 |
MAX VALUE |
289.24 |
0.54 |
0.16 |
0.79 |
Incidence graph
Density: 1.46%
MCB compute time (ms): 1,433
MCB cycles: 1,527
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Incidence1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
None |
0.00 |
None |
0.00 |
Degree |
3 |
15 |
7.74 |
8.00 |
4,116 |
MAX VALUE |
989.42 |
4.48 |
0.58 |
1.30 |
Eccentricity |
4 |
8 |
5.82 |
6.00 |
3,094 |
MAX VALUE |
930.94 |
0.85 |
0.15 |
1.24 |
MCB cycle size |
4 |
8 |
4.90 |
4.00 |
7,484 |
MAX VALUE |
2,366.03 |
1.52 |
0.31 |
0.79 |
None