Instance: normalized-games120-8_ext
Number of variables: 120
Number of constraints: 638
Satisfiable: None
Timestamp: 2018-04-21 10:12:59
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 120
Number of constraints: 638
General features
Number of coarse blocks: 10,208
Number of unique subscopes: 120
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 1,276 MAX VALUE 442.23 0.00 0.00 0.00
Coarse blocks size 7 7 7.00 7.00 71,456 MAX VALUE 19,863.90 0.00 0.00 0.00
Relational linkage 0.88 0.88 0.88 0.88 840.00 0.00 -128.19 0.00 0.00 0.00
Tightness 0.12 0.12 0.12 0.12 79.75 0.00 -1,326.68 0.00 0.00 0.00
Tuples 56 56 56.00 56.00 35,728 MAX VALUE 2,568.17 0.00 0.00 0.00
Domain size 8 8 8.00 8.00 960 MAX VALUE 249.53 0.00 0.00 0.00
Constraints per subscope 7 13 10.63 11.00 1,276 MAX VALUE 282.88 1.20 0.11 1.57
Partitions per subscope 8 8 8.00 8.00 960 MAX VALUE 249.53 0.00 0.00 0.00
Tree decomposition
Number of clusters: 65
Number of leaves: 14
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 83 33.35 30.00 2,168 MAX VALUE 219.44 15.71 0.47 3.49
Cluster variables 3 41 16.29 13.00 1,059 MAX VALUE 173.56 8.60 0.53 2.88
Separator constraints 0 67 23.54 22.00 1,530 0 None 14.26 0.61 3.33
Separator variables 0 35 14.45 12.00 939 0 None 8.05 0.56 2.86
Dual tree decomposition
Number of clusters: 117
Number of leaves: 59
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 57 319 150.48 138.00 17,606 MAX VALUE 578.05 57.86 0.38 4.27
Cluster variables 15 103 32.69 24.00 3,825 MAX VALUE 394.57 17.82 0.55 3.42
Separator constraints 0 208 97.21 96.00 11,374 0 None 34.42 0.35 4.10
Separator variables 0 72 27.24 22.00 3,187 0 None 12.92 0.47 3.28
Primal graph
Density: 8.94%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.07 0.78 0.44 0.44 53.37 0.00 -107.22 0.16 0.36 3.90
Degree 7 13 10.63 11.00 1,276 MAX VALUE 282.88 1.20 0.11 1.57
Eccentricity 3 6 4.78 5.00 573 MAX VALUE 186.51 0.63 0.13 0.94
Triangulated primal graph
Density: 29.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.82 0.80 98.50 0.00 -25.01 0.12 0.15 4.32
Degree 7 74 34.73 26.00 4,168 MAX VALUE 394.05 22.61 0.65 3.63
Eccentricity 2 4 3.51 4.00 421 MAX VALUE 149.26 0.52 0.15 0.73
Dual graph
Density: 3.07%
MCB compute time (ms): 49,504
MCB cycles: 5,687
Triangles: 19,399
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.53 0.50 0.50 318.74 0.00 -443.03 0.01 0.03 3.88
Degree 14 24 19.54 20.00 12,464 MAX VALUE 1,893.22 1.88 0.10 2.02
Eccentricity 4 7 5.36 5.00 3,419 MAX VALUE 1,065.31 0.70 0.13 1.06
MCB cycle size 3 5 3.03 3.00 17,217 MAX VALUE 6,292.56 0.17 0.05 0.13
Minimal dual graph
Density: 0.57%
MCB compute time (ms): 4,072
MCB cycles: 519
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.70 0.00 None 0.02 7.97 0.11
Degree 2 6 3.62 3.00 2,312 MAX VALUE 807.40 0.77 0.21 1.11
Eccentricity 8 14 11.26 11.00 7,185 MAX VALUE 1,540.70 1.27 0.11 1.61
MCB cycle size 3 11 6.76 7.00 3,508 MAX VALUE 976.75 1.56 0.23 1.84
Triangulated dual graph
Density: 13.58%
Triangles: 734,156
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.79 0.83 505.12 0.00 -162.22 0.15 0.19 5.18
Degree 14 244 86.53 57.00 55,204 MAX VALUE 2,688.15 61.23 0.71 4.48
Eccentricity 3 5 3.80 4.00 2,425 MAX VALUE 845.79 0.51 0.13 0.75
Triangulated minimal dual graph
Density: 5.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 0.80 0.75 509.92 0.00 -156.09 0.16 0.20 3.83
Degree 2 161 33.76 7.00 21,542 MAX VALUE 1,591.95 47.92 1.42 3.54
Eccentricity 4 7 6.09 6.00 3,888 MAX VALUE 1,148.92 0.68 0.11 1.02
Incidence graph
Density: 0.44%
MCB compute time (ms): 2,814
MCB cycles: 519
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-gamesExtConvert/normalized-games120-8_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 13 3.37 2.00 2,552 MAX VALUE 725.11 3.19 0.95 0.69
Eccentricity 7 14 10.79 11.00 8,182 MAX VALUE 1,797.44 1.31 0.12 1.55
MCB cycle size 6 10 6.42 6.00 3,334 MAX VALUE 961.44 0.84 0.13 0.53