Instance: normalized-mug100-25-4_ext
Number of variables: 100
Number of constraints: 166
Satisfiable: None
Timestamp: 2018-04-21 10:08:33
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: 17
Tree depth: 13
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-25-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-25-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 5 2.55 3.00 166 0 None 1.89 0.74 1.49
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: 17
Tree depth: 18
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-25-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-25-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 8 5.85 6.00 573 MAX VALUE 170.38 1.30 0.22 1.30
Cluster variables 5 5 5.00 5.00 490 MAX VALUE 157.72 0.00 0.00 0.00
Separator constraints 0 4 1.81 1.00 177 0 None 1.23 0.68 1.01
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-25-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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 37.00 0.00 None 0.24 0.65 1.31
Degree 3 4 3.32 3.00 332 MAX VALUE 119.07 0.47 0.14 0.63
Eccentricity 8 15 12.20 12.50 1,220 MAX VALUE 248.81 1.94 0.16 1.97
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.71 0.67 70.68 0.00 -42.83 0.27 0.38 1.65
Degree 3 10 4.60 4.00 460 MAX VALUE 145.63 1.81 0.39 1.62
Eccentricity 6 12 9.70 10.00 970 MAX VALUE 226.02 1.45 0.15 1.74
Dual graph
Density: 2.89%
MCB compute time (ms): 30
MCB cycles: 246
Triangles: 239
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-25-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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 79.47 0.00 -124.71 0.08 0.17 1.23
Degree 4 6 4.77 5.00 792 MAX VALUE 257.87 0.65 0.14 0.96
Eccentricity 8 15 12.10 12.00 2,009 MAX VALUE 411.80 1.88 0.16 1.96
MCB cycle size 3 11 3.40 3.00 836 MAX VALUE 292.34 1.14 0.34 0.68
Minimal dual graph
Density: 1.69%
MCB compute time (ms): 21
MCB cycles: 67
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.08 0.00 13.83 0.00 None 0.23 2.72 0.67
Degree 2 4 2.80 3.00 464 MAX VALUE 167.29 0.54 0.19 0.81
Eccentricity 13 26 20.28 21.00 3,366 MAX VALUE 497.59 3.05 0.15 2.46
MCB cycle size 3 14 5.42 4.00 363 MAX VALUE 107.17 2.59 0.48 1.90
Triangulated dual graph
Density: 4.31%
Triangles: 784
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 1.00 0.70 0.67 116.51 0.00 -64.69 0.18 0.25 1.81
Degree 4 21 7.11 7.00 1,180 MAX VALUE 316.84 2.50 0.35 1.81
Eccentricity 7 13 10.23 10.00 1,699 MAX VALUE 384.36 1.44 0.14 1.76
Triangulated minimal dual graph
Density: 2.79%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.66 0.67 109.27 0.00 -81.74 0.24 0.37 2.32
Degree 2 15 4.60 4.00 764 MAX VALUE 232.22 2.45 0.53 2.03
Eccentricity 8 15 11.05 11.00 1,835 MAX VALUE 396.91 1.70 0.15 1.90
Incidence graph
Density: 0.94%
MCB compute time (ms): 50
MCB cycles: 67
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-25-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mugExtConvert/normalized-mug100-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 664 MAX VALUE 234.13 0.70 0.28 0.90
Eccentricity 16 31 24.82 25.00 6,603 MAX VALUE 851.07 3.80 0.15 2.65
MCB cycle size 6 22 8.27 6.00 554 MAX VALUE 136.44 3.69 0.45 1.19