Instance: normalized-ii-16a1_ext
Number of variables: 3300
Number of constraints: 21018
Satisfiable: None
Timestamp: 2018-04-21 10:34:39
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 3300
Number of constraints: 21018
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
16 |
2.27 |
2.00 |
47,670 |
MAX VALUE |
15,411.90 |
1.91 |
0.84 |
0.11 |
Coarse blocks size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Relational linkage |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Tightness |
0.00 |
0.25 |
0.25 |
0.25 |
5,152.51 |
0.00 |
-33,042.30 |
0.03 |
0.14 |
0.11 |
Tuples |
3 |
65,535 |
1,153.50 |
3.00 |
24,244,200 |
MAX VALUE |
27,113.20 |
8,371.77 |
7.26 |
0.11 |
Domain size |
2 |
2 |
2.00 |
2.00 |
6,600 |
MAX VALUE |
2,287.39 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Partitions per subscope |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Cluster variables |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Separator constraints |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Separator variables |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Dual tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
Dot-file path: None
PDF-file path: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Cluster variables |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Separator constraints |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Separator variables |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Primal graph
Density: 0.64%
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.89 |
None |
0.43 |
None |
None |
None |
None |
None |
1.30 |
Degree |
1 |
53 |
21.24 |
17.00 |
70,080 |
MAX VALUE |
9,772.30 |
9.64 |
0.45 |
1.77 |
Eccentricity |
5 |
8 |
6.08 |
6.00 |
20,070 |
MAX VALUE |
5,911.57 |
1.04 |
0.17 |
1.30 |
Triangulated primal graph
Density: 8.48%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.55 |
1.00 |
None |
0.83 |
None |
None |
None |
None |
None |
5.61 |
Degree |
1 |
1,189 |
279.68 |
53.00 |
922,932 |
MAX VALUE |
14,872.30 |
371.36 |
1.33 |
4.98 |
Eccentricity |
3 |
5 |
3.82 |
4.00 |
12,613 |
MAX VALUE |
4,372.41 |
0.68 |
0.18 |
1.00 |
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.02%
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.74 |
0.01 |
0.00 |
183.40 |
0.00 |
None |
0.07 |
8.19 |
0.13 |
Degree |
2 |
20 |
3.97 |
4.00 |
83,400 |
MAX VALUE |
28,219.50 |
1.56 |
0.39 |
0.68 |
Eccentricity |
14 |
27 |
21.57 |
22.00 |
453,359 |
MAX VALUE |
64,418.30 |
2.40 |
0.11 |
2.25 |
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: 0.29%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.06 |
1.00 |
0.81 |
0.76 |
16,990.90 |
0.00 |
-4,999.88 |
0.17 |
0.21 |
4.75 |
Degree |
2 |
3,084 |
61.22 |
9.00 |
1,286,790 |
MAX VALUE |
58,482.90 |
156.11 |
2.55 |
3.98 |
Eccentricity |
4 |
7 |
5.44 |
5.00 |
114,261 |
MAX VALUE |
35,445.00 |
0.62 |
0.11 |
0.94 |
Incidence graph
Density: 0.02%
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 |
None |
0.00 |
None |
None |
None |
None |
None |
0.29 |
Degree |
1 |
53 |
3.92 |
2.00 |
95,340 |
MAX VALUE |
22,435.20 |
6.59 |
1.68 |
0.56 |
Eccentricity |
10 |
16 |
12.87 |
13.00 |
312,990 |
MAX VALUE |
62,048.10 |
1.05 |
0.08 |
0.94 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None