Instance: 3-insertions-3-3_ext
Number of variables: 56
Number of constraints: 110
Satisfiable: None
Timestamp: 2017-10-27 10:46:06
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Component #1
Number of variables: 56
Number of constraints: 110
General features
Number of coarse blocks: 660
Number of unique subscopes: 56
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
2 |
2.00 |
2.00 |
220 |
1.30e+33 |
76.25 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
2 |
2 |
2.00 |
2.00 |
1,320 |
MAX VALUE |
457.48 |
0.00 |
0.00 |
0.00 |
Relational linkage |
0.67 |
0.67 |
0.67 |
0.67 |
112.00 |
0.00 |
-68.12 |
0.00 |
0.00 |
0.00 |
Tightness |
0.33 |
0.33 |
0.33 |
0.33 |
36.67 |
0.00 |
-120.85 |
0.00 |
0.00 |
0.00 |
Tuples |
6 |
6 |
6.00 |
6.00 |
660 |
MAX VALUE |
197.09 |
0.00 |
0.00 |
0.00 |
Domain size |
3 |
3 |
3.00 |
3.00 |
168 |
5.23e+26 |
61.52 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
3 |
11 |
3.93 |
4.00 |
220 |
6.03e+32 |
75.48 |
1.03 |
0.26 |
0.58 |
Partitions per subscope |
3 |
3 |
3.00 |
3.00 |
168 |
5.23e+26 |
61.52 |
0.00 |
0.00 |
0.00 |
Tree decomposition
Number of clusters: 43
Number of leaves: 27
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
5 |
2.93 |
3.00 |
126 |
0 |
None |
1.44 |
0.49 |
1.29 |
Cluster variables |
4 |
13 |
6.26 |
5.00 |
269 |
8.73e+32 |
75.85 |
2.54 |
0.41 |
1.69 |
Separator constraints |
0 |
2 |
0.37 |
0.00 |
16 |
0 |
None |
0.78 |
2.09 |
0.48 |
Separator variables |
0 |
11 |
4.95 |
4.00 |
213 |
0 |
None |
2.40 |
0.48 |
1.68 |
Dual tree decomposition
Number of clusters: 54
Number of leaves: 25
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
7 |
58 |
12.17 |
11.00 |
657 |
MAX VALUE |
130.90 |
7.20 |
0.59 |
1.80 |
Cluster variables |
6 |
25 |
9.83 |
8.00 |
531 |
MAX VALUE |
118.92 |
4.55 |
0.46 |
2.19 |
Separator constraints |
0 |
29 |
5.65 |
6.00 |
305 |
0 |
None |
3.70 |
0.65 |
1.39 |
Separator variables |
0 |
17 |
7.80 |
6.50 |
421 |
0 |
None |
3.37 |
0.43 |
2.17 |
Primal graph
Density: 7.14%
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_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 |
3 |
11 |
3.93 |
4.00 |
220 |
6.03e+32 |
75.48 |
1.03 |
0.26 |
0.58 |
Eccentricity |
5 |
5 |
5.00 |
5.00 |
280 |
MAX VALUE |
90.13 |
0.00 |
0.00 |
0.00 |
Triangulated primal graph
Density: 19.55%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.27 |
1.00 |
0.78 |
0.82 |
43.85 |
0.00 |
-16.28 |
0.22 |
0.28 |
2.24 |
Degree |
3 |
38 |
10.75 |
8.50 |
602 |
MAX VALUE |
114.91 |
8.46 |
0.79 |
2.33 |
Eccentricity |
2 |
4 |
2.98 |
3.00 |
167 |
1.53e+26 |
60.29 |
0.52 |
0.17 |
0.77 |
Dual graph
Density: 5.87%
MCB compute time (ms): 67
MCB cycles: 270
Triangles: 352
Dot-file path:
/mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.40 |
0.70 |
0.43 |
0.40 |
47.27 |
0.00 |
-94.68 |
0.09 |
0.21 |
0.33 |
Degree |
5 |
12 |
6.40 |
6.00 |
704 |
MAX VALUE |
200.71 |
1.91 |
0.30 |
0.80 |
Eccentricity |
6 |
6 |
6.00 |
6.00 |
660 |
MAX VALUE |
197.09 |
0.00 |
0.00 |
0.00 |
MCB cycle size |
3 |
11 |
3.43 |
3.00 |
925 |
MAX VALUE |
327.03 |
0.80 |
0.23 |
0.82 |
Minimal dual graph
Density: 2.74%
MCB compute time (ms): 29
MCB cycles: 55
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 |
4 |
2.98 |
3.00 |
328 |
MAX VALUE |
118.98 |
0.43 |
0.14 |
0.60 |
Eccentricity |
8 |
11 |
9.82 |
10.00 |
1,080 |
MAX VALUE |
250.94 |
0.74 |
0.08 |
1.10 |
MCB cycle size |
4 |
11 |
6.27 |
6.00 |
345 |
MAX VALUE |
100.03 |
1.21 |
0.19 |
1.49 |
Triangulated dual graph
Density: 19.48%
Triangles: 7,223
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.50 |
1.00 |
0.76 |
0.76 |
84.11 |
0.00 |
-31.97 |
0.16 |
0.21 |
3.44 |
Degree |
5 |
50 |
21.24 |
15.50 |
2,336 |
MAX VALUE |
305.59 |
14.77 |
0.70 |
3.08 |
Eccentricity |
2 |
4 |
2.88 |
3.00 |
317 |
MAX VALUE |
115.11 |
0.42 |
0.15 |
0.58 |
Triangulated minimal dual graph
Density: 9.24%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.42 |
1.00 |
0.74 |
0.67 |
81.49 |
0.00 |
-37.83 |
0.22 |
0.29 |
2.78 |
Degree |
2 |
33 |
10.07 |
5.00 |
1,108 |
MAX VALUE |
207.86 |
9.41 |
0.93 |
2.73 |
Eccentricity |
4 |
7 |
4.92 |
5.00 |
541 |
MAX VALUE |
174.20 |
0.68 |
0.14 |
1.00 |
Incidence graph
Density: 1.61%
MCB compute time (ms): 76
MCB cycles: 55
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/3-insertions-3-3_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 |
11 |
2.65 |
2.00 |
440 |
MAX VALUE |
151.73 |
1.09 |
0.41 |
0.84 |
Eccentricity |
11 |
12 |
11.66 |
12.00 |
1,936 |
MAX VALUE |
407.62 |
0.47 |
0.04 |
0.64 |
MCB cycle size |
8 |
22 |
8.25 |
8.00 |
454 |
MAX VALUE |
115.38 |
1.87 |
0.23 |
0.09 |
None