Instance: normalized-par-8-2_ext
Number of variables: 700
Number of constraints: 1464
Satisfiable: None
Timestamp: 2018-04-21 10:41:06
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 700
Number of constraints: 1464
General features
Number of coarse blocks: 5,895
Number of unique subscopes: 940
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
3 |
2.54 |
3.00 |
3,716 |
MAX VALUE |
1,334.27 |
0.50 |
0.20 |
0.69 |
Coarse blocks size |
1 |
4 |
1.82 |
1.00 |
10,716 |
MAX VALUE |
2,593.49 |
1.09 |
0.60 |
1.15 |
Relational linkage |
0.50 |
1.00 |
0.77 |
1.00 |
1,012.75 |
0.00 |
-420.02 |
0.24 |
0.32 |
0.87 |
Tightness |
0.00 |
0.25 |
0.08 |
0.00 |
116.75 |
0.00 |
None |
0.10 |
1.32 |
0.94 |
Tuples |
1 |
7 |
2.55 |
1.00 |
3,733 |
MAX VALUE |
918.25 |
2.16 |
0.85 |
1.14 |
Domain size |
1 |
2 |
1.43 |
1.00 |
1,002 |
MAX VALUE |
209.33 |
0.50 |
0.35 |
0.68 |
Constraints per subscope |
2 |
23 |
4.46 |
4.00 |
4,196 |
MAX VALUE |
1,285.91 |
2.46 |
0.55 |
1.82 |
Partitions per subscope |
1 |
4 |
1.44 |
1.00 |
1,349 |
MAX VALUE |
262.70 |
0.66 |
0.46 |
0.77 |
Tree decomposition
Number of clusters: 425
Number of leaves: 127
Tree depth: 23
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
1 |
21 |
7.49 |
8.00 |
3,182 |
MAX VALUE |
779.77 |
3.99 |
0.53 |
2.55 |
Cluster variables |
3 |
48 |
10.08 |
8.00 |
4,284 |
MAX VALUE |
899.77 |
7.31 |
0.73 |
2.85 |
Separator constraints |
0 |
16 |
4.04 |
4.00 |
1,718 |
0 |
None |
3.12 |
0.77 |
2.35 |
Separator variables |
0 |
40 |
8.43 |
6.00 |
3,584 |
0 |
None |
6.22 |
0.74 |
2.73 |
Dual tree decomposition
Number of clusters: 656
Number of leaves: 304
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
2 |
438 |
55.84 |
35.00 |
36,633 |
MAX VALUE |
2,290.42 |
65.85 |
1.18 |
3.70 |
Cluster variables |
3 |
101 |
16.71 |
11.00 |
10,960 |
MAX VALUE |
1,666.87 |
15.07 |
0.90 |
3.23 |
Separator constraints |
0 |
344 |
41.17 |
25.00 |
27,008 |
0 |
None |
50.90 |
1.24 |
3.47 |
Separator variables |
0 |
74 |
14.48 |
10.00 |
9,496 |
0 |
None |
12.58 |
0.87 |
2.98 |
Primal graph
Density: 1.14%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
0.46 |
0.49 |
319.29 |
0.00 |
None |
0.23 |
0.50 |
2.34 |
Degree |
2 |
45 |
8.00 |
8.00 |
5,600 |
MAX VALUE |
1,373.66 |
4.59 |
0.57 |
2.14 |
Eccentricity |
10 |
17 |
13.83 |
14.00 |
9,680 |
MAX VALUE |
1,833.58 |
1.65 |
0.12 |
1.88 |
Triangulated primal graph
Density: 3.78%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.17 |
1.00 |
0.76 |
0.75 |
530.78 |
0.00 |
-216.42 |
0.18 |
0.23 |
4.48 |
Degree |
2 |
223 |
26.44 |
12.00 |
18,508 |
MAX VALUE |
1,896.01 |
32.70 |
1.24 |
3.77 |
Eccentricity |
5 |
10 |
7.03 |
7.00 |
4,921 |
MAX VALUE |
1,360.70 |
0.80 |
0.11 |
1.16 |
Dual graph
Density: 0.90%
MCB compute time (ms): 12,818
MCB cycles: 14,251
Triangles: 24,823
Dot-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
0.49 |
0.47 |
713.54 |
0.00 |
None |
0.11 |
0.23 |
3.55 |
Degree |
2 |
44 |
13.15 |
12.00 |
19,250 |
MAX VALUE |
3,577.12 |
6.41 |
0.49 |
2.98 |
Eccentricity |
11 |
18 |
14.36 |
14.00 |
21,023 |
MAX VALUE |
3,891.14 |
1.62 |
0.11 |
1.87 |
MCB cycle size |
3 |
16 |
3.48 |
3.00 |
49,541 |
MAX VALUE |
17,443.80 |
0.81 |
0.23 |
0.86 |
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 26,869
MCB cycles: 1,313
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.33 |
0.01 |
0.00 |
20.70 |
0.00 |
None |
0.05 |
3.23 |
0.40 |
Degree |
2 |
6 |
3.79 |
4.00 |
5,552 |
MAX VALUE |
1,924.65 |
0.69 |
0.18 |
1.04 |
Eccentricity |
16 |
28 |
21.98 |
22.00 |
32,172 |
MAX VALUE |
4,513.66 |
2.56 |
0.12 |
2.31 |
MCB cycle size |
3 |
22 |
5.66 |
5.00 |
7,427 |
MAX VALUE |
2,226.16 |
1.68 |
0.30 |
1.69 |
Triangulated dual graph
Density: 4.18%
Triangles: 1,103,080
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.37 |
1.00 |
0.77 |
0.76 |
1,122.89 |
0.00 |
-424.48 |
0.17 |
0.22 |
4.77 |
Degree |
2 |
295 |
61.10 |
31.00 |
89,456 |
MAX VALUE |
5,068.76 |
66.56 |
1.09 |
4.51 |
Eccentricity |
6 |
11 |
7.73 |
8.00 |
11,314 |
MAX VALUE |
2,986.24 |
0.78 |
0.10 |
1.16 |
Triangulated minimal dual graph
Density: 2.46%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.37 |
1.00 |
0.76 |
0.72 |
1,118.56 |
0.00 |
-435.24 |
0.18 |
0.23 |
4.46 |
Degree |
2 |
233 |
36.01 |
8.00 |
52,722 |
MAX VALUE |
3,741.60 |
55.25 |
1.53 |
3.84 |
Eccentricity |
8 |
15 |
10.62 |
11.00 |
15,543 |
MAX VALUE |
3,453.43 |
0.90 |
0.08 |
1.29 |
Incidence graph
Density: 0.16%
MCB compute time (ms): 21,676
MCB cycles: 1,553
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-2_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 |
23 |
3.43 |
3.00 |
7,432 |
MAX VALUE |
2,453.83 |
1.89 |
0.55 |
1.48 |
Eccentricity |
21 |
36 |
28.70 |
29.00 |
62,106 |
MAX VALUE |
7,249.91 |
3.26 |
0.11 |
2.50 |
MCB cycle size |
4 |
32 |
6.25 |
6.00 |
9,708 |
MAX VALUE |
2,791.91 |
2.06 |
0.33 |
0.98 |
None