Instance: rand-2-40-180-84-900-3_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:27
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Component #1
Number of variables: 40
Number of constraints: 84
General features
Number of coarse blocks: 29,520
Number of unique subscopes: 36
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
168 |
1.93e+25 |
58.22 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
3 |
37 |
17.98 |
18.00 |
530,689 |
MAX VALUE |
84,495.10 |
4.06 |
0.23 |
2.82 |
Relational linkage |
0.02 |
0.14 |
0.08 |
0.08 |
499.40 |
0.00 |
-16,752.70 |
0.02 |
0.21 |
2.46 |
Tightness |
0.90 |
0.90 |
0.90 |
0.90 |
75.61 |
0.00 |
-8.84 |
0.00 |
0.00 |
4.16 |
Tuples |
3,120 |
3,366 |
3,236.73 |
3,232.00 |
271,885 |
MAX VALUE |
678.90 |
56.24 |
0.02 |
4.16 |
Domain size |
180 |
180 |
180.00 |
180.00 |
7,200 |
MAX VALUE |
207.72 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
2 |
10 |
4.56 |
4.00 |
164 |
2.20e+22 |
51.44 |
1.94 |
0.42 |
1.86 |
Partitions per subscope |
180 |
180 |
180.00 |
180.00 |
6,480 |
MAX VALUE |
186.95 |
0.00 |
0.00 |
0.00 |
Tree decomposition
Number of clusters: 32
Number of leaves: 13
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 |
1 |
9 |
3.91 |
4.00 |
125 |
2.03e+16 |
37.55 |
2.11 |
0.54 |
2.01 |
Cluster variables |
2 |
9 |
5.09 |
5.00 |
163 |
8.49e+20 |
48.19 |
2.36 |
0.46 |
2.03 |
Separator constraints |
0 |
5 |
1.28 |
1.00 |
41 |
0 |
None |
1.53 |
1.19 |
1.47 |
Separator variables |
0 |
8 |
3.84 |
3.50 |
123 |
0 |
None |
2.36 |
0.61 |
2.10 |
Dual tree decomposition
Number of clusters: 37
Number of leaves: 12
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 |
1 |
56 |
20.54 |
15.00 |
760 |
MAX VALUE |
99.16 |
15.38 |
0.75 |
3.26 |
Cluster variables |
2 |
27 |
10.35 |
8.00 |
383 |
4.92e+34 |
79.88 |
6.30 |
0.61 |
2.72 |
Separator constraints |
0 |
34 |
10.84 |
8.00 |
401 |
0 |
None |
8.95 |
0.83 |
2.89 |
Separator variables |
0 |
21 |
8.08 |
7.00 |
299 |
0 |
None |
5.06 |
0.63 |
2.74 |
Primal graph
Density: 10.77%
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 |
1.00 |
None |
0.17 |
None |
None |
None |
None |
None |
2.57 |
Degree |
1 |
10 |
4.20 |
4.00 |
168 |
2.20e+22 |
51.44 |
2.12 |
0.51 |
2.00 |
Eccentricity |
4 |
6 |
4.83 |
5.00 |
193 |
1.49e+27 |
62.57 |
0.67 |
0.14 |
0.99 |
Triangulated primal graph
Density: 20.38%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
None |
0.75 |
None |
None |
None |
None |
None |
3.33 |
Degree |
1 |
22 |
7.95 |
6.00 |
318 |
4.67e+29 |
68.32 |
6.19 |
0.78 |
2.53 |
Eccentricity |
3 |
6 |
4.47 |
4.00 |
179 |
6.96e+25 |
59.50 |
0.67 |
0.15 |
0.98 |
Dual graph
Density: 10.30%
MCB compute time (ms): 45
MCB cycles: 280
Triangles: 543
Dot-file path:
None
PDF-file path:
None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.33 |
1.00 |
None |
0.50 |
None |
None |
None |
None |
None |
3.38 |
Degree |
1 |
17 |
8.55 |
9.00 |
718 |
MAX VALUE |
172.37 |
3.20 |
0.37 |
2.52 |
Eccentricity |
4 |
5 |
4.39 |
4.00 |
369 |
MAX VALUE |
123.81 |
0.49 |
0.11 |
0.67 |
MCB cycle size |
3 |
6 |
3.15 |
3.00 |
881 |
MAX VALUE |
318.79 |
0.44 |
0.14 |
0.43 |
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 13
MCB cycles: 45
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
None |
0.00 |
None |
None |
None |
None |
None |
0.43 |
Degree |
1 |
4 |
3.05 |
3.00 |
256 |
MAX VALUE |
91.09 |
0.67 |
0.22 |
0.99 |
Eccentricity |
6 |
9 |
7.31 |
7.00 |
614 |
MAX VALUE |
166.61 |
0.79 |
0.11 |
1.16 |
MCB cycle size |
3 |
9 |
6.84 |
8.00 |
308 |
7.01e+36 |
84.84 |
1.70 |
0.25 |
1.72 |
Triangulated dual graph
Density: 28.43%
Triangles: 7,420
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.33 |
1.00 |
None |
0.77 |
None |
None |
None |
None |
None |
3.97 |
Degree |
1 |
46 |
23.60 |
21.50 |
1,982 |
MAX VALUE |
238.76 |
15.23 |
0.65 |
3.41 |
Eccentricity |
3 |
5 |
3.65 |
4.00 |
307 |
MAX VALUE |
107.78 |
0.59 |
0.16 |
0.87 |
Triangulated minimal dual graph
Density: 11.56%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
None |
0.67 |
None |
None |
None |
None |
None |
3.26 |
Degree |
1 |
31 |
9.60 |
5.00 |
806 |
MAX VALUE |
154.40 |
8.80 |
0.92 |
2.79 |
Eccentricity |
3 |
6 |
4.75 |
5.00 |
399 |
MAX VALUE |
129.93 |
0.70 |
0.15 |
1.06 |
Incidence graph
Density: 2.20%
MCB compute time (ms): 21
MCB cycles: 45
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 |
None |
0.00 |
None |
None |
None |
None |
None |
0.85 |
Degree |
1 |
10 |
2.71 |
2.00 |
336 |
MAX VALUE |
109.67 |
1.59 |
0.58 |
1.14 |
Eccentricity |
8 |
12 |
9.69 |
9.00 |
1,201 |
MAX VALUE |
280.73 |
1.12 |
0.12 |
1.45 |
MCB cycle size |
6 |
12 |
7.64 |
8.00 |
344 |
MAX VALUE |
90.72 |
1.48 |
0.19 |
1.07 |
None