Instance: rand-2-40-40-135-650-86_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:41
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Component #1
Number of variables: 40
Number of constraints: 135
General features
Number of coarse blocks: 10,800
Number of unique subscopes: 40
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
270 |
MAX VALUE |
93.57 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
5 |
25 |
13.97 |
14.00 |
150,908 |
MAX VALUE |
28,216.80 |
3.00 |
0.21 |
2.52 |
Relational linkage |
0.12 |
0.42 |
0.25 |
0.25 |
405.27 |
0.00 |
-2,226.80 |
0.05 |
0.19 |
2.06 |
Tightness |
0.62 |
0.68 |
0.65 |
0.65 |
87.84 |
0.00 |
-58.04 |
0.01 |
0.02 |
3.99 |
Tuples |
514 |
608 |
558.92 |
560.00 |
75,454 |
MAX VALUE |
853.93 |
18.90 |
0.03 |
3.99 |
Domain size |
40 |
40 |
40.00 |
40.00 |
1,600 |
MAX VALUE |
147.56 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
3 |
11 |
6.75 |
6.50 |
270 |
1.09e+32 |
73.77 |
2.32 |
0.34 |
2.12 |
Partitions per subscope |
40 |
40 |
40.00 |
40.00 |
1,600 |
MAX VALUE |
147.56 |
0.00 |
0.00 |
0.00 |
Tree decomposition
Number of clusters: 24
Number of leaves: 12
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
3 |
33 |
12.33 |
8.00 |
296 |
2.30e+23 |
53.79 |
9.11 |
0.74 |
2.61 |
Cluster variables |
4 |
17 |
8.62 |
7.00 |
207 |
1.99e+21 |
49.04 |
4.14 |
0.48 |
2.39 |
Separator constraints |
0 |
25 |
6.71 |
3.00 |
161 |
0 |
None |
7.82 |
1.17 |
2.43 |
Separator variables |
0 |
15 |
6.96 |
6.00 |
167 |
0 |
None |
4.03 |
0.58 |
2.39 |
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
12 |
196 |
64.95 |
51.50 |
2,468 |
MAX VALUE |
148.54 |
47.96 |
0.74 |
3.33 |
Cluster variables |
7 |
60 |
20.50 |
17.00 |
779 |
MAX VALUE |
108.34 |
13.14 |
0.64 |
3.05 |
Separator constraints |
0 |
112 |
41.68 |
34.00 |
1,584 |
0 |
None |
30.02 |
0.72 |
3.44 |
Separator variables |
0 |
46 |
16.95 |
15.00 |
644 |
0 |
None |
10.10 |
0.60 |
3.07 |
Primal graph
Density: 17.31%
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.33 |
0.15 |
0.14 |
5.85 |
0.00 |
None |
0.09 |
0.62 |
2.96 |
Degree |
3 |
11 |
6.75 |
6.50 |
270 |
1.09e+32 |
73.77 |
2.32 |
0.34 |
2.12 |
Eccentricity |
3 |
3 |
3.00 |
3.00 |
120 |
1.22e+19 |
43.94 |
0.00 |
0.00 |
0.00 |
Triangulated primal graph
Density: 38.85%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.58 |
1.00 |
0.81 |
0.78 |
32.56 |
0.00 |
-8.82 |
0.14 |
0.17 |
2.87 |
Degree |
3 |
27 |
15.15 |
16.00 |
606 |
MAX VALUE |
98.73 |
8.93 |
0.59 |
2.82 |
Eccentricity |
2 |
3 |
2.50 |
2.50 |
100 |
3.66e+15 |
35.84 |
0.50 |
0.20 |
0.69 |
Dual graph
Density: 9.77%
MCB compute time (ms): 411
MCB cycles: 815
Triangles: 1,906
Dot-file path:
None
PDF-file path:
None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.40 |
0.70 |
0.51 |
0.50 |
68.53 |
0.00 |
-92.08 |
0.05 |
0.09 |
3.89 |
Degree |
6 |
20 |
13.10 |
13.00 |
1,768 |
MAX VALUE |
343.16 |
3.11 |
0.24 |
2.47 |
Eccentricity |
3 |
4 |
3.41 |
3.00 |
461 |
MAX VALUE |
164.42 |
0.49 |
0.14 |
0.68 |
MCB cycle size |
3 |
5 |
3.15 |
3.00 |
2,568 |
MAX VALUE |
929.85 |
0.40 |
0.13 |
0.44 |
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 67
MCB cycles: 96
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 |
5 |
3.41 |
3.00 |
460 |
MAX VALUE |
162.99 |
0.65 |
0.19 |
0.98 |
Eccentricity |
6 |
8 |
6.74 |
7.00 |
910 |
MAX VALUE |
257.14 |
0.56 |
0.08 |
0.83 |
MCB cycle size |
4 |
9 |
6.83 |
7.00 |
656 |
MAX VALUE |
182.88 |
1.19 |
0.17 |
1.53 |
Triangulated dual graph
Density: 42.03%
Triangles: 68,581
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.66 |
1.00 |
0.83 |
0.80 |
111.42 |
0.00 |
-26.79 |
0.09 |
0.11 |
4.38 |
Degree |
6 |
94 |
56.33 |
64.00 |
7,604 |
MAX VALUE |
512.92 |
29.89 |
0.53 |
3.79 |
Eccentricity |
2 |
3 |
2.40 |
2.00 |
324 |
MAX VALUE |
115.47 |
0.49 |
0.20 |
0.67 |
Triangulated minimal dual graph
Density: 12.11%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.51 |
1.00 |
0.79 |
0.70 |
106.23 |
0.00 |
-35.58 |
0.17 |
0.22 |
3.01 |
Degree |
2 |
48 |
16.22 |
7.00 |
2,190 |
MAX VALUE |
295.95 |
16.85 |
1.04 |
2.92 |
Eccentricity |
3 |
4 |
3.60 |
4.00 |
486 |
MAX VALUE |
171.62 |
0.49 |
0.14 |
0.67 |
Incidence graph
Density: 1.77%
MCB compute time (ms): 78
MCB cycles: 96
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 |
11 |
3.09 |
2.00 |
540 |
MAX VALUE |
167.35 |
2.28 |
0.74 |
1.02 |
Eccentricity |
6 |
8 |
7.18 |
7.00 |
1,256 |
MAX VALUE |
344.16 |
0.66 |
0.09 |
0.98 |
MCB cycle size |
6 |
10 |
7.08 |
8.00 |
680 |
MAX VALUE |
186.90 |
1.04 |
0.15 |
0.74 |
None