Instance: normalized-mug88-25-4_ext
Number of variables: 88
Number of constraints: 146
Satisfiable: None
Timestamp: 2018-04-21 10:08:35
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: 16
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-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.90 0.74 1.51
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: 17
Tree depth: 13
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 8 5.86 6.00 504 MAX VALUE 148.74 1.46 0.25 1.33
Cluster variables 5 5 5.00 5.00 430 MAX VALUE 138.41 0.00 0.00 0.00
Separator constraints 0 4 1.81 1.00 156 0 None 1.28 0.71 0.92
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-25-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 0.37 0.33 32.33 0.00 None 0.25 0.68 1.34
Degree 3 4 3.32 3.00 292 MAX VALUE 104.73 0.47 0.14 0.63
Eccentricity 7 13 10.39 10.00 914 MAX VALUE 204.77 1.67 0.16 1.86
Triangulated primal graph
Density: 5.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.28 1.00 0.71 0.67 62.63 0.00 -37.29 0.27 0.38 1.65
Degree 3 9 4.59 4.00 404 MAX VALUE 127.84 1.81 0.39 1.61
Eccentricity 5 10 7.74 8.00 681 MAX VALUE 179.15 1.11 0.14 1.50
Dual graph
Density: 3.29%
MCB compute time (ms): 47
MCB cycles: 226
Triangles: 209
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.67 0.48 0.50 69.73 0.00 -110.19 0.09 0.18 1.21
Degree 4 6 4.77 5.00 696 MAX VALUE 226.62 0.66 0.14 0.98
Eccentricity 7 13 10.49 11.00 1,531 MAX VALUE 341.32 1.60 0.15 1.83
MCB cycle size 3 11 3.48 3.00 786 MAX VALUE 272.38 1.30 0.37 0.80
Minimal dual graph
Density: 1.93%
MCB compute time (ms): 18
MCB cycles: 59
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.06 0.00 9.00 0.00 None 0.19 3.00 0.55
Degree 2 4 2.79 3.00 408 MAX VALUE 147.17 0.54 0.19 0.79
Eccentricity 11 21 15.89 16.00 2,320 MAX VALUE 402.22 2.31 0.15 2.22
MCB cycle size 3 14 5.51 5.00 325 MAX VALUE 95.92 2.49 0.45 1.80
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.71 0.67 103.07 0.00 -56.37 0.18 0.26 1.84
Degree 4 19 7.10 7.00 1,036 MAX VALUE 277.93 2.56 0.36 1.84
Eccentricity 6 11 8.22 8.00 1,200 MAX VALUE 306.09 1.17 0.14 1.53
Triangulated minimal dual graph
Density: 3.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 0.66 0.67 96.43 0.00 -71.14 0.24 0.36 2.31
Degree 2 17 4.67 4.00 682 MAX VALUE 206.14 2.51 0.54 2.02
Eccentricity 7 14 10.03 10.00 1,465 MAX VALUE 335.25 1.42 0.14 1.73
Incidence graph
Density: 1.07%
MCB compute time (ms): 50
MCB cycles: 59
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug88-25-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 14 27 21.38 21.50 5,004 MAX VALUE 713.85 3.24 0.15 2.53
MCB cycle size 6 22 8.37 6.00 494 MAX VALUE 120.43 4.08 0.49 1.17