Instance: normalized-3-insertions-4-4_ext
Number of variables: 281
Number of constraints: 1046
Satisfiable: None
Timestamp: 2018-04-21 10:07:24
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 281
Number of constraints: 1046
General features
Coarse blocks: 8,368
Value tables: 281
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2,092 MAX VALUE 725.03 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 25,104 MAX VALUE 9,193.19 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 843.00 0.00 -323.36 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 261.50 0.00 -1,450.06 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 12,552 MAX VALUE 2,599.21 0.00 0.00 0.00
Values 4 4 4.00 4.00 1,124 MAX VALUE 389.55 0.00 0.00 0.00
Value table constraints 4 56 7.44 8.00 2,092 MAX VALUE 549.76 3.66 0.49 1.10
Value table partitions 4 4 4.00 4.00 1,124 MAX VALUE 389.55 0.00 0.00 0.00
Tree decomposition
Number of clusters: 193
Number of leaves: 137
Tree depth: 12
Dot-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 47 8.79 6.00 1,696 0 None 7.99 0.91 2.20
Cluster variables 5 64 12.55 9.00 2,422 MAX VALUE 444.21 10.70 0.85 2.38
Separator constraints 0 32 3.37 0.00 650 0 None 7.57 2.25 0.97
Separator variables 0 55 11.09 8.00 2,141 0 None 9.59 0.86 2.38
Dual tree decomposition
Number of clusters: 279
Number of leaves: 123
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 25 1,687 107.60 56.00 30,020 MAX VALUE 1,185.40 187.30 1.74 3.62
Cluster variables 10 294 31.13 18.00 8,685 MAX VALUE 865.62 38.32 1.23 3.34
Separator constraints 0 1,216 76.69 42.00 21,396 0 None 126.55 1.65 3.63
Separator variables 0 228 27.38 16.00 7,639 0 None 30.51 1.11 3.29
Primal graph
Density: 2.66%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Primal1.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 4 56 7.44 8.00 2,092 MAX VALUE 549.76 3.66 0.49 1.10
Eccentricity 5 5 5.00 5.00 1,405 MAX VALUE 452.25 0.00 0.00 0.00
Triangulated primal graph
Density: 13.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.84 0.88 236.01 0.00 -55.50 0.17 0.20 3.07
Degree 4 191 38.21 12.00 10,736 MAX VALUE 830.99 39.65 1.04 3.34
Eccentricity 2 4 3.11 3.00 873 MAX VALUE 315.46 0.46 0.15 0.65
Dual graph
Density: 1.58%
MCB compute time (ms): 41,295
MCB cycles: 10,857
Triangles: 45,320
Dot-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.90 0.51 0.46 533.75 0.00 -721.55 0.11 0.21 1.54
Degree 9 66 16.49 14.00 17,248 MAX VALUE 2,818.00 10.79 0.65 1.54
Eccentricity 6 6 6.00 6.00 6,276 MAX VALUE 1,874.18 0.00 0.00 0.00
MCB cycle size 3 11 3.61 3.00 39,158 MAX VALUE 13,638.70 0.92 0.26 0.93
Minimal dual graph
Density: 0.33%
MCB compute time (ms): 25,895
MCB cycles: 766
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 5 3.46 3.00 3,622 MAX VALUE 1,281.88 0.64 0.19 0.94
Eccentricity 10 13 11.34 11.00 11,859 MAX VALUE 2,538.47 0.57 0.05 0.86
MCB cycle size 4 15 7.35 7.00 5,632 MAX VALUE 1,511.70 1.53 0.21 1.74
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 5.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.81 0.79 850.88 0.00 -234.32 0.15 0.19 3.93
Degree 2 265 52.77 7.00 55,196 MAX VALUE 2,730.02 81.93 1.55 3.62
Eccentricity 3 6 4.76 5.00 4,982 MAX VALUE 1,624.82 0.57 0.12 0.86
Incidence graph
Density: 0.24%
MCB compute time (ms): 21,921
MCB cycles: 766
Dot-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-insertion-k-insertionExtConvert/normalized-3-insertions-4-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 56 3.15 2.00 4,184 MAX VALUE 1,274.79 2.79 0.88 0.75
Eccentricity 11 12 11.79 12.00 15,643 MAX VALUE 3,273.02 0.41 0.03 0.52
MCB cycle size 8 22 8.02 8.00 6,142 MAX VALUE 1,593.86 0.51 0.06 0.01