Instance: normalized-par-32-5-c_ext
Number of variables: 2678
Number of constraints: 6567
Satisfiable: None
Timestamp: 2018-04-21 10:40:39
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 2678
Number of constraints: 6567
General features
Number of coarse blocks: 40,104
Number of unique subscopes: 3,097
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
3 |
2.76 |
3.00 |
18,112 |
MAX VALUE |
6,570.30 |
0.43 |
0.16 |
0.55 |
Coarse blocks size |
1 |
4 |
3.00 |
3.00 |
120,496 |
MAX VALUE |
41,195.40 |
0.97 |
0.32 |
1.26 |
Relational linkage |
0.50 |
1.00 |
0.67 |
0.50 |
4,690.00 |
0.00 |
-3,118.20 |
0.19 |
0.29 |
1.01 |
Tightness |
0.12 |
0.25 |
0.16 |
0.12 |
1,034.75 |
0.00 |
-12,469.70 |
0.05 |
0.35 |
0.57 |
Tuples |
3 |
7 |
6.01 |
7.00 |
39,491 |
MAX VALUE |
11,413.60 |
1.71 |
0.28 |
0.64 |
Domain size |
2 |
2 |
2.00 |
2.00 |
5,356 |
MAX VALUE |
1,856.25 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
2 |
85 |
6.16 |
5.00 |
19,082 |
MAX VALUE |
4,924.00 |
9.03 |
1.47 |
1.12 |
Partitions per subscope |
2 |
4 |
2.27 |
2.00 |
7,032 |
MAX VALUE |
2,437.11 |
0.68 |
0.30 |
0.40 |
Tree decomposition
Number of clusters: 1,330
Number of leaves: 484
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
4 |
44 |
12.63 |
12.00 |
16,803 |
MAX VALUE |
3,286.27 |
5.69 |
0.45 |
2.30 |
Cluster variables |
6 |
88 |
16.90 |
12.00 |
22,471 |
MAX VALUE |
3,533.90 |
13.60 |
0.80 |
2.38 |
Separator constraints |
0 |
41 |
7.70 |
6.00 |
10,236 |
0 |
None |
6.59 |
0.86 |
2.24 |
Separator variables |
0 |
82 |
14.88 |
10.00 |
19,793 |
0 |
None |
13.21 |
0.89 |
2.66 |
Dual tree decomposition
Number of clusters: 2,214
Number of leaves: 1,305
Tree depth: 92
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
10 |
8,664 |
786.69 |
35.00 |
1,741,720 |
MAX VALUE |
10,495.70 |
1,360.93 |
1.73 |
3.41 |
Cluster variables |
5 |
324 |
50.61 |
11.00 |
112,056 |
MAX VALUE |
6,884.98 |
73.32 |
1.45 |
2.67 |
Separator constraints |
0 |
6,726 |
708.41 |
25.00 |
1,568,430 |
0 |
None |
1,226.28 |
1.73 |
3.40 |
Separator variables |
0 |
256 |
47.65 |
10.00 |
105,489 |
0 |
None |
69.47 |
1.46 |
2.62 |
Primal graph
Density: 0.45%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.03 |
1.00 |
0.54 |
0.56 |
1,433.03 |
0.00 |
-1,794.86 |
0.10 |
0.19 |
1.46 |
Degree |
5 |
169 |
11.93 |
9.00 |
31,944 |
MAX VALUE |
6,070.57 |
18.51 |
1.55 |
0.97 |
Eccentricity |
7 |
14 |
10.69 |
11.00 |
28,636 |
MAX VALUE |
6,310.06 |
1.73 |
0.16 |
1.89 |
Triangulated primal graph
Density: 1.34%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.11 |
1.00 |
0.84 |
0.90 |
2,237.01 |
0.00 |
-577.50 |
0.17 |
0.21 |
3.47 |
Degree |
5 |
603 |
35.93 |
16.00 |
96,222 |
MAX VALUE |
7,893.79 |
75.66 |
2.11 |
3.20 |
Eccentricity |
3 |
6 |
4.23 |
4.00 |
11,338 |
MAX VALUE |
3,844.41 |
0.55 |
0.13 |
0.72 |
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-5-c_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-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 |
337.65 |
0.00 |
None |
0.07 |
1.32 |
1.15 |
Degree |
3 |
7 |
4.53 |
5.00 |
29,766 |
MAX VALUE |
9,830.24 |
0.74 |
0.16 |
1.09 |
Eccentricity |
17 |
29 |
22.91 |
23.00 |
150,474 |
MAX VALUE |
20,525.30 |
2.55 |
0.11 |
2.28 |
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.70%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.45 |
1.00 |
0.81 |
0.78 |
5,317.38 |
0.00 |
-1,514.57 |
0.16 |
0.19 |
5.11 |
Degree |
3 |
965 |
111.95 |
12.00 |
735,158 |
MAX VALUE |
20,240.50 |
210.41 |
1.88 |
4.40 |
Eccentricity |
4 |
8 |
5.69 |
6.00 |
37,346 |
MAX VALUE |
11,376.00 |
0.61 |
0.11 |
0.92 |
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-5-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 |
36,224 |
MAX VALUE |
11,173.20 |
5.47 |
1.40 |
1.22 |
Eccentricity |
15 |
30 |
22.43 |
22.00 |
207,354 |
MAX VALUE |
28,639.30 |
3.52 |
0.16 |
2.50 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None