Instance: normalized-par-8-3-c_ext
Number of variables: 150
Number of constraints: 343
Satisfiable: None
Timestamp: 2018-04-21 10:40:22
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 150
Number of constraints: 343
General features
Number of coarse blocks: 2,036
Number of unique subscopes: 162
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
3 |
2.78 |
3.00 |
954 |
MAX VALUE |
346.41 |
0.41 |
0.15 |
0.53 |
Coarse blocks size |
1 |
4 |
3.05 |
3.00 |
6,212 |
MAX VALUE |
2,135.42 |
0.94 |
0.31 |
1.24 |
Relational linkage |
0.50 |
1.00 |
0.63 |
0.50 |
218.25 |
0.00 |
-173.69 |
0.17 |
0.27 |
0.91 |
Tightness |
0.12 |
0.25 |
0.16 |
0.12 |
56.00 |
0.00 |
-640.47 |
0.06 |
0.35 |
0.62 |
Tuples |
3 |
7 |
6.04 |
7.00 |
2,071 |
MAX VALUE |
599.27 |
1.63 |
0.27 |
0.80 |
Domain size |
2 |
2 |
2.00 |
2.00 |
300 |
MAX VALUE |
103.97 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
2 |
23 |
6.09 |
5.00 |
986 |
MAX VALUE |
271.62 |
4.16 |
0.68 |
0.86 |
Partitions per subscope |
2 |
4 |
2.15 |
2.00 |
348 |
MAX VALUE |
120.61 |
0.52 |
0.24 |
0.26 |
Tree decomposition
Number of clusters: 66
Number of leaves: 27
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
6 |
13 |
10.55 |
10.00 |
696 |
MAX VALUE |
153.88 |
2.23 |
0.21 |
1.50 |
Cluster variables |
6 |
20 |
12.97 |
12.00 |
856 |
MAX VALUE |
166.59 |
3.72 |
0.29 |
1.67 |
Separator constraints |
0 |
9 |
5.35 |
5.00 |
353 |
0 |
None |
1.93 |
0.36 |
1.72 |
Separator variables |
0 |
18 |
10.70 |
10.00 |
706 |
0 |
None |
3.85 |
0.36 |
1.72 |
Dual tree decomposition
Number of clusters: 117
Number of leaves: 69
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
10 |
788 |
124.80 |
28.00 |
14,602 |
MAX VALUE |
483.65 |
163.24 |
1.31 |
2.28 |
Cluster variables |
5 |
80 |
22.06 |
9.00 |
2,581 |
MAX VALUE |
324.28 |
19.90 |
0.90 |
1.97 |
Separator constraints |
0 |
506 |
91.93 |
20.00 |
10,756 |
0 |
None |
124.42 |
1.35 |
2.21 |
Separator variables |
0 |
68 |
19.13 |
8.00 |
2,238 |
0 |
None |
17.55 |
0.92 |
1.89 |
Primal graph
Density: 7.69%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.13 |
1.00 |
0.57 |
0.56 |
84.96 |
0.00 |
-92.43 |
0.15 |
0.26 |
1.27 |
Degree |
5 |
45 |
11.45 |
9.00 |
1,718 |
MAX VALUE |
348.44 |
7.75 |
0.68 |
0.59 |
Eccentricity |
4 |
6 |
4.61 |
5.00 |
692 |
MAX VALUE |
228.31 |
0.54 |
0.12 |
0.79 |
Triangulated primal graph
Density: 14.92%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.26 |
1.00 |
0.81 |
0.90 |
121.61 |
0.00 |
-39.12 |
0.21 |
0.26 |
2.63 |
Degree |
5 |
89 |
22.23 |
13.00 |
3,334 |
MAX VALUE |
422.27 |
20.62 |
0.93 |
2.39 |
Eccentricity |
2 |
4 |
3.07 |
3.00 |
460 |
MAX VALUE |
166.25 |
0.47 |
0.15 |
0.68 |
Dual graph
Density: 6.56%
MCB compute time (ms): 1,599
MCB cycles: 5,505
Triangles: 17,730
Dot-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.41 |
1.00 |
0.54 |
0.55 |
185.86 |
0.00 |
-216.56 |
0.11 |
0.20 |
2.96 |
Degree |
4 |
44 |
22.43 |
22.00 |
7,692 |
MAX VALUE |
1,015.56 |
11.09 |
0.49 |
2.41 |
Eccentricity |
4 |
7 |
5.06 |
5.00 |
1,737 |
MAX VALUE |
554.20 |
0.57 |
0.11 |
0.86 |
MCB cycle size |
3 |
6 |
3.17 |
3.00 |
17,477 |
MAX VALUE |
6,320.36 |
0.41 |
0.13 |
0.48 |
Minimal dual graph
Density: 1.34%
MCB compute time (ms): 1,606
MCB cycles: 442
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.10 |
0.10 |
33.28 |
0.00 |
None |
0.11 |
1.10 |
1.67 |
Degree |
3 |
7 |
4.57 |
4.00 |
1,568 |
MAX VALUE |
516.32 |
0.79 |
0.17 |
1.14 |
Eccentricity |
7 |
10 |
7.99 |
8.00 |
2,739 |
MAX VALUE |
711.55 |
0.63 |
0.08 |
0.95 |
MCB cycle size |
3 |
9 |
4.88 |
5.00 |
2,158 |
MAX VALUE |
682.58 |
1.39 |
0.28 |
1.67 |
Triangulated dual graph
Density: 20.52%
Triangles: 299,962
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.53 |
1.00 |
0.80 |
0.80 |
274.69 |
0.00 |
-81.49 |
0.14 |
0.17 |
3.80 |
Degree |
4 |
172 |
70.19 |
62.00 |
24,076 |
MAX VALUE |
1,304.42 |
53.69 |
0.76 |
3.50 |
Eccentricity |
3 |
5 |
3.82 |
4.00 |
1,311 |
MAX VALUE |
455.95 |
0.57 |
0.15 |
0.86 |
Triangulated minimal dual graph
Density: 10.92%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.46 |
1.00 |
0.82 |
0.78 |
280.37 |
0.00 |
-74.58 |
0.14 |
0.18 |
3.99 |
Degree |
3 |
122 |
37.36 |
10.00 |
12,814 |
MAX VALUE |
961.31 |
42.43 |
1.14 |
3.64 |
Eccentricity |
3 |
6 |
4.34 |
4.00 |
1,488 |
MAX VALUE |
499.97 |
0.60 |
0.14 |
0.90 |
Incidence graph
Density: 0.79%
MCB compute time (ms): 1,499
MCB cycles: 464
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-3-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-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 |
23 |
3.87 |
3.00 |
1,908 |
MAX VALUE |
606.94 |
2.86 |
0.74 |
1.14 |
Eccentricity |
8 |
14 |
10.16 |
10.00 |
5,008 |
MAX VALUE |
1,139.86 |
1.13 |
0.11 |
1.45 |
MCB cycle size |
4 |
12 |
6.14 |
6.00 |
2,848 |
MAX VALUE |
836.92 |
0.99 |
0.16 |
0.51 |
None