Instance: scen06-sub2_ext
Number of variables: 32
Number of constraints: 369
Satisfiable: None
Timestamp: 2017-10-27 10:55:12
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Component #1
Number of variables: 32
Number of constraints: 369
General features
Number of coarse blocks: 31,066
Number of unique subscopes: 32
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
738 |
MAX VALUE |
255.77 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
1 |
43 |
24.69 |
27.00 |
766,956 |
MAX VALUE |
92,870.90 |
11.22 |
0.45 |
3.46 |
Relational linkage |
0.02 |
0.03 |
0.02 |
0.02 |
27.01 |
0.00 |
-4,373.55 |
0.00 |
0.07 |
0.33 |
Tightness |
0.02 |
0.98 |
0.45 |
0.39 |
165.55 |
0.00 |
-379.16 |
0.25 |
0.56 |
3.81 |
Tuples |
36 |
1,892 |
1,039.24 |
1,138.00 |
383,478 |
MAX VALUE |
2,485.58 |
485.59 |
0.47 |
3.81 |
Domain size |
36 |
44 |
43.00 |
44.00 |
1,376 |
MAX VALUE |
120.29 |
2.65 |
0.06 |
0.38 |
Constraints per subscope |
15 |
31 |
23.06 |
23.00 |
738 |
MAX VALUE |
99.69 |
4.83 |
0.21 |
1.72 |
Partitions per subscope |
36 |
44 |
43.00 |
44.00 |
1,376 |
MAX VALUE |
120.29 |
2.65 |
0.06 |
0.38 |
Tree decomposition
Number of clusters: 4
Number of leaves: 2
Tree depth: 2
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
83 |
202 |
148.75 |
155.00 |
595 |
382,265,000 |
19.76 |
49.21 |
0.33 |
1.39 |
Cluster variables |
14 |
21 |
17.75 |
18.00 |
71 |
94,080 |
11.45 |
2.86 |
0.16 |
1.39 |
Separator constraints |
0 |
78 |
56.50 |
74.00 |
226 |
0 |
None |
32.78 |
0.58 |
1.04 |
Separator variables |
0 |
13 |
9.75 |
13.00 |
39 |
0 |
None |
5.63 |
0.58 |
0.56 |
Dual tree decomposition
Number of clusters: 30
Number of leaves: 16
Tree depth: 5
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
224 |
2,648 |
975.47 |
728.00 |
29,264 |
MAX VALUE |
200.00 |
659.45 |
0.68 |
2.83 |
Cluster variables |
29 |
177 |
75.97 |
57.00 |
2,279 |
MAX VALUE |
125.66 |
42.87 |
0.56 |
2.70 |
Separator constraints |
0 |
1,680 |
691.67 |
665.00 |
20,750 |
0 |
None |
383.64 |
0.55 |
2.83 |
Separator variables |
0 |
129 |
63.67 |
52.00 |
1,910 |
0 |
None |
31.59 |
0.50 |
2.74 |
Primal graph
Density: 74.40%
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.73 |
1.00 |
0.88 |
0.87 |
28.27 |
0.02 |
-4.15 |
0.09 |
0.10 |
1.53 |
Degree |
15 |
31 |
23.06 |
23.00 |
738 |
MAX VALUE |
99.69 |
4.83 |
0.21 |
1.72 |
Eccentricity |
1 |
2 |
1.88 |
2.00 |
60 |
268,435,000 |
19.41 |
0.33 |
0.18 |
0.38 |
Triangulated primal graph
Density: 76.01%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.74 |
1.00 |
0.89 |
0.87 |
28.47 |
0.02 |
-3.89 |
0.09 |
0.10 |
1.53 |
Degree |
15 |
31 |
23.56 |
24.00 |
754 |
MAX VALUE |
100.37 |
4.87 |
0.21 |
1.72 |
Eccentricity |
1 |
2 |
1.88 |
2.00 |
60 |
268,435,000 |
19.41 |
0.33 |
0.18 |
0.38 |
Dual graph
Density: 12.54%
MCB compute time (ms): 4,130
MCB cycles: 8,221
Triangles: 67,800
Dot-file path:
None
PDF-file path:
None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.50 |
0.57 |
0.52 |
0.51 |
191.94 |
0.00 |
-241.32 |
0.01 |
0.03 |
2.55 |
Degree |
28 |
60 |
46.15 |
48.00 |
17,028 |
MAX VALUE |
1,410.18 |
6.38 |
0.14 |
1.91 |
Eccentricity |
2 |
3 |
2.50 |
3.00 |
924 |
MAX VALUE |
331.19 |
0.50 |
0.20 |
0.69 |
MCB cycle size |
3 |
3 |
3.00 |
3.00 |
24,663 |
MAX VALUE |
9,031.69 |
0.00 |
0.00 |
0.00 |
Minimal dual graph
Density: 1.04%
MCB compute time (ms): 716
MCB cycles: 339
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.00 |
0.00 |
0.83 |
0.00 |
None |
0.03 |
11.48 |
0.05 |
Degree |
2 |
7 |
3.83 |
4.00 |
1,412 |
MAX VALUE |
484.94 |
0.93 |
0.24 |
1.21 |
Eccentricity |
8 |
11 |
9.58 |
10.00 |
3,535 |
MAX VALUE |
832.54 |
0.80 |
0.08 |
1.17 |
MCB cycle size |
3 |
12 |
6.04 |
6.00 |
2,046 |
MAX VALUE |
602.25 |
1.22 |
0.20 |
1.51 |
Triangulated dual graph
Density: 56.22%
Triangles: 2,353,590
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.64 |
1.00 |
0.84 |
0.85 |
310.88 |
0.00 |
-64.99 |
0.08 |
0.10 |
3.61 |
Degree |
28 |
334 |
206.91 |
234.00 |
76,348 |
MAX VALUE |
1,932.48 |
73.25 |
0.35 |
2.94 |
Eccentricity |
2 |
3 |
2.50 |
3.00 |
924 |
MAX VALUE |
331.19 |
0.50 |
0.20 |
0.69 |
Triangulated minimal dual graph
Density: 8.87%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.47 |
1.00 |
0.80 |
0.75 |
296.10 |
0.00 |
-87.91 |
0.15 |
0.19 |
3.76 |
Degree |
2 |
116 |
32.65 |
9.00 |
12,046 |
MAX VALUE |
957.58 |
39.95 |
1.22 |
3.45 |
Eccentricity |
3 |
5 |
3.92 |
4.00 |
1,447 |
MAX VALUE |
500.10 |
0.58 |
0.15 |
0.87 |
Incidence graph
Density: 0.92%
MCB compute time (ms): 209
MCB cycles: 338
Dot-file path: None
PDF-file path: None
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 |
31 |
3.68 |
2.00 |
1,476 |
MAX VALUE |
355.46 |
5.87 |
1.59 |
0.42 |
Eccentricity |
3 |
6 |
4.99 |
5.00 |
2,000 |
MAX VALUE |
636.42 |
0.98 |
0.20 |
0.95 |
MCB cycle size |
6 |
6 |
6.00 |
6.00 |
2,028 |
MAX VALUE |
605.62 |
0.00 |
0.00 |
0.00 |
None