Instance: normalized-par-32-3-c_ext
Number of variables: 2650
Number of constraints: 6497
Satisfiable: None
Timestamp: 2018-04-21 10:41:38
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 2650
Number of constraints: 6497
General features
Number of coarse blocks: 39,744
Number of unique subscopes: 3,061
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
3 |
2.76 |
3.00 |
17,916 |
MAX VALUE |
6,499.08 |
0.43 |
0.16 |
0.55 |
Coarse blocks size |
1 |
4 |
3.00 |
3.00 |
119,292 |
MAX VALUE |
40,775.20 |
0.97 |
0.32 |
1.26 |
Relational linkage |
0.50 |
1.00 |
0.67 |
0.50 |
4,627.00 |
0.00 |
-3,085.19 |
0.19 |
0.29 |
1.01 |
Tightness |
0.12 |
0.25 |
0.16 |
0.12 |
1,024.25 |
0.00 |
-12,333.90 |
0.05 |
0.35 |
0.57 |
Tuples |
3 |
7 |
6.01 |
7.00 |
39,057 |
MAX VALUE |
11,289.30 |
1.71 |
0.28 |
0.64 |
Domain size |
2 |
2 |
2.00 |
2.00 |
5,300 |
MAX VALUE |
1,836.84 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
2 |
85 |
6.17 |
5.00 |
18,894 |
MAX VALUE |
4,876.97 |
8.96 |
1.45 |
1.13 |
Partitions per subscope |
2 |
4 |
2.27 |
2.00 |
6,944 |
MAX VALUE |
2,406.61 |
0.68 |
0.30 |
0.39 |
Tree decomposition
Number of clusters: 1,313
Number of leaves: 472
Tree depth: 25
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
4 |
42 |
12.60 |
12.00 |
16,547 |
MAX VALUE |
3,243.31 |
5.61 |
0.45 |
2.29 |
Cluster variables |
6 |
84 |
16.81 |
12.00 |
22,071 |
MAX VALUE |
3,485.78 |
13.43 |
0.80 |
2.38 |
Separator constraints |
0 |
41 |
7.65 |
6.00 |
10,050 |
0 |
None |
6.49 |
0.85 |
2.26 |
Separator variables |
0 |
82 |
14.79 |
10.00 |
19,421 |
0 |
None |
13.01 |
0.88 |
2.66 |
Dual tree decomposition
Number of clusters: 2,178
Number of leaves: 1,291
Tree depth: 77
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
10 |
10,558 |
723.25 |
35.00 |
1,575,240 |
MAX VALUE |
10,233.00 |
1,287.02 |
1.78 |
3.40 |
Cluster variables |
5 |
328 |
48.02 |
11.00 |
104,597 |
MAX VALUE |
6,719.18 |
69.75 |
1.45 |
2.69 |
Separator constraints |
0 |
7,740 |
645.52 |
25.00 |
1,405,940 |
0 |
None |
1,142.77 |
1.77 |
3.38 |
Separator variables |
0 |
256 |
45.04 |
10.00 |
98,100 |
0 |
None |
65.55 |
1.46 |
2.65 |
Primal graph
Density: 0.45%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.03 |
1.00 |
0.53 |
0.56 |
1,406.16 |
0.00 |
-1,797.11 |
0.10 |
0.19 |
1.39 |
Degree |
5 |
169 |
11.90 |
9.00 |
31,548 |
MAX VALUE |
6,007.91 |
18.26 |
1.53 |
0.97 |
Eccentricity |
7 |
13 |
10.31 |
10.00 |
27,323 |
MAX VALUE |
6,152.32 |
1.55 |
0.15 |
1.78 |
Triangulated primal graph
Density: 1.36%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.13 |
1.00 |
0.84 |
0.90 |
2,214.39 |
0.00 |
-570.41 |
0.17 |
0.21 |
3.51 |
Degree |
5 |
549 |
36.10 |
16.00 |
95,674 |
MAX VALUE |
7,821.96 |
75.64 |
2.09 |
3.22 |
Eccentricity |
3 |
6 |
4.27 |
4.00 |
11,326 |
MAX VALUE |
3,829.23 |
0.55 |
0.13 |
0.74 |
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Dual1.pdf
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.07%
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.05 |
0.00 |
332.19 |
0.00 |
None |
0.07 |
1.35 |
1.18 |
Degree |
3 |
7 |
4.52 |
5.00 |
29,398 |
MAX VALUE |
9,710.06 |
0.76 |
0.17 |
1.12 |
Eccentricity |
17 |
28 |
22.25 |
22.00 |
144,544 |
MAX VALUE |
20,113.00 |
2.53 |
0.11 |
2.24 |
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: 1.76%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.46 |
1.00 |
0.81 |
0.78 |
5,269.22 |
0.00 |
-1,486.14 |
0.16 |
0.19 |
5.08 |
Degree |
3 |
913 |
114.63 |
12.00 |
744,770 |
MAX VALUE |
20,060.00 |
212.92 |
1.86 |
4.40 |
Eccentricity |
4 |
8 |
5.69 |
6.00 |
36,985 |
MAX VALUE |
11,247.20 |
0.71 |
0.13 |
1.08 |
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Incidence1.pdf
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 |
85 |
3.92 |
3.00 |
35,832 |
MAX VALUE |
11,056.10 |
5.43 |
1.38 |
1.22 |
Eccentricity |
14 |
28 |
21.65 |
22.00 |
198,008 |
MAX VALUE |
28,027.20 |
3.14 |
0.14 |
2.40 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None