Instance: normalized-par-16-3-c_ext
Number of variables: 668
Number of constraints: 1606
Satisfiable: None
Timestamp: 2018-04-21 10:41:53
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 668
Number of constraints: 1606
General features
Number of coarse blocks: 9,956
Number of unique subscopes: 781
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
3 |
2.75 |
3.00 |
4,422 |
MAX VALUE |
1,603.81 |
0.43 |
0.16 |
0.56 |
Coarse blocks size |
1 |
4 |
2.97 |
3.00 |
29,552 |
MAX VALUE |
10,081.40 |
0.98 |
0.33 |
1.28 |
Relational linkage |
0.50 |
1.00 |
0.67 |
0.50 |
1,192.50 |
0.00 |
-795.15 |
0.19 |
0.29 |
1.01 |
Tightness |
0.12 |
0.25 |
0.16 |
0.12 |
257.75 |
0.00 |
-3,023.51 |
0.06 |
0.35 |
0.60 |
Tuples |
3 |
7 |
5.98 |
7.00 |
9,598 |
MAX VALUE |
2,780.35 |
1.71 |
0.29 |
0.71 |
Domain size |
2 |
2 |
2.00 |
2.00 |
1,336 |
MAX VALUE |
463.02 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
2 |
43 |
6.02 |
5.00 |
4,700 |
MAX VALUE |
1,255.51 |
5.87 |
0.98 |
1.26 |
Partitions per subscope |
2 |
4 |
2.29 |
2.00 |
1,788 |
MAX VALUE |
619.67 |
0.70 |
0.31 |
0.41 |
Tree decomposition
Number of clusters: 334
Number of leaves: 122
Tree depth: 16
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
4 |
22 |
11.57 |
11.00 |
3,866 |
MAX VALUE |
806.52 |
3.09 |
0.27 |
2.13 |
Cluster variables |
6 |
44 |
14.88 |
12.00 |
4,970 |
MAX VALUE |
864.39 |
8.32 |
0.56 |
2.31 |
Separator constraints |
0 |
20 |
6.77 |
5.00 |
2,260 |
0 |
None |
3.96 |
0.59 |
2.10 |
Separator variables |
0 |
40 |
12.88 |
10.00 |
4,302 |
0 |
None |
7.95 |
0.62 |
2.49 |
Dual tree decomposition
Number of clusters: 569
Number of leaves: 318
Tree depth: 30
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
10 |
2,598 |
245.25 |
39.00 |
139,547 |
MAX VALUE |
2,493.04 |
414.08 |
1.69 |
3.14 |
Cluster variables |
5 |
160 |
30.92 |
11.00 |
17,595 |
MAX VALUE |
1,670.03 |
36.76 |
1.19 |
2.62 |
Separator constraints |
0 |
2,218 |
202.15 |
29.00 |
115,023 |
0 |
None |
349.55 |
1.73 |
3.06 |
Separator variables |
0 |
128 |
28.10 |
10.00 |
15,989 |
0 |
None |
33.65 |
1.20 |
2.56 |
Primal graph
Density: 1.73%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.07 |
1.00 |
0.53 |
0.56 |
355.80 |
0.00 |
-454.76 |
0.12 |
0.23 |
1.78 |
Degree |
5 |
77 |
11.56 |
9.00 |
7,722 |
MAX VALUE |
1,530.74 |
11.35 |
0.98 |
1.26 |
Eccentricity |
5 |
9 |
6.66 |
7.00 |
4,447 |
MAX VALUE |
1,261.38 |
0.80 |
0.12 |
1.20 |
Triangulated primal graph
Density: 4.46%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.17 |
1.00 |
0.82 |
0.90 |
546.72 |
0.00 |
-163.40 |
0.19 |
0.24 |
3.36 |
Degree |
5 |
245 |
29.75 |
14.00 |
19,876 |
MAX VALUE |
1,947.47 |
42.52 |
1.43 |
3.15 |
Eccentricity |
3 |
5 |
4.09 |
4.00 |
2,732 |
MAX VALUE |
936.08 |
0.49 |
0.12 |
0.71 |
Dual graph
Density: 1.90%
MCB compute time (ms): 311,092
MCB cycles: 44,542
Triangles: 208,271
Dot-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.37 |
1.00 |
0.60 |
0.63 |
963.58 |
0.00 |
-850.72 |
0.11 |
0.18 |
3.47 |
Degree |
4 |
84 |
30.54 |
36.00 |
49,048 |
MAX VALUE |
5,099.83 |
19.31 |
0.63 |
2.96 |
Eccentricity |
6 |
10 |
7.18 |
7.00 |
11,526 |
MAX VALUE |
3,155.14 |
0.80 |
0.11 |
1.18 |
MCB cycle size |
3 |
10 |
3.21 |
3.00 |
142,811 |
MAX VALUE |
51,416.10 |
0.53 |
0.17 |
0.54 |
Minimal dual graph
Density: 0.28%
MCB compute time (ms): 118,099
MCB cycles: 1,984
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.06 |
0.00 |
89.87 |
0.00 |
None |
0.07 |
1.31 |
1.30 |
Degree |
3 |
7 |
4.47 |
4.00 |
7,178 |
MAX VALUE |
2,378.27 |
0.79 |
0.18 |
1.18 |
Eccentricity |
10 |
17 |
13.27 |
13.00 |
21,316 |
MAX VALUE |
4,145.34 |
1.26 |
0.10 |
1.63 |
MCB cycle size |
3 |
11 |
5.07 |
5.00 |
10,054 |
MAX VALUE |
3,127.50 |
1.60 |
0.32 |
1.77 |
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: 4.07%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.45 |
1.00 |
0.81 |
0.77 |
1,298.62 |
0.00 |
-371.32 |
0.16 |
0.19 |
4.66 |
Degree |
3 |
394 |
65.40 |
12.00 |
105,028 |
MAX VALUE |
4,750.72 |
97.18 |
1.49 |
4.20 |
Eccentricity |
4 |
6 |
4.75 |
5.00 |
7,621 |
MAX VALUE |
2,490.63 |
0.53 |
0.11 |
0.77 |
Incidence graph
Density: 0.17%
MCB compute time (ms): 211,248
MCB cycles: 2,150
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-3-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-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 |
43 |
3.89 |
3.00 |
8,844 |
MAX VALUE |
2,769.43 |
3.77 |
0.97 |
1.26 |
Eccentricity |
11 |
20 |
14.34 |
14.00 |
32,614 |
MAX VALUE |
6,041.79 |
1.60 |
0.11 |
1.79 |
MCB cycle size |
4 |
12 |
6.12 |
6.00 |
13,156 |
MAX VALUE |
3,865.63 |
1.04 |
0.17 |
0.67 |
None