Instance: normalized-mug88-1-4_ext
Number of variables: 88
Number of constraints: 146
Satisfiable: None
Timestamp: 2018-04-21 10:08:31
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 88
Number of constraints: 146
General features
Number of coarse blocks: 1,168
Number of unique subscopes: 88
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 292 MAX VALUE 101.20 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 3,504 MAX VALUE 1,283.18 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 264.00 0.00 -101.26 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 36.50 0.00 -202.40 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 1,752 MAX VALUE 362.80 0.00 0.00 0.00
Domain size 4 4 4.00 4.00 352 MAX VALUE 121.99 0.00 0.00 0.00
Constraints per subscope 3 4 3.32 3.00 292 MAX VALUE 104.73 0.47 0.14 0.63
Partitions per subscope 4 4 4.00 4.00 352 MAX VALUE 121.99 0.00 0.00 0.00
Tree decomposition
Number of clusters: 57
Number of leaves: 13
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 5 2.56 2.00 146 0 None 1.80 0.70 1.48
Cluster variables 3 4 3.51 4.00 200 6.59e+30 70.96 0.50 0.14 0.69
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 2 1.96 2.00 112 0 None 0.26 0.13 0.09
Dual tree decomposition
Number of clusters: 86
Number of leaves: 15
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 8 5.84 6.00 502 MAX VALUE 149.17 1.32 0.23 1.30
Cluster variables 5 5 5.00 5.00 430 MAX VALUE 138.41 0.00 0.00 0.00
Separator constraints 0 4 1.79 1.00 154 0 None 1.21 0.68 1.03
Separator variables 0 4 3.30 3.00 284 0 None 0.59 0.18 0.70
Primal graph
Density: 3.81%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 0.35 0.33 30.67 0.00 None 0.24 0.67 1.33
Degree 3 4 3.32 3.00 292 MAX VALUE 104.73 0.47 0.14 0.63
Eccentricity 6 12 9.81 10.00 863 MAX VALUE 200.00 1.36 0.14 1.70
Triangulated primal graph
Density: 5.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.32 1.00 0.70 0.67 61.85 0.00 -37.91 0.26 0.37 1.50
Degree 3 8 4.59 4.00 404 MAX VALUE 128.18 1.76 0.38 1.50
Eccentricity 5 10 7.75 8.00 682 MAX VALUE 179.06 1.23 0.16 1.59
Dual graph
Density: 3.29%
MCB compute time (ms): 23
MCB cycles: 216
Triangles: 207
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.67 0.47 0.50 69.10 0.00 -111.24 0.08 0.17 1.18
Degree 4 6 4.77 5.00 696 MAX VALUE 226.66 0.65 0.14 0.97
Eccentricity 7 13 10.40 10.00 1,519 MAX VALUE 340.56 1.41 0.14 1.74
MCB cycle size 3 9 3.50 3.00 757 MAX VALUE 261.78 1.24 0.35 0.71
Minimal dual graph
Density: 1.93%
MCB compute time (ms): 13
MCB cycles: 59
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 2.00 0.00 None 0.07 4.83 0.17
Degree 2 4 2.79 3.00 408 MAX VALUE 147.88 0.45 0.16 0.63
Eccentricity 10 20 16.23 16.00 2,370 MAX VALUE 405.32 2.32 0.14 2.20
MCB cycle size 3 14 5.56 4.00 328 MAX VALUE 96.83 2.40 0.43 1.62
Triangulated dual graph
Density: 4.89%
Triangles: 688
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.26 1.00 0.70 0.67 102.68 0.00 -56.70 0.18 0.26 1.86
Degree 4 19 7.10 7.00 1,036 MAX VALUE 278.43 2.44 0.34 1.86
Eccentricity 6 11 8.31 8.00 1,213 MAX VALUE 307.48 1.24 0.15 1.61
Triangulated minimal dual graph
Density: 3.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.65 0.67 94.35 0.00 -73.12 0.23 0.35 2.10
Degree 2 12 4.56 4.00 666 MAX VALUE 207.34 2.05 0.45 1.83
Eccentricity 7 14 10.66 11.00 1,556 MAX VALUE 343.80 1.61 0.15 1.85
Incidence graph
Density: 1.07%
MCB compute time (ms): 36
MCB cycles: 59
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-1-4_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 4 2.50 2.00 584 MAX VALUE 205.93 0.70 0.28 0.90
Eccentricity 13 26 20.73 21.00 4,852 MAX VALUE 707.22 2.78 0.13 2.38
MCB cycle size 6 18 8.27 6.00 488 MAX VALUE 120.83 3.32 0.40 1.23