Instance: normalized-queen11-11-10_ext
Number of variables: 121
Number of constraints: 1980
Satisfiable: None
Timestamp: 2018-04-21 10:15:05
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 121
Number of constraints: 1980
General features
Number of coarse blocks: 39,600
Number of unique subscopes: 121
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
3,960 |
MAX VALUE |
1,372.43 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
9 |
9 |
9.00 |
9.00 |
356,400 |
MAX VALUE |
87,010.10 |
0.00 |
0.00 |
0.00 |
Relational linkage |
0.90 |
0.90 |
0.90 |
0.90 |
1,089.00 |
0.00 |
-127.49 |
0.00 |
0.00 |
0.00 |
Tightness |
0.10 |
0.10 |
0.10 |
0.10 |
198.00 |
0.00 |
-4,559.12 |
0.00 |
0.00 |
0.00 |
Tuples |
90 |
90 |
90.00 |
90.00 |
178,200 |
MAX VALUE |
8,909.62 |
0.00 |
0.00 |
0.00 |
Domain size |
10 |
10 |
10.00 |
10.00 |
1,210 |
MAX VALUE |
278.61 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
30 |
40 |
32.73 |
32.00 |
3,960 |
MAX VALUE |
421.71 |
2.57 |
0.08 |
1.53 |
Partitions per subscope |
10 |
10 |
10.00 |
10.00 |
1,210 |
MAX VALUE |
278.61 |
0.00 |
0.00 |
0.00 |
Tree decomposition
Number of clusters: 23
Number of leaves: 8
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
197 |
1,235 |
605.22 |
504.00 |
13,920 |
MAX VALUE |
142.40 |
368.74 |
0.61 |
2.93 |
Cluster variables |
31 |
96 |
60.13 |
58.00 |
1,383 |
MAX VALUE |
92.25 |
23.85 |
0.40 |
2.63 |
Separator constraints |
0 |
1,127 |
519.13 |
378.00 |
11,940 |
0 |
None |
357.23 |
0.69 |
2.93 |
Separator variables |
0 |
92 |
54.87 |
50.00 |
1,262 |
0 |
None |
25.28 |
0.46 |
2.57 |
Dual tree decomposition
Number of clusters: 119
Number of leaves: 60
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
880 |
17,915 |
2,559.18 |
1,421.00 |
304,543 |
MAX VALUE |
893.42 |
2,928.72 |
1.14 |
3.55 |
Cluster variables |
59 |
1,032 |
157.03 |
75.00 |
18,686 |
MAX VALUE |
562.12 |
174.71 |
1.11 |
3.14 |
Separator constraints |
0 |
10,189 |
2,027.92 |
1,347.00 |
241,323 |
0 |
None |
1,835.81 |
0.91 |
3.59 |
Separator variables |
0 |
782 |
140.39 |
74.00 |
16,706 |
0 |
None |
137.28 |
0.98 |
3.12 |
Primal graph
Density: 27.27%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.35 |
0.40 |
0.37 |
0.36 |
44.33 |
0.00 |
-121.55 |
0.01 |
0.03 |
2.57 |
Degree |
30 |
40 |
32.73 |
32.00 |
3,960 |
MAX VALUE |
421.71 |
2.57 |
0.08 |
1.53 |
Eccentricity |
2 |
2 |
2.00 |
2.00 |
242 |
2.66e+36 |
83.87 |
0.00 |
0.00 |
0.00 |
Triangulated primal graph
Density: 83.87%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.88 |
1.00 |
0.93 |
0.93 |
112.69 |
0.00 |
-8.66 |
0.03 |
0.03 |
4.41 |
Degree |
30 |
115 |
100.64 |
110.00 |
12,178 |
MAX VALUE |
552.93 |
22.28 |
0.22 |
2.95 |
Eccentricity |
2 |
2 |
2.00 |
2.00 |
242 |
2.66e+36 |
83.87 |
0.00 |
0.00 |
0.00 |
Dual graph
Density: 3.23%
MCB compute time (ms): None
MCB cycles: None
Triangles: 664,044
Dot-file path:
/mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.49 |
0.51 |
0.50 |
0.50 |
988.27 |
0.00 |
-1,375.91 |
0.00 |
0.00 |
4.07 |
Degree |
58 |
76 |
63.86 |
64.00 |
126,440 |
MAX VALUE |
8,226.18 |
4.10 |
0.06 |
2.06 |
Eccentricity |
3 |
3 |
3.00 |
3.00 |
5,940 |
MAX VALUE |
2,175.25 |
0.00 |
0.00 |
0.00 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Minimal dual graph
Density: 0.20%
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.00 |
0.00 |
0.83 |
0.00 |
None |
0.01 |
26.68 |
0.01 |
Degree |
2 |
8 |
3.88 |
4.00 |
7,678 |
MAX VALUE |
2,633.64 |
0.91 |
0.23 |
1.22 |
Eccentricity |
8 |
11 |
9.62 |
10.00 |
19,047 |
MAX VALUE |
4,477.13 |
0.69 |
0.07 |
1.05 |
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: 7.88%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.47 |
1.00 |
0.87 |
0.87 |
1,715.80 |
0.00 |
-306.69 |
0.13 |
0.15 |
4.44 |
Degree |
2 |
595 |
155.86 |
9.00 |
308,604 |
MAX VALUE |
6,235.12 |
232.95 |
1.49 |
3.90 |
Eccentricity |
3 |
5 |
3.77 |
4.00 |
7,464 |
MAX VALUE |
2,607.42 |
0.52 |
0.14 |
0.77 |
Incidence graph
Density: 0.18%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-10_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 |
40 |
3.77 |
2.00 |
7,920 |
MAX VALUE |
1,794.14 |
7.19 |
1.91 |
0.31 |
Eccentricity |
5 |
6 |
5.94 |
6.00 |
12,485 |
MAX VALUE |
3,742.43 |
0.23 |
0.04 |
0.22 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None