Instance: normalized-ortholatin-20
Number of variables: 1200
Number of constraints: 481
Satisfiable: None
Timestamp: 2018-04-21 10:20:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 1200
Number of constraints: 481
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
3 |
400 |
6.65 |
3.00 |
3,200 |
MAX VALUE |
685.10 |
19.04 |
2.86 |
0.46 |
Coarse blocks size |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Relational linkage |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Tightness |
1.00 |
1.00 |
1.00 |
1.00 |
480.00 |
0.37 |
-1.00 |
0.00 |
0.00 |
0.45 |
Tuples |
20 |
400 |
336.80 |
400.00 |
162,000 |
MAX VALUE |
2,642.24 |
141.50 |
0.42 |
0.45 |
Domain size |
20 |
400 |
146.67 |
20.00 |
176,000 |
MAX VALUE |
4,793.17 |
179.13 |
1.22 |
0.64 |
Constraints per subscope |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Partitions per subscope |
None |
None |
None |
None |
None |
None |
None |
None |
None |
None |
Tree decomposition
Number of clusters: 422
Number of leaves: 41
Tree depth: 176
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
3 |
1.14 |
1.00 |
481 |
0 |
None |
0.64 |
0.56 |
0.53 |
Cluster variables |
41 |
708 |
467.51 |
530.50 |
197,289 |
MAX VALUE |
2,502.01 |
194.78 |
0.42 |
5.42 |
Separator constraints |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Separator variables |
0 |
701 |
464.67 |
528.50 |
196,089 |
0 |
None |
195.74 |
0.42 |
5.41 |
Dual tree decomposition
Number of clusters: 420
Number of leaves: 400
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
7 |
40 |
8.57 |
7.00 |
3,600 |
MAX VALUE |
852.14 |
7.03 |
0.82 |
0.19 |
Cluster variables |
6 |
43 |
7.76 |
6.00 |
3,260 |
MAX VALUE |
791.93 |
7.88 |
1.02 |
0.19 |
Separator constraints |
0 |
2 |
1.90 |
2.00 |
800 |
0 |
None |
0.43 |
0.22 |
0.19 |
Separator variables |
0 |
41 |
6.62 |
5.00 |
2,779 |
0 |
None |
7.49 |
1.13 |
0.20 |
Primal graph
Density: 13.37%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.44 |
0.99 |
0.62 |
0.44 |
747.82 |
0.00 |
-661.25 |
0.26 |
0.42 |
0.64 |
Degree |
40 |
401 |
160.33 |
40.00 |
192,400 |
MAX VALUE |
5,348.69 |
170.18 |
1.06 |
0.64 |
Eccentricity |
2 |
3 |
2.67 |
3.00 |
3,200 |
MAX VALUE |
1,156.15 |
0.47 |
0.18 |
0.64 |
Triangulated primal graph
Density: 66.65%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.75 |
1.00 |
0.89 |
0.90 |
1,064.28 |
0.00 |
-148.21 |
0.07 |
0.08 |
6.87 |
Degree |
40 |
1,122 |
799.11 |
845.00 |
958,928 |
MAX VALUE |
7,864.13 |
260.93 |
0.33 |
6.10 |
Eccentricity |
2 |
3 |
2.05 |
2.00 |
2,459 |
MAX VALUE |
855.70 |
0.22 |
0.11 |
0.20 |
Dual graph
Density: 2.43%
MCB compute time (ms): 9,809
MCB cycles: 2,717
Triangles: 800
Dot-file path:
/mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.00 |
0.20 |
0.17 |
0.20 |
82.05 |
0.00 |
None |
0.07 |
0.38 |
0.46 |
Degree |
5 |
400 |
11.64 |
5.00 |
5,600 |
MAX VALUE |
944.88 |
22.00 |
1.89 |
0.46 |
Eccentricity |
2 |
3 |
2.17 |
2.00 |
1,042 |
MAX VALUE |
365.84 |
0.37 |
0.17 |
0.45 |
MCB cycle size |
3 |
4 |
3.71 |
4.00 |
10,068 |
MAX VALUE |
3,536.42 |
0.46 |
0.12 |
0.61 |
Minimal dual graph
Density: 1.73%
MCB compute time (ms): 1,243
MCB cycles: 1,520
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 |
4 |
400 |
8.32 |
5.00 |
4,000 |
MAX VALUE |
885.76 |
18.77 |
2.26 |
0.73 |
Eccentricity |
3 |
4 |
3.16 |
3.00 |
1,520 |
MAX VALUE |
550.58 |
0.37 |
0.12 |
0.44 |
MCB cycle size |
4 |
5 |
4.01 |
4.00 |
6,100 |
MAX VALUE |
2,111.63 |
0.11 |
0.03 |
0.07 |
Triangulated dual graph
Density: 3.88%
Triangles: 48,280
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.03 |
1.00 |
0.91 |
1.00 |
439.98 |
0.00 |
-58.92 |
0.19 |
0.21 |
0.58 |
Degree |
5 |
480 |
18.63 |
5.00 |
8,960 |
MAX VALUE |
999.24 |
36.11 |
1.94 |
0.58 |
Eccentricity |
1 |
2 |
2.00 |
2.00 |
961 |
MAX VALUE |
332.71 |
0.05 |
0.02 |
0.01 |
Triangulated minimal dual graph
Density: 3.84%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
0.03 |
1.00 |
0.92 |
1.00 |
440.40 |
0.00 |
-58.40 |
0.19 |
0.21 |
0.68 |
Degree |
4 |
479 |
18.44 |
5.00 |
8,872 |
MAX VALUE |
993.17 |
35.94 |
1.95 |
0.84 |
Eccentricity |
2 |
3 |
2.00 |
2.00 |
964 |
MAX VALUE |
334.21 |
0.06 |
0.03 |
0.03 |
Incidence graph
Density: 0.23%
MCB compute time (ms): 21,702
MCB cycles: 1,520
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/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 |
400 |
3.81 |
3.00 |
6,400 |
MAX VALUE |
1,841.24 |
10.35 |
2.72 |
0.73 |
Eccentricity |
4 |
6 |
5.52 |
6.00 |
9,284 |
MAX VALUE |
2,865.68 |
0.50 |
0.09 |
0.70 |
MCB cycle size |
8 |
8 |
8.00 |
8.00 |
12,160 |
MAX VALUE |
3,160.75 |
0.00 |
0.00 |
0.00 |
None