Instance: normalized-mps-stein15_ext
Number of variables: 15
Number of constraints: 1
Satisfiable: None
Timestamp: 2018-04-21 10:37:27
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 15
Number of constraints: 1
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Arity |
15 |
15 |
15.00 |
15.00 |
15 |
15 |
2.71 |
0.00 |
0.00 |
0.00 |
Coarse blocks size |
None |
None |
None |
None |
0 |
1 |
0.00 |
None |
None |
0.00 |
Relational linkage |
None |
None |
None |
None |
0.00 |
1.00 |
0.00 |
None |
None |
0.00 |
Tightness |
0.91 |
0.91 |
0.91 |
0.91 |
0.91 |
0.91 |
-0.09 |
0.00 |
0.00 |
0.00 |
Tuples |
2,809 |
2,809 |
2,809.00 |
2,809.00 |
2,809 |
2,809 |
7.94 |
0.00 |
0.00 |
0.00 |
Domain size |
2 |
2 |
2.00 |
2.00 |
30 |
32,768 |
10.40 |
0.00 |
0.00 |
0.00 |
Constraints per subscope |
None |
None |
None |
None |
0 |
1 |
0.00 |
None |
None |
0.00 |
Partitions per subscope |
None |
None |
None |
None |
0 |
1 |
0.00 |
None |
None |
0.00 |
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Tree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
1 |
1 |
1.00 |
1.00 |
1 |
1 |
0.00 |
0.00 |
0.00 |
0.00 |
Cluster variables |
15 |
15 |
15.00 |
15.00 |
15 |
15 |
2.71 |
0.00 |
0.00 |
0.00 |
Separator constraints |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Separator variables |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/DualTree1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Cluster constraints |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Cluster variables |
1 |
1 |
1.00 |
1.00 |
1 |
1 |
0.00 |
0.00 |
0.00 |
0.00 |
Separator constraints |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Separator variables |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Primal graph
Density: 100.00%
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Primal1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
1.00 |
1.00 |
1.00 |
1.00 |
15.00 |
1.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Degree |
14 |
14 |
14.00 |
14.00 |
210 |
1.56e+17 |
39.59 |
0.00 |
0.00 |
0.00 |
Eccentricity |
1 |
1 |
1.00 |
1.00 |
15 |
1 |
0.00 |
0.00 |
0.00 |
0.00 |
Triangulated primal graph
Density: 100.00%
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
1.00 |
1.00 |
1.00 |
1.00 |
15.00 |
1.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Degree |
14 |
14 |
14.00 |
14.00 |
210 |
1.56e+17 |
39.59 |
0.00 |
0.00 |
0.00 |
Eccentricity |
1 |
1 |
1.00 |
1.00 |
15 |
1 |
0.00 |
0.00 |
0.00 |
0.00 |
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path:
/mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Dual1.dot
PDF-file path:
/mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Dual1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
None |
None |
None |
None |
None |
None |
None |
None |
None |
0.00 |
Degree |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Eccentricity |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
MCB cycle size |
None |
None |
None |
None |
0 |
1 |
0.00 |
None |
None |
0.00 |
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
None |
None |
None |
None |
None |
None |
None |
None |
None |
0.00 |
Degree |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Eccentricity |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
MCB cycle size |
None |
None |
None |
None |
0 |
1 |
0.00 |
None |
None |
0.00 |
Triangulated dual graph
Density: None%
Triangles: 0
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
None |
None |
None |
None |
None |
None |
None |
None |
None |
0.00 |
Degree |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Eccentricity |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Triangulated minimal dual graph
Density: 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 |
0.00 |
Degree |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Eccentricity |
0 |
0 |
0.00 |
0.00 |
0 |
0 |
None |
0.00 |
None |
0.00 |
Incidence graph
Density: 12.50%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-stein15_ext/Incidence1.pdf
Feature |
min |
max |
mean |
median |
sum |
prod |
ln(prod) |
std_dev |
COV |
ENT |
Clustering coefficient |
None |
None |
None |
None |
None |
None |
None |
None |
None |
2.77 |
Degree |
1 |
15 |
1.88 |
1.00 |
30 |
15 |
2.71 |
3.39 |
1.81 |
0.23 |
Eccentricity |
1 |
2 |
1.94 |
2.00 |
31 |
32,768 |
10.40 |
0.24 |
0.12 |
0.23 |
MCB cycle size |
None |
None |
None |
None |
0 |
1 |
0.00 |
None |
None |
0.00 |
None