Instance: normalized-bf-1355-075_ext
Number of variables: 4360
Number of constraints: 8951
Satisfiable: None
Timestamp: 2018-04-21 10:43:27
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 4360
Number of constraints: 8951
General features
Number of coarse blocks: 54,377
Number of unique subscopes: 6,302
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
2 |
6 |
2.40 |
2.00 |
21,461 |
MAX VALUE |
7,580.46 |
0.61 |
0.26 |
0.81 |
Coarse blocks size |
1 |
32 |
2.41 |
2.00 |
131,041 |
MAX VALUE |
36,676.00 |
2.24 |
0.93 |
1.45 |
Relational linkage |
0.50 |
1.00 |
0.72 |
0.50 |
10,737.80 |
0.00 |
-5,663.82 |
0.24 |
0.34 |
0.85 |
Tightness |
0.00 |
0.25 |
0.16 |
0.25 |
1,461.09 |
0.00 |
None |
0.10 |
0.63 |
1.11 |
Tuples |
1 |
63 |
3.99 |
3.00 |
35,727 |
MAX VALUE |
10,354.30 |
3.68 |
0.92 |
1.32 |
Domain size |
1 |
2 |
1.84 |
2.00 |
8,002 |
MAX VALUE |
2,524.44 |
0.37 |
0.20 |
0.45 |
Constraints per subscope |
2 |
33 |
4.12 |
4.00 |
25,963 |
MAX VALUE |
8,085.45 |
2.28 |
0.55 |
1.91 |
Partitions per subscope |
1 |
8 |
2.36 |
2.00 |
14,880 |
MAX VALUE |
4,718.25 |
1.25 |
0.53 |
0.99 |
Tree decomposition
Number of clusters: 3,296
Number of leaves: 1,163
Tree depth: 26
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
53 |
4.94 |
4.00 |
16,290 |
0 |
None |
3.87 |
0.78 |
2.31 |
Cluster variables |
2 |
127 |
9.76 |
8.00 |
32,156 |
MAX VALUE |
6,884.46 |
8.07 |
0.83 |
2.85 |
Separator constraints |
0 |
44 |
2.23 |
1.00 |
7,339 |
0 |
None |
3.65 |
1.64 |
1.85 |
Separator variables |
0 |
99 |
8.43 |
6.00 |
27,796 |
0 |
None |
7.35 |
0.87 |
2.81 |
Dual tree decomposition
Number of clusters: 4,282
Number of leaves: 1,874
Tree depth: 25
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
1 |
529 |
37.78 |
21.00 |
161,769 |
MAX VALUE |
13,359.70 |
47.33 |
1.25 |
4.00 |
Cluster variables |
3 |
278 |
15.18 |
11.00 |
65,014 |
MAX VALUE |
10,634.80 |
14.76 |
0.97 |
3.30 |
Separator constraints |
0 |
496 |
26.04 |
13.00 |
111,503 |
0 |
None |
37.06 |
1.42 |
3.83 |
Separator variables |
0 |
209 |
13.09 |
9.00 |
56,063 |
0 |
None |
12.35 |
0.94 |
3.18 |
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.67 |
None |
0.20 |
None |
None |
None |
None |
None |
3.43 |
Degree |
1 |
33 |
6.46 |
6.00 |
28,144 |
MAX VALUE |
7,677.01 |
2.88 |
0.45 |
2.32 |
Eccentricity |
13 |
20 |
15.97 |
16.00 |
69,650 |
MAX VALUE |
12,065.60 |
1.38 |
0.09 |
1.71 |
Triangulated primal graph
Density: 0.59%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.07 |
1.00 |
None |
0.78 |
None |
None |
None |
None |
None |
5.80 |
Degree |
1 |
864 |
25.55 |
12.00 |
111,392 |
MAX VALUE |
11,082.80 |
45.83 |
1.79 |
3.83 |
Eccentricity |
4 |
8 |
6.05 |
6.00 |
26,359 |
MAX VALUE |
7,819.93 |
0.65 |
0.11 |
0.98 |
Dual graph
Density: 0.13%
MCB compute time (ms): None
MCB cycles: None
Triangles: 102,574
Dot-file path:
/mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
1.00 |
0.46 |
0.46 |
4,115.17 |
0.00 |
None |
0.11 |
0.25 |
4.23 |
Degree |
2 |
35 |
11.23 |
10.00 |
100,532 |
MAX VALUE |
20,566.70 |
5.68 |
0.51 |
2.92 |
Eccentricity |
13 |
20 |
16.22 |
16.00 |
145,155 |
MAX VALUE |
24,907.70 |
1.34 |
0.08 |
1.68 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Minimal dual graph
Density: 0.04%
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.17 |
None |
0.00 |
None |
None |
None |
None |
None |
0.57 |
Degree |
1 |
7 |
3.39 |
3.00 |
30,384 |
MAX VALUE |
10,737.80 |
0.68 |
0.20 |
1.01 |
Eccentricity |
22 |
34 |
27.43 |
27.00 |
245,547 |
MAX VALUE |
29,614.00 |
2.23 |
0.08 |
2.19 |
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: 0.33%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.17 |
1.00 |
None |
0.70 |
None |
None |
None |
None |
None |
5.45 |
Degree |
1 |
552 |
29.24 |
6.00 |
261,702 |
MAX VALUE |
19,879.10 |
69.38 |
2.37 |
3.56 |
Eccentricity |
6 |
10 |
7.41 |
7.00 |
66,318 |
MAX VALUE |
17,888.30 |
0.68 |
0.09 |
1.03 |
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_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.73 |
Degree |
1 |
33 |
3.22 |
3.00 |
42,922 |
MAX VALUE |
14,074.10 |
1.84 |
0.57 |
1.53 |
Eccentricity |
26 |
40 |
32.67 |
32.00 |
434,856 |
MAX VALUE |
46,363.90 |
2.67 |
0.08 |
2.34 |
MCB cycle size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None