Instance: normalized-fpga-15-15_ext
Number of variables: 338
Number of constraints: 270
Satisfiable: None
Timestamp: 2018-04-21 10:28:21
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 338
Number of constraints: 270
General features
Number of coarse blocks: 49,126
Number of unique subscopes: 353
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
7 |
15 |
9.20 |
9.00 |
2,483 |
MAX VALUE |
593.51 |
2.12 |
0.23 |
1.06 |
Coarse blocks size |
1 |
16,384 |
167.56 |
2.00 |
8,231,320 |
MAX VALUE |
55,776.20 |
1,560.16 |
9.31 |
0.55 |
Relational linkage |
0.00 |
1.00 |
0.81 |
1.00 |
2,947.34 |
0.00 |
-4,568.11 |
0.38 |
0.47 |
0.80 |
Tightness |
0.00 |
1.00 |
0.11 |
0.00 |
29.92 |
0.00 |
-1,487.55 |
0.31 |
2.76 |
1.25 |
Tuples |
8 |
32,767 |
2,148.03 |
383.00 |
579,968 |
MAX VALUE |
1,559.88 |
7,428.06 |
3.46 |
1.25 |
Domain size |
2 |
2 |
2.00 |
2.00 |
676 |
MAX VALUE |
234.28 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
3 |
16 |
7.67 |
3.00 |
2,708 |
MAX VALUE |
601.11 |
6.20 |
0.81 |
0.79 |
Partitions per subscope |
2 |
256 |
10.26 |
2.00 |
3,620 |
MAX VALUE |
312.61 |
41.34 |
4.03 |
0.21 |
Tree decomposition
Number of clusters: 43
Number of leaves: 15
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
17 |
6.63 |
2.00 |
285 |
0 |
None |
7.63 |
1.15 |
1.10 |
Cluster variables |
28 |
176 |
57.09 |
41.00 |
2,455 |
MAX VALUE |
166.71 |
38.21 |
0.67 |
2.12 |
Separator constraints |
0 |
1 |
0.35 |
0.00 |
15 |
0 |
None |
0.48 |
1.37 |
0.65 |
Separator variables |
0 |
120 |
49.23 |
40.00 |
2,117 |
0 |
None |
28.40 |
0.58 |
2.08 |
Dual tree decomposition
Number of clusters: 225
Number of leaves: 15
Tree depth: 21
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
24 |
242 |
114.60 |
109.00 |
25,785 |
MAX VALUE |
1,021.41 |
65.64 |
0.57 |
3.40 |
Cluster variables |
24 |
25 |
24.53 |
25.00 |
5,520 |
MAX VALUE |
719.96 |
0.50 |
0.02 |
0.69 |
Separator constraints |
0 |
218 |
97.07 |
92.00 |
21,840 |
0 |
None |
62.78 |
0.65 |
3.35 |
Separator variables |
0 |
24 |
23.33 |
23.00 |
5,250 |
0 |
None |
1.75 |
0.07 |
0.85 |
Primal graph
Density: 9.81%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.51 |
0.64 |
0.55 |
0.51 |
185.59 |
0.00 |
-204.41 |
0.06 |
0.10 |
1.33 |
Degree |
27 |
36 |
33.06 |
35.00 |
11,174 |
MAX VALUE |
1,180.34 |
3.56 |
0.11 |
1.33 |
Eccentricity |
2 |
3 |
2.33 |
2.00 |
789 |
MAX VALUE |
280.10 |
0.47 |
0.20 |
0.64 |
Triangulated primal graph
Density: 55.93%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.75 |
1.00 |
0.85 |
0.85 |
287.25 |
0.00 |
-56.52 |
0.08 |
0.10 |
3.02 |
Degree |
27 |
266 |
188.47 |
218.00 |
63,702 |
MAX VALUE |
1,726.21 |
73.87 |
0.39 |
2.82 |
Eccentricity |
2 |
3 |
2.04 |
2.00 |
691 |
MAX VALUE |
240.37 |
0.21 |
0.10 |
0.18 |
Dual graph
Density: 10.86%
MCB compute time (ms): 7,514
MCB cycles: 3,676
Triangles: 20,490
Dot-file path:
/mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.03 |
0.81 |
0.69 |
0.79 |
185.99 |
0.00 |
-151.90 |
0.25 |
0.36 |
1.25 |
Degree |
23 |
120 |
29.22 |
24.00 |
7,890 |
MAX VALUE |
883.51 |
20.50 |
0.70 |
1.17 |
Eccentricity |
2 |
4 |
3.00 |
3.00 |
810 |
MAX VALUE |
294.86 |
0.33 |
0.11 |
0.43 |
MCB cycle size |
3 |
4 |
3.08 |
3.00 |
11,322 |
MAX VALUE |
4,123.08 |
0.27 |
0.09 |
0.28 |
Minimal dual graph
Density: 2.13%
MCB compute time (ms): 271
MCB cycles: 504
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.23 |
0.20 |
62.33 |
0.00 |
None |
0.11 |
0.49 |
1.38 |
Degree |
4 |
16 |
5.73 |
4.00 |
1,546 |
MAX VALUE |
439.40 |
3.58 |
0.62 |
1.18 |
Eccentricity |
3 |
6 |
4.91 |
5.00 |
1,325 |
MAX VALUE |
428.33 |
0.44 |
0.09 |
0.62 |
MCB cycle size |
3 |
6 |
4.37 |
4.00 |
2,202 |
MAX VALUE |
719.47 |
1.33 |
0.30 |
1.22 |
Triangulated dual graph
Density: 16.56%
Triangles: 66,182
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.16 |
1.00 |
0.86 |
0.92 |
231.17 |
0.00 |
-56.83 |
0.21 |
0.24 |
3.58 |
Degree |
23 |
263 |
44.53 |
32.00 |
12,024 |
MAX VALUE |
971.23 |
40.81 |
0.92 |
3.05 |
Eccentricity |
2 |
3 |
2.44 |
2.00 |
658 |
MAX VALUE |
235.00 |
0.50 |
0.20 |
0.69 |
Triangulated minimal dual graph
Density: 6.80%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.21 |
1.00 |
0.81 |
0.87 |
217.91 |
0.00 |
-68.15 |
0.19 |
0.24 |
2.91 |
Degree |
4 |
120 |
18.30 |
6.00 |
4,942 |
MAX VALUE |
634.27 |
22.33 |
1.22 |
2.98 |
Eccentricity |
2 |
4 |
3.39 |
3.00 |
915 |
MAX VALUE |
326.01 |
0.54 |
0.16 |
0.78 |
Incidence graph
Density: 1.35%
MCB compute time (ms): 2,227
MCB cycles: 1,876
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_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 |
16 |
8.17 |
8.00 |
4,966 |
MAX VALUE |
1,154.00 |
4.87 |
0.60 |
1.51 |
Eccentricity |
4 |
8 |
5.82 |
6.00 |
3,536 |
MAX VALUE |
1,064.02 |
0.85 |
0.15 |
1.23 |
MCB cycle size |
4 |
8 |
4.85 |
4.00 |
9,100 |
MAX VALUE |
2,889.62 |
1.49 |
0.31 |
0.76 |
None