Instance: normalized-ssa-7552-038_ext
Number of variables: 3002
Number of constraints: 5072
Satisfiable: None
Timestamp: 2018-04-21 10:44:12
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 3002
Number of constraints: 5072
General features
Number of coarse blocks: 26,521
Number of unique subscopes: 3,494
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
6 |
2.22 |
2.00 |
11,246 |
MAX VALUE |
3,942.30 |
0.49 |
0.22 |
0.57 |
Coarse blocks size |
1 |
32 |
2.17 |
2.00 |
57,546 |
MAX VALUE |
15,742.20 |
1.85 |
0.85 |
1.32 |
Relational linkage |
0.50 |
1.00 |
0.62 |
0.50 |
4,874.16 |
0.00 |
-4,212.45 |
0.20 |
0.33 |
0.68 |
Tightness |
0.00 |
0.25 |
0.22 |
0.25 |
1,099.14 |
0.00 |
None |
0.07 |
0.32 |
0.69 |
Tuples |
1 |
63 |
3.83 |
3.00 |
19,419 |
MAX VALUE |
6,234.46 |
2.80 |
0.73 |
0.75 |
Domain size |
1 |
2 |
1.97 |
2.00 |
5,924 |
MAX VALUE |
2,025.38 |
0.16 |
0.08 |
0.12 |
Constraints per subscope |
2 |
137 |
3.54 |
3.00 |
12,372 |
MAX VALUE |
3,934.85 |
4.35 |
1.23 |
1.63 |
Partitions per subscope |
1 |
8 |
2.27 |
2.00 |
7,939 |
MAX VALUE |
2,700.50 |
0.88 |
0.39 |
0.52 |
Tree decomposition
Number of clusters: 2,677
Number of leaves: 924
Tree depth: 64
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
36 |
3.22 |
2.00 |
8,624 |
None |
None |
2.59 |
0.80 |
1.62 |
Cluster variables |
2 |
49 |
5.81 |
4.00 |
15,554 |
MAX VALUE |
4,239.72 |
4.43 |
0.76 |
2.11 |
Separator constraints |
0 |
27 |
1.33 |
1.00 |
3,552 |
0 |
None |
2.32 |
1.75 |
1.55 |
Separator variables |
0 |
35 |
4.69 |
3.00 |
12,552 |
0 |
None |
4.05 |
0.86 |
2.08 |
Dual tree decomposition
Number of clusters: 2,912
Number of leaves: 1,133
Tree depth: 56
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
12,091 |
219.44 |
9.00 |
638,997 |
None |
None |
1,077.29 |
4.91 |
3.43 |
Cluster variables |
2 |
211 |
13.79 |
7.00 |
40,151 |
MAX VALUE |
6,058.76 |
24.79 |
1.80 |
2.88 |
Separator constraints |
0 |
9,181 |
203.22 |
4.00 |
591,781 |
0 |
None |
1,029.78 |
5.07 |
3.18 |
Separator variables |
0 |
148 |
12.05 |
6.00 |
35,079 |
0 |
None |
23.77 |
1.97 |
2.81 |
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.67 |
None |
0.10 |
None |
None |
None |
None |
None |
2.29 |
Degree |
1 |
137 |
4.53 |
4.00 |
13,606 |
MAX VALUE |
4,036.19 |
4.85 |
1.07 |
2.04 |
Eccentricity |
12 |
24 |
18.86 |
19.00 |
56,617 |
MAX VALUE |
8,791.95 |
2.39 |
0.13 |
2.23 |
Triangulated primal graph
Density: 0.41%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.02 |
1.00 |
None |
0.69 |
None |
None |
None |
None |
None |
4.19 |
Degree |
1 |
653 |
12.34 |
5.00 |
37,056 |
MAX VALUE |
5,564.88 |
26.63 |
2.16 |
3.02 |
Eccentricity |
7 |
13 |
9.07 |
9.00 |
27,233 |
MAX VALUE |
6,591.29 |
1.31 |
0.14 |
1.46 |
Dual graph
Density: 0.37%
MCB compute time (ms): 13,803,100
MCB cycles: 42,932
Triangles: 1,201,270
Dot-file path:
/mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
None |
0.47 |
None |
None |
None |
None |
None |
3.78 |
Degree |
1 |
272 |
18.62 |
7.00 |
94,432 |
MAX VALUE |
10,971.50 |
34.37 |
1.85 |
2.92 |
Eccentricity |
12 |
24 |
18.48 |
19.00 |
93,724 |
MAX VALUE |
14,747.00 |
2.45 |
0.13 |
2.26 |
MCB cycle size |
3 |
17 |
3.12 |
3.00 |
133,995 |
MAX VALUE |
48,441.90 |
0.56 |
0.18 |
0.32 |
Minimal dual graph
Density: 0.06%
MCB compute time (ms): 529,670
MCB cycles: 2,700
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
None |
0.00 |
None |
None |
None |
None |
None |
0.07 |
Degree |
1 |
7 |
3.06 |
3.00 |
15,540 |
MAX VALUE |
5,531.65 |
0.72 |
0.23 |
1.08 |
Eccentricity |
23 |
41 |
30.60 |
30.00 |
155,200 |
MAX VALUE |
17,323.40 |
3.22 |
0.11 |
2.56 |
MCB cycle size |
3 |
28 |
6.91 |
7.00 |
18,663 |
MAX VALUE |
5,054.32 |
2.91 |
0.42 |
2.01 |
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: 0.39%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.17 |
1.00 |
None |
0.67 |
None |
None |
None |
None |
None |
4.37 |
Degree |
1 |
355 |
19.68 |
5.00 |
99,814 |
MAX VALUE |
9,776.34 |
44.44 |
2.26 |
3.22 |
Eccentricity |
9 |
17 |
11.14 |
11.00 |
56,520 |
MAX VALUE |
12,191.40 |
1.39 |
0.13 |
1.58 |
Incidence graph
Density: 0.03%
MCB compute time (ms): 773,550
MCB cycles: 3,178
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Incidence1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.00 |
None |
0.00 |
None |
None |
None |
None |
None |
1.05 |
Degree |
1 |
137 |
2.79 |
2.00 |
22,492 |
MAX VALUE |
7,476.42 |
2.96 |
1.06 |
1.18 |
Eccentricity |
25 |
48 |
37.74 |
38.00 |
304,694 |
MAX VALUE |
29,246.50 |
4.79 |
0.13 |
2.91 |
MCB cycle size |
4 |
34 |
7.66 |
8.00 |
24,332 |
MAX VALUE |
6,262.66 |
3.00 |
0.39 |
1.33 |
None