Instance: normalized-g-7x7_ext
Number of variables: 49
Number of constraints: 49
Satisfiable: None
Timestamp: 2018-04-21 10:29:07
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 49
Number of constraints: 49
General features
Number of coarse blocks: 1,528
Number of unique subscopes: 201
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
3 |
5 |
4.43 |
5.00 |
217 |
2.65e+31 |
72.36 |
0.64 |
0.14 |
0.91 |
Coarse blocks size |
1 |
16 |
7.26 |
8.00 |
11,100 |
MAX VALUE |
2,855.20 |
3.43 |
0.47 |
1.61 |
Relational linkage |
0.50 |
1.00 |
0.95 |
1.00 |
674.94 |
0.00 |
-45.27 |
0.10 |
0.11 |
0.88 |
Tightness |
0.03 |
0.12 |
0.05 |
0.03 |
2.53 |
0.00 |
-150.41 |
0.03 |
0.51 |
0.91 |
Tuples |
7 |
31 |
22.51 |
31.00 |
1,103 |
MAX VALUE |
147.79 |
8.91 |
0.40 |
0.91 |
Domain size |
2 |
2 |
2.00 |
2.00 |
98 |
5.63e+14 |
33.96 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
2 |
4 |
2.25 |
2.00 |
452 |
MAX VALUE |
156.65 |
0.66 |
0.29 |
0.38 |
Partitions per subscope |
2 |
4 |
3.55 |
4.00 |
714 |
MAX VALUE |
247.45 |
0.83 |
0.23 |
0.53 |
Tree decomposition
Number of clusters: 29
Number of leaves: 4
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
3 |
1.69 |
2.00 |
49 |
0 |
None |
0.83 |
0.49 |
1.22 |
Cluster variables |
6 |
18 |
10.17 |
10.00 |
295 |
4.29e+28 |
65.93 |
3.20 |
0.31 |
1.74 |
Separator constraints |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Separator variables |
0 |
14 |
8.48 |
9.00 |
246 |
0 |
None |
3.04 |
0.36 |
1.74 |
Dual tree decomposition
Number of clusters: 29
Number of leaves: 4
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
12 |
50 |
25.10 |
22.00 |
728 |
MAX VALUE |
90.89 |
10.86 |
0.43 |
2.44 |
Cluster variables |
6 |
18 |
10.17 |
10.00 |
295 |
4.29e+28 |
65.93 |
3.20 |
0.31 |
1.74 |
Separator constraints |
0 |
37 |
17.31 |
17.00 |
502 |
0 |
None |
9.03 |
0.52 |
2.44 |
Separator variables |
0 |
14 |
8.48 |
9.00 |
246 |
0 |
None |
3.04 |
0.36 |
1.74 |
Primal graph
Density: 19.22%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.45 |
0.70 |
0.54 |
0.53 |
26.30 |
0.00 |
-30.90 |
0.07 |
0.13 |
1.71 |
Degree |
5 |
12 |
9.22 |
10.00 |
452 |
MAX VALUE |
107.31 |
2.21 |
0.24 |
1.71 |
Eccentricity |
3 |
6 |
4.96 |
5.00 |
243 |
6.53e+33 |
77.86 |
0.75 |
0.15 |
1.12 |
Triangulated primal graph
Density: 38.01%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.56 |
1.00 |
0.78 |
0.77 |
38.25 |
0.00 |
-12.68 |
0.11 |
0.15 |
3.27 |
Degree |
5 |
33 |
18.24 |
16.00 |
894 |
MAX VALUE |
135.53 |
8.63 |
0.47 |
2.94 |
Eccentricity |
3 |
5 |
3.35 |
3.00 |
164 |
2.80e+25 |
58.59 |
0.56 |
0.17 |
0.74 |
Dual graph
Density: 19.22%
MCB compute time (ms): 5
MCB cycles: 178
Triangles: 334
Dot-file path:
/mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.45 |
0.70 |
0.54 |
0.53 |
26.30 |
0.00 |
-30.90 |
0.07 |
0.13 |
1.71 |
Degree |
5 |
12 |
9.22 |
10.00 |
452 |
MAX VALUE |
107.31 |
2.21 |
0.24 |
1.71 |
Eccentricity |
3 |
6 |
4.96 |
5.00 |
243 |
6.53e+33 |
77.86 |
0.75 |
0.15 |
1.12 |
MCB cycle size |
3 |
3 |
3.00 |
3.00 |
534 |
MAX VALUE |
195.55 |
0.00 |
0.00 |
0.00 |
Minimal dual graph
Density: 13.27%
MCB compute time (ms): 2
MCB cycles: 108
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.43 |
1.00 |
0.55 |
0.43 |
26.71 |
0.00 |
-31.40 |
0.16 |
0.29 |
0.91 |
Degree |
3 |
8 |
6.37 |
8.00 |
312 |
2.92e+38 |
88.57 |
1.75 |
0.27 |
0.91 |
Eccentricity |
3 |
6 |
5.29 |
5.00 |
259 |
1.42e+35 |
80.94 |
0.81 |
0.15 |
1.09 |
MCB cycle size |
3 |
3 |
3.00 |
3.00 |
324 |
MAX VALUE |
118.65 |
0.00 |
0.00 |
0.00 |
Triangulated dual graph
Density: 38.01%
Triangles: 2,231
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.55 |
1.00 |
0.78 |
0.79 |
38.23 |
0.00 |
-12.70 |
0.11 |
0.15 |
3.26 |
Degree |
5 |
34 |
18.24 |
17.00 |
894 |
MAX VALUE |
135.57 |
8.58 |
0.47 |
2.89 |
Eccentricity |
2 |
4 |
3.00 |
3.00 |
147 |
1.18e+23 |
53.13 |
0.49 |
0.16 |
0.73 |
Triangulated minimal dual graph
Density: 24.66%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.50 |
1.00 |
0.74 |
0.70 |
36.15 |
0.00 |
-16.02 |
0.16 |
0.22 |
2.70 |
Degree |
3 |
24 |
11.84 |
10.00 |
580 |
MAX VALUE |
112.38 |
6.57 |
0.56 |
2.53 |
Eccentricity |
3 |
6 |
4.12 |
4.00 |
202 |
6.23e+29 |
68.60 |
0.75 |
0.18 |
1.11 |
Incidence graph
Density: 4.57%
MCB compute time (ms): 16
MCB cycles: 120
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_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 |
3 |
5 |
4.43 |
5.00 |
434 |
MAX VALUE |
144.71 |
0.64 |
0.14 |
0.91 |
Eccentricity |
7 |
13 |
10.43 |
10.00 |
1,022 |
MAX VALUE |
228.77 |
1.46 |
0.14 |
1.77 |
MCB cycle size |
4 |
4 |
4.00 |
4.00 |
480 |
MAX VALUE |
166.35 |
0.00 |
0.00 |
0.00 |
None