Instance: normalized-graceful--K3-P2_ext
Number of variables: 15
Number of constraints: 51
Satisfiable: None
Timestamp: 2018-04-21 10:06:04
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 15
Number of constraints: 51
General features
Number of coarse blocks: 1,029
Number of unique subscopes: 15
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
3 |
2.18 |
2.00 |
111 |
8.66e+16 |
39.00 |
0.38 |
0.18 |
0.47 |
Coarse blocks size |
2 |
18 |
8.45 |
8.00 |
8,694 |
MAX VALUE |
2,178.01 |
1.58 |
0.19 |
0.98 |
Relational linkage |
0.02 |
0.18 |
0.10 |
0.10 |
14.10 |
0.00 |
-339.81 |
0.04 |
0.39 |
1.75 |
Tightness |
0.10 |
0.90 |
0.25 |
0.11 |
12.70 |
0.00 |
-93.86 |
0.30 |
1.21 |
0.80 |
Tuples |
72 |
90 |
77.29 |
72.00 |
3,942 |
MAX VALUE |
221.46 |
8.20 |
0.11 |
0.61 |
Domain size |
9 |
10 |
9.40 |
9.00 |
141 |
3.87e+14 |
33.59 |
0.49 |
0.05 |
0.67 |
Constraints per subscope |
5 |
9 |
7.40 |
9.00 |
111 |
6.05e+12 |
29.43 |
1.96 |
0.26 |
0.67 |
Partitions per subscope |
9 |
10 |
9.40 |
9.00 |
141 |
3.87e+14 |
33.59 |
0.49 |
0.05 |
0.67 |
Tree decomposition
Number of clusters: 5
Number of leaves: 2
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
12 |
37 |
22.60 |
18.00 |
113 |
3,836,160 |
15.16 |
9.37 |
0.41 |
1.61 |
Cluster variables |
9 |
11 |
10.20 |
10.00 |
51 |
108,900 |
11.60 |
0.75 |
0.07 |
1.05 |
Separator constraints |
0 |
28 |
12.40 |
12.00 |
62 |
0 |
None |
9.31 |
0.75 |
1.61 |
Separator variables |
0 |
10 |
7.20 |
9.00 |
36 |
0 |
None |
3.66 |
0.51 |
1.33 |
Dual tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
24 |
167 |
77.83 |
79.00 |
934 |
4.00e+21 |
49.74 |
46.84 |
0.60 |
1.98 |
Cluster variables |
9 |
32 |
17.67 |
17.00 |
212 |
3.12e+14 |
33.37 |
7.52 |
0.43 |
1.42 |
Separator constraints |
0 |
93 |
45.83 |
56.50 |
550 |
0 |
None |
29.90 |
0.65 |
1.98 |
Separator variables |
0 |
24 |
13.42 |
16.00 |
161 |
0 |
None |
6.74 |
0.50 |
1.42 |
Primal graph
Density: 65.71%
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.57 |
0.73 |
0.67 |
0.73 |
10.03 |
0.00 |
-6.15 |
0.08 |
0.12 |
0.67 |
Degree |
8 |
10 |
9.20 |
10.00 |
138 |
2.62e+14 |
33.20 |
0.98 |
0.11 |
0.67 |
Eccentricity |
2 |
2 |
2.00 |
2.00 |
30 |
32,768 |
10.40 |
0.00 |
0.00 |
0.00 |
Triangulated primal graph
Density: 86.67%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.85 |
1.00 |
0.91 |
0.90 |
13.68 |
0.24 |
-1.41 |
0.06 |
0.06 |
1.89 |
Degree |
8 |
14 |
12.13 |
13.00 |
182 |
1.51e+16 |
37.25 |
1.82 |
0.15 |
1.64 |
Eccentricity |
1 |
2 |
1.67 |
2.00 |
25 |
1,024 |
6.93 |
0.47 |
0.28 |
0.64 |
Dual graph
Density: 30.12%
MCB compute time (ms): 296
MCB cycles: 334
Triangles: 938
Dot-file path:
/mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.40 |
0.57 |
0.51 |
0.53 |
26.08 |
0.00 |
-34.52 |
0.05 |
0.10 |
1.29 |
Degree |
8 |
16 |
15.06 |
16.00 |
768 |
MAX VALUE |
137.24 |
2.58 |
0.17 |
0.36 |
Eccentricity |
2 |
3 |
2.47 |
2.00 |
126 |
3.79e+19 |
45.08 |
0.50 |
0.20 |
0.69 |
MCB cycle size |
3 |
3 |
3.00 |
3.00 |
1,002 |
MAX VALUE |
366.94 |
0.00 |
0.00 |
0.00 |
Minimal dual graph
Density: 7.53%
MCB compute time (ms): 8
MCB cycles: 46
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.04 |
0.00 |
1.90 |
0.00 |
None |
0.07 |
1.97 |
0.75 |
Degree |
2 |
5 |
3.76 |
4.00 |
192 |
8.52e+28 |
66.61 |
0.73 |
0.19 |
1.09 |
Eccentricity |
5 |
7 |
5.82 |
6.00 |
297 |
MAX VALUE |
89.43 |
0.76 |
0.13 |
1.07 |
MCB cycle size |
3 |
7 |
4.72 |
5.00 |
217 |
3.90e+30 |
70.44 |
0.92 |
0.20 |
1.33 |
Triangulated dual graph
Density: 65.41%
Triangles: 8,284
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.71 |
1.00 |
0.87 |
0.89 |
44.43 |
0.00 |
-7.26 |
0.08 |
0.09 |
1.92 |
Degree |
8 |
46 |
32.71 |
37.00 |
1,668 |
MAX VALUE |
173.23 |
11.11 |
0.34 |
2.01 |
Eccentricity |
2 |
3 |
2.04 |
2.00 |
104 |
5.07e+15 |
36.16 |
0.19 |
0.10 |
0.17 |
Triangulated minimal dual graph
Density: 20.08%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.36 |
1.00 |
0.74 |
0.69 |
37.75 |
0.00 |
-17.04 |
0.19 |
0.25 |
2.88 |
Degree |
2 |
28 |
10.04 |
7.00 |
512 |
MAX VALUE |
106.06 |
6.36 |
0.63 |
2.62 |
Eccentricity |
3 |
5 |
3.65 |
4.00 |
186 |
2.21e+28 |
65.26 |
0.62 |
0.17 |
0.91 |
Incidence graph
Density: 5.17%
MCB compute time (ms): 9
MCB cycles: 46
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K3-P2_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 |
2 |
9 |
3.36 |
2.00 |
222 |
5.24e+29 |
68.43 |
2.40 |
0.71 |
1.05 |
Eccentricity |
4 |
6 |
5.23 |
5.00 |
345 |
MAX VALUE |
108.59 |
0.67 |
0.13 |
0.99 |
MCB cycle size |
6 |
6 |
6.00 |
6.00 |
276 |
6.24e+35 |
82.42 |
0.00 |
0.00 |
0.00 |
None