Instance: normalized-mps-p0040_ext
Number of variables: 40
Number of constraints: 13
Satisfiable: None
Timestamp: 2018-04-21 10:37:26
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 13
General features
Number of coarse blocks: 120
Number of unique subscopes: 30
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 4 10 5.38 4.00 70 1.05e+09 20.77 2.53 0.47 0.54
Coarse blocks size 1 512 255.00 252.00 30,600 MAX VALUE 406.79 253.02 0.99 1.72
Relational linkage 0.12 0.38 0.25 0.25 15.00 0.00 -91.81 0.12 0.50 0.69
Tightness 0.00 0.75 0.58 0.75 7.52 0.00 -18.79 0.31 0.54 0.79
Tuples 4 1,023 237.54 4.00 3,088 1.10e+15 34.63 426.39 1.80 0.79
Domain size 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00
Constraints per subscope 2 2 2.00 2.00 60 1.07e+09 20.79 0.00 0.00 0.00
Partitions per subscope 2 2 2.00 2.00 60 1.07e+09 20.79 0.00 0.00 0.00
Tree decomposition
Number of clusters: 21
Number of leaves: 10
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 1 0.62 1.00 13 0 None 0.49 0.78 0.66
Cluster variables 4 20 9.14 12.00 192 3.28e+18 42.63 5.15 0.56 1.48
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 14 7.24 3.00 152 0 None 4.82 0.67 1.48
Dual tree decomposition
Number of clusters: 10
Number of leaves: 2
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 3 3.00 3.00 30 59,049 10.99 0.00 0.00 0.00
Cluster variables 4 4 4.00 4.00 40 1,048,580 13.86 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.70 3.00 27 0 None 0.90 0.33 0.33
Primal graph
Density: 25.00%
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.69 0.59 27.73 0.00 -15.78 0.18 0.26 0.56
Degree 3 12 9.75 12.00 390 1.40e+37 85.53 3.90 0.40 0.56
Eccentricity 2 3 2.25 2.00 90 6.34e+13 31.78 0.43 0.19 0.56
Triangulated primal graph
Density: 43.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.84 0.81 33.61 0.00 -7.25 0.10 0.12 2.31
Degree 3 27 17.10 21.00 684 MAX VALUE 102.32 9.40 0.55 2.05
Eccentricity 2 3 2.25 2.00 90 6.34e+13 31.78 0.43 0.19 0.56
Dual graph
Density: 38.46%
MCB compute time (ms): 0
MCB cycles: 18
Triangles: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_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 10 4.62 3.00 60 59,049,000 17.89 2.95 0.64 0.54
Eccentricity 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 72 6.87e+10 24.95 0.00 0.00 0.00
Minimal dual graph
Density: 38.46%
MCB compute time (ms): 0
MCB cycles: 18
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 10 4.62 3.00 60 59,049,000 17.89 2.95 0.64 0.54
Eccentricity 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 72 6.87e+10 24.95 0.00 0.00 0.00
Triangulated dual graph
Density: 42.31%
Triangles: 31
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.32 1.00 0.84 1.00 10.95 0.03 -3.44 0.29 0.34 0.54
Degree 3 12 5.08 3.00 66 102,037,000 18.44 3.79 0.75 0.54
Eccentricity 1 2 1.77 2.00 23 1,024 6.93 0.42 0.24 0.54
Triangulated minimal dual graph
Density: 42.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.32 1.00 0.84 1.00 10.95 0.03 -3.44 0.29 0.34 0.54
Degree 3 12 5.08 3.00 66 102,037,000 18.44 3.79 0.75 0.54
Eccentricity 1 2 1.77 2.00 23 1,024 6.93 0.42 0.24 0.54
Incidence graph
Density: 5.08%
MCB compute time (ms): 2
MCB cycles: 18
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-p0040_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 2.72
Degree 1 10 2.64 2.00 140 1.13e+18 41.57 2.04 0.77 1.11
Eccentricity 4 6 4.57 4.00 242 4.36e+34 79.76 0.79 0.17 0.92
MCB cycle size 8 8 8.00 8.00 144 1.80e+16 37.43 0.00 0.00 0.00