Instance: normalized-mps-p0033_ext
Number of variables: 33
Number of constraints: 9
Satisfiable: None
Timestamp: 2018-04-21 10:37:25
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 33
Number of constraints: 9
General features
Number of coarse blocks: 966
Number of unique subscopes: 13
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 19 6.67 5.00 60 4,104,000 15.23 4.92 0.74 1.68
Coarse blocks size 1 7,590 125.69 35.00 121,413 MAX VALUE 2,804.36 666.59 5.30 4.02
Relational linkage 0.00 0.50 0.05 0.04 13.75 0.00 -980.66 0.05 1.12 4.23
Tightness 0.12 0.95 0.53 0.50 4.77 0.00 -7.30 0.27 0.52 2.04
Tuples 4 23,989 2,713.56 7.00 24,422 1.00e+14 32.24 7,522.40 2.77 2.04
Domain size 2 2 2.00 2.00 66 8.59e+09 22.87 0.00 0.00 0.00
Constraints per subscope 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00
Partitions per subscope 2 512 51.69 4.00 672 4.29e+09 22.18 136.97 2.65 1.12
Tree decomposition
Number of clusters: 9
Number of leaves: 3
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 9 1 0.00 0.00 0.00 0.00
Cluster variables 3 19 6.89 5.00 62 5,078,700 15.44 5.04 0.73 1.68
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 10 3.22 2.00 29 0 None 3.26 1.01 1.68
Dual tree decomposition
Number of clusters: 6
Number of leaves: 4
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 5 2.67 2.00 16 75 4.32 1.80 0.67 1.01
Cluster variables 2 4 2.83 2.50 17 384 5.95 0.90 0.32 1.01
Separator constraints 0 2 0.50 0.00 3 0 None 0.76 1.53 0.87
Separator variables 0 3 1.33 1.00 8 0 None 0.94 0.71 1.24
Primal graph
Density: 41.10%
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.88 0.95 29.15 0.01 -4.97 0.17 0.19 2.09
Degree 2 22 13.15 19.00 434 8.45e+32 75.82 7.50 0.57 1.99
Eccentricity 3 5 3.64 3.00 120 1.39e+18 41.78 0.85 0.23 0.93
Triangulated primal graph
Density: 41.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.88 0.95 29.15 0.01 -4.97 0.17 0.19 2.09
Degree 2 22 13.15 19.00 434 8.45e+32 75.82 7.50 0.57 1.99
Eccentricity 3 5 3.64 3.00 120 1.39e+18 41.78 0.85 0.23 0.93
Dual graph
Density: 36.11%
MCB compute time (ms): 0
MCB cycles: 5
Triangles: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.67 None None None None None None None 2.04
Degree 1 5 2.89 3.00 26 2,880 7.97 1.45 0.50 1.31
Eccentricity 2 4 3.11 3.00 28 20,736 9.94 0.74 0.24 1.06
MCB cycle size 3 3 3.00 3.00 15 243 5.49 0.00 0.00 0.00
Minimal dual graph
Density: 27.78%
MCB compute time (ms): 0
MCB cycles: 2
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.33 None None None None None 2.04
Degree 1 5 2.22 2.00 20 360 5.89 1.23 0.55 1.31
Eccentricity 2 4 3.22 3.00 29 31,104 10.35 0.63 0.20 0.94
MCB cycle size 3 3 3.00 3.00 6 9 2.20 0.00 0.00 0.00
Triangulated dual graph
Density: 38.89%
Triangles: 8
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None None None None None None None 2.20
Degree 1 5 3.11 3.00 28 4,500 8.41 1.66 0.53 1.31
Eccentricity 2 4 3.11 3.00 28 20,736 9.94 0.74 0.24 1.06
Triangulated minimal dual graph
Density: 27.78%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.33 None None None None None 2.04
Degree 1 5 2.22 2.00 20 360 5.89 1.23 0.55 1.31
Eccentricity 2 4 3.22 3.00 29 31,104 10.35 0.63 0.20 0.94
Incidence graph
Density: 6.97%
MCB compute time (ms): 1
MCB cycles: 19
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0033_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None None None None None None None 1.99
Degree 1 19 2.86 2.00 120 1.31e+14 32.50 3.08 1.08 1.53
Eccentricity 5 10 7.26 6.00 305 5.24e+35 82.25 1.65 0.23 1.48
MCB cycle size 4 4 4.00 4.00 76 2.75e+11 26.34 0.00 0.00 0.00