Instance: normalized-mps-pipex_ext
Number of variables: 48
Number of constraints: 19
Satisfiable: None
Timestamp: 2018-04-21 10:37:38
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 48
Number of constraints: 19
General features
Number of coarse blocks: 192
Number of unique subscopes: 48
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 16 5.05 3.00 96 1.76e+11 25.90 4.74 0.94 0.44
Coarse blocks size 1 9,578 1,752.25 25.50 336,432 MAX VALUE 748.71 2,738.48 1.56 3.32
Relational linkage 0.00 0.29 0.11 0.10 10.26 0.00 -282.70 0.09 0.85 4.56
Tightness 0.62 0.99 0.67 0.62 12.68 0.00 -7.87 0.10 0.15 0.61
Tuples 3 13,281 1,108.74 3.00 21,066 2.66e+18 42.42 3,273.49 2.95 0.61
Domain size 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Constraints per subscope 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Partitions per subscope 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Tree decomposition
Number of clusters: 17
Number of leaves: 3
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.12 1.00 19 0 None 0.47 0.42 0.68
Cluster variables 18 32 20.88 20.00 355 2.32e+22 51.50 3.16 0.15 1.86
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 22 18.06 19.00 307 0 None 4.76 0.26 1.86
Dual tree decomposition
Number of clusters: 16
Number of leaves: 2
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 3 3.00 3.00 48 43,046,700 17.58 0.00 0.00 0.00
Cluster variables 4 4 4.00 4.00 64 4.29e+09 22.18 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 3 2.81 3.00 45 0 None 0.73 0.26 0.23
Primal graph
Density: 36.17%
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 0.78 0.78 0.78 37.41 0.00 -11.96 0.00 0.00 0.00
Degree 17 17 17.00 17.00 816 MAX VALUE 135.99 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Triangulated primal graph
Density: 71.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.87 0.85 41.66 0.00 -6.98 0.07 0.09 2.78
Degree 17 42 33.46 38.00 1,606 MAX VALUE 166.44 8.82 0.26 2.40
Eccentricity 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Dual graph
Density: 28.07%
MCB compute time (ms): 0
MCB cycles: 30
Triangles: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Dual1.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 3 16 5.05 3.00 96 1.76e+11 25.90 4.74 0.94 0.44
Eccentricity 2 2 2.00 2.00 38 524,288 13.17 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00
Minimal dual graph
Density: 28.07%
MCB compute time (ms): 0
MCB cycles: 30
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 3 16 5.05 3.00 96 1.76e+11 25.90 4.74 0.94 0.44
Eccentricity 2 2 2.00 2.00 38 524,288 13.17 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00
Triangulated dual graph
Density: 29.82%
Triangles: 49
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.88 1.00 16.65 0.01 -4.60 0.29 0.33 0.44
Degree 3 18 5.37 3.00 102 2.51e+11 26.25 5.47 1.02 0.44
Eccentricity 1 2 1.84 2.00 35 65,536 11.09 0.36 0.20 0.44
Triangulated minimal dual graph
Density: 29.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.88 1.00 16.65 0.01 -4.60 0.29 0.33 0.44
Degree 3 18 5.37 3.00 102 2.51e+11 26.25 5.47 1.02 0.44
Eccentricity 1 2 1.84 2.00 35 65,536 11.09 0.36 0.20 0.44
Incidence graph
Density: 4.34%
MCB compute time (ms): 3
MCB cycles: 30
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-pipex_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 16 2.87 2.00 192 4.96e+25 59.17 2.87 1.00 0.72
Eccentricity 4 4 4.00 4.00 268 MAX VALUE 92.88 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 240 1.24e+27 62.38 0.00 0.00 0.00