Instance: normalized-myciel7-8_ext
Number of variables: 191
Number of constraints: 2360
Satisfiable: None
Timestamp: 2018-04-21 10:08:59
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 191
Number of constraints: 2360
General features
Number of coarse blocks: 37,760
Number of unique subscopes: 191
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
4,720 |
MAX VALUE |
1,635.83 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
7 |
7 |
7.00 |
7.00 |
264,320 |
MAX VALUE |
73,477.60 |
0.00 |
0.00 |
0.00 |
Relational linkage |
0.88 |
0.88 |
0.88 |
0.88 |
1,337.00 |
0.00 |
-204.04 |
0.00 |
0.00 |
0.00 |
Tightness |
0.12 |
0.12 |
0.12 |
0.12 |
295.00 |
0.00 |
-4,907.48 |
0.00 |
0.00 |
0.00 |
Tuples |
56 |
56 |
56.00 |
56.00 |
132,160 |
MAX VALUE |
9,499.83 |
0.00 |
0.00 |
0.00 |
Domain size |
8 |
8 |
8.00 |
8.00 |
1,528 |
MAX VALUE |
397.17 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
7 |
95 |
24.71 |
20.00 |
4,720 |
MAX VALUE |
578.68 |
16.60 |
0.67 |
3.44 |
Partitions per subscope |
8 |
8 |
8.00 |
8.00 |
1,528 |
MAX VALUE |
397.17 |
0.00 |
0.00 |
0.00 |
Tree decomposition
Number of clusters: 118
Number of leaves: 93
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
7 |
583 |
115.68 |
14.50 |
13,650 |
MAX VALUE |
394.87 |
198.51 |
1.72 |
3.33 |
Cluster variables |
8 |
67 |
24.87 |
15.50 |
2,935 |
MAX VALUE |
350.23 |
19.68 |
0.79 |
3.14 |
Separator constraints |
0 |
551 |
95.68 |
0.00 |
11,290 |
0 |
None |
191.21 |
2.00 |
1.14 |
Separator variables |
0 |
65 |
23.25 |
14.00 |
2,744 |
0 |
None |
19.29 |
0.83 |
3.10 |
Dual tree decomposition
Number of clusters: 189
Number of leaves: 82
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
324 |
29,641 |
2,330.50 |
859.00 |
440,465 |
MAX VALUE |
1,328.81 |
4,136.66 |
1.78 |
4.66 |
Cluster variables |
36 |
1,355 |
134.42 |
70.00 |
25,405 |
MAX VALUE |
835.93 |
194.78 |
1.45 |
4.16 |
Separator constraints |
0 |
15,864 |
1,895.13 |
777.00 |
358,180 |
0 |
None |
2,798.89 |
1.48 |
4.67 |
Separator variables |
0 |
1,004 |
121.93 |
68.00 |
23,045 |
0 |
None |
156.92 |
1.29 |
4.18 |
Primal graph
Density: 13.01%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Primal1.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 |
7 |
95 |
24.71 |
20.00 |
4,720 |
MAX VALUE |
578.68 |
16.60 |
0.67 |
3.44 |
Eccentricity |
2 |
2 |
2.00 |
2.00 |
382 |
MAX VALUE |
132.39 |
0.00 |
0.00 |
0.00 |
Triangulated primal graph
Density: 29.72%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.35 |
1.00 |
0.88 |
0.92 |
167.26 |
0.00 |
-29.19 |
0.16 |
0.18 |
2.80 |
Degree |
7 |
167 |
56.46 |
61.00 |
10,784 |
MAX VALUE |
685.25 |
44.92 |
0.80 |
3.83 |
Eccentricity |
2 |
2 |
2.00 |
2.00 |
382 |
MAX VALUE |
132.39 |
0.00 |
0.00 |
0.00 |
Dual graph
Density: 2.96%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,335,460
Dot-file path:
/mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.49 |
0.89 |
0.60 |
0.57 |
1,424.42 |
0.00 |
-1,226.34 |
0.11 |
0.18 |
5.53 |
Degree |
35 |
141 |
69.73 |
65.00 |
164,570 |
MAX VALUE |
9,893.58 |
22.88 |
0.33 |
4.25 |
Eccentricity |
3 |
3 |
3.00 |
3.00 |
7,080 |
MAX VALUE |
2,592.73 |
0.00 |
0.00 |
0.00 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Minimal dual graph
Density: 0.16%
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.00 |
0.00 |
0.00 |
0.00 |
0.00 |
None |
0.00 |
None |
0.00 |
Degree |
2 |
7 |
3.84 |
4.00 |
9,058 |
MAX VALUE |
3,125.82 |
0.81 |
0.21 |
1.10 |
Eccentricity |
9 |
15 |
11.96 |
12.00 |
28,230 |
MAX VALUE |
5,851.54 |
0.81 |
0.07 |
1.19 |
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: 5.32%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.48 |
1.00 |
0.84 |
0.82 |
1,978.83 |
0.00 |
-447.96 |
0.14 |
0.16 |
4.54 |
Degree |
2 |
618 |
125.38 |
9.00 |
295,902 |
MAX VALUE |
7,164.96 |
200.87 |
1.60 |
4.14 |
Eccentricity |
3 |
6 |
4.72 |
5.00 |
11,146 |
MAX VALUE |
3,647.97 |
0.54 |
0.11 |
0.79 |
Incidence graph
Density: 0.15%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-8_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 |
95 |
3.70 |
2.00 |
9,440 |
MAX VALUE |
2,214.51 |
7.51 |
2.03 |
0.52 |
Eccentricity |
5 |
6 |
5.93 |
6.00 |
15,115 |
MAX VALUE |
4,535.95 |
0.26 |
0.04 |
0.27 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None