Instance: miles1000-10_ext
Number of variables: 128
Number of constraints: 3216
Satisfiable: None
Timestamp: 2017-10-27 10:54:49
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Component #1
Number of variables: 128
Number of constraints: 3216
General features
Number of coarse blocks: 64,320
Number of unique subscopes: 128
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
6,432 |
MAX VALUE |
2,229.16 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
9 |
9 |
9.00 |
9.00 |
578,880 |
MAX VALUE |
141,325.00 |
0.00 |
0.00 |
0.00 |
Relational linkage |
0.90 |
0.90 |
0.90 |
0.90 |
1,152.00 |
0.00 |
-134.86 |
0.00 |
0.00 |
0.00 |
Tightness |
0.10 |
0.10 |
0.10 |
0.10 |
321.60 |
0.00 |
-7,405.11 |
0.00 |
0.00 |
0.00 |
Tuples |
90 |
90 |
90.00 |
90.00 |
289,440 |
MAX VALUE |
14,471.40 |
0.00 |
0.00 |
0.00 |
Domain size |
10 |
10 |
10.00 |
10.00 |
1,280 |
MAX VALUE |
294.73 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
13 |
86 |
50.25 |
53.50 |
6,432 |
MAX VALUE |
488.98 |
19.97 |
0.40 |
3.95 |
Partitions per subscope |
10 |
10 |
10.00 |
10.00 |
1,280 |
MAX VALUE |
294.73 |
0.00 |
0.00 |
0.00 |
Tree decomposition
Number of clusters: 59
Number of leaves: 4
Tree depth: 26
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
57 |
1,109 |
606.24 |
794.00 |
35,768 |
MAX VALUE |
358.10 |
374.47 |
0.62 |
4.03 |
Cluster variables |
13 |
51 |
35.12 |
43.00 |
2,072 |
MAX VALUE |
204.62 |
13.10 |
0.37 |
2.95 |
Separator constraints |
0 |
1,029 |
551.73 |
723.00 |
32,552 |
0 |
None |
363.80 |
0.66 |
4.05 |
Separator variables |
0 |
48 |
32.95 |
42.00 |
1,944 |
0 |
None |
13.76 |
0.42 |
2.99 |
Dual tree decomposition
Number of clusters: 126
Number of leaves: 59
Tree depth: 11
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
243 |
48,760 |
6,955.92 |
3,870.50 |
876,446 |
MAX VALUE |
1,032.78 |
9,168.65 |
1.32 |
4.84 |
Cluster variables |
30 |
1,317 |
227.16 |
136.50 |
28,622 |
MAX VALUE |
634.55 |
251.20 |
1.11 |
4.68 |
Separator constraints |
0 |
27,399 |
5,496.30 |
3,624.00 |
692,534 |
0 |
None |
5,954.15 |
1.08 |
4.83 |
Separator variables |
0 |
996 |
201.63 |
127.50 |
25,406 |
0 |
None |
198.49 |
0.98 |
4.72 |
Primal graph
Density: 39.57%
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 |
1.00 |
0.78 |
0.78 |
100.31 |
0.00 |
-32.35 |
0.10 |
0.13 |
4.78 |
Degree |
13 |
86 |
50.25 |
53.50 |
6,432 |
MAX VALUE |
488.98 |
19.97 |
0.40 |
3.95 |
Eccentricity |
3 |
4 |
3.58 |
4.00 |
458 |
MAX VALUE |
161.91 |
0.49 |
0.14 |
0.68 |
Triangulated primal graph
Density: 46.30%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.56 |
1.00 |
0.83 |
0.84 |
106.85 |
0.00 |
-24.02 |
0.10 |
0.12 |
4.54 |
Degree |
13 |
91 |
58.80 |
64.00 |
7,526 |
MAX VALUE |
509.06 |
22.41 |
0.38 |
3.86 |
Eccentricity |
2 |
4 |
3.51 |
4.00 |
449 |
MAX VALUE |
159.20 |
0.52 |
0.15 |
0.73 |
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path:
None
PDF-file path:
None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Degree |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Eccentricity |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Minimal dual graph
Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.00 |
0.00 |
1.13 |
0.00 |
None |
0.01 |
26.77 |
0.02 |
Degree |
2 |
7 |
3.92 |
4.00 |
12,608 |
MAX VALUE |
4,332.11 |
0.78 |
0.20 |
1.13 |
Eccentricity |
11 |
16 |
13.66 |
14.00 |
43,926 |
MAX VALUE |
8,400.87 |
0.89 |
0.07 |
1.31 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Triangulated dual graph
Density: None%
Triangles: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Degree |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Eccentricity |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Triangulated minimal dual graph
Density: 5.67%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.51 |
1.00 |
0.85 |
0.86 |
2,739.26 |
0.00 |
-556.69 |
0.13 |
0.16 |
4.70 |
Degree |
2 |
882 |
182.45 |
10.00 |
586,746 |
MAX VALUE |
10,301.50 |
293.09 |
1.61 |
4.24 |
Eccentricity |
3 |
6 |
4.60 |
5.00 |
14,782 |
MAX VALUE |
4,881.53 |
0.55 |
0.12 |
0.81 |
Incidence graph
Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
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 |
86 |
3.85 |
2.00 |
12,864 |
MAX VALUE |
2,718.14 |
10.05 |
2.61 |
0.31 |
Eccentricity |
6 |
10 |
8.44 |
8.00 |
28,210 |
MAX VALUE |
7,104.09 |
1.05 |
0.12 |
1.35 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None