Instance: normalized-mug100-1-4_ext
Number of variables: 100
Number of constraints: 166
Satisfiable: None
Timestamp: 2018-04-21 10:08:26
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 100
Number of constraints: 166
General features
Number of coarse blocks: 1,328
Number of unique subscopes: 100
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 332 MAX VALUE 115.06 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 3,984 MAX VALUE 1,458.96 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 300.00 0.00 -115.07 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 41.50 0.00 -230.12 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 1,992 MAX VALUE 412.50 0.00 0.00 0.00
Domain size 4 4 4.00 4.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Constraints per subscope 3 4 3.32 3.00 332 MAX VALUE 119.07 0.47 0.14 0.63
Partitions per subscope 4 4 4.00 4.00 400 MAX VALUE 138.63 0.00 0.00 0.00
Tree decomposition
Number of clusters: 65
Number of leaves: 16
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-1-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-1-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 5 2.55 2.00 166 0 None 1.84 0.72 1.50
Cluster variables 3 4 3.51 4.00 228 1.37e+35 80.90 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.97 2.00 128 0 None 0.25 0.12 0.08
Dual tree decomposition
Number of clusters: 98
Number of leaves: 19
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-1-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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 572 MAX VALUE 170.12 1.32 0.23 1.35
Cluster variables 5 5 5.00 5.00 490 MAX VALUE 157.72 0.00 0.00 0.00
Separator constraints 0 4 1.80 1.00 176 0 None 1.22 0.68 1.02
Separator variables 0 4 3.31 3.00 324 0 None 0.58 0.18 0.69
Primal graph
Density: 3.35%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-1-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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.37 0.33 37.17 0.00 None 0.23 0.61 1.29
Degree 3 4 3.32 3.00 332 MAX VALUE 119.07 0.47 0.14 0.63
Eccentricity 7 13 10.57 11.00 1,057 MAX VALUE 235.02 1.29 0.12 1.65
Triangulated primal graph
Density: 4.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.24 1.00 0.70 0.67 70.36 0.00 -43.11 0.26 0.37 1.63
Degree 3 10 4.60 4.00 460 MAX VALUE 145.78 1.78 0.39 1.63
Eccentricity 6 11 8.50 9.00 850 MAX VALUE 213.00 1.18 0.14 1.55
Dual graph
Density: 2.89%
MCB compute time (ms): 34
MCB cycles: 255
Triangles: 239
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-1-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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.48 0.50 79.60 0.00 -124.27 0.08 0.17 1.17
Degree 4 6 4.77 5.00 792 MAX VALUE 257.91 0.64 0.13 0.95
Eccentricity 8 13 11.05 11.00 1,835 MAX VALUE 397.74 1.27 0.11 1.62
MCB cycle size 3 12 3.55 3.00 904 MAX VALUE 310.10 1.44 0.40 0.82
Minimal dual graph
Density: 1.69%
MCB compute time (ms): 20
MCB cycles: 67
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.07 0.00 11.83 0.00 None 0.20 2.86 0.61
Degree 2 4 2.80 3.00 464 MAX VALUE 167.41 0.53 0.19 0.79
Eccentricity 12 21 16.98 17.00 2,819 MAX VALUE 468.73 2.19 0.13 2.16
MCB cycle size 3 17 5.58 4.00 374 MAX VALUE 108.52 2.88 0.52 1.85
Triangulated dual graph
Density: 4.31%
Triangles: 784
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.32 1.00 0.70 0.67 116.39 0.00 -64.89 0.18 0.26 1.80
Degree 4 15 7.11 7.00 1,180 MAX VALUE 316.99 2.40 0.34 1.80
Eccentricity 6 12 9.05 9.00 1,503 MAX VALUE 364.29 1.19 0.13 1.58
Triangulated minimal dual graph
Density: 2.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.65 0.67 107.84 0.00 -83.35 0.24 0.37 2.21
Degree 2 12 4.65 4.00 772 MAX VALUE 234.85 2.32 0.50 2.03
Eccentricity 8 14 10.76 11.00 1,786 MAX VALUE 392.83 1.45 0.14 1.77
Incidence graph
Density: 0.94%
MCB compute time (ms): 56
MCB cycles: 67
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-1-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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 664 MAX VALUE 234.13 0.70 0.28 0.90
Eccentricity 15 27 22.15 22.00 5,891 MAX VALUE 822.15 2.55 0.12 2.30
MCB cycle size 6 22 8.36 6.00 560 MAX VALUE 136.84 3.88 0.46 1.22