Instance: normalized-queen11-11-8_ext
Number of variables: 121
Number of constraints: 1980
Satisfiable: None
Timestamp: 2018-04-21 10:14:23
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 121
Number of constraints: 1980
General features
Number of coarse blocks: 31,680
Number of unique subscopes: 121
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 3,960 MAX VALUE 1,372.43 0.00 0.00 0.00
Coarse blocks size 7 7 7.00 7.00 221,760 MAX VALUE 61,646.40 0.00 0.00 0.00
Relational linkage 0.88 0.88 0.88 0.88 847.00 0.00 -129.26 0.00 0.00 0.00
Tightness 0.12 0.12 0.12 0.12 247.50 0.00 -4,117.29 0.00 0.00 0.00
Tuples 56 56 56.00 56.00 110,880 MAX VALUE 7,970.20 0.00 0.00 0.00
Domain size 8 8 8.00 8.00 968 MAX VALUE 251.61 0.00 0.00 0.00
Constraints per subscope 30 40 32.73 32.00 3,960 MAX VALUE 421.71 2.57 0.08 1.53
Partitions per subscope 8 8 8.00 8.00 968 MAX VALUE 251.61 0.00 0.00 0.00
Tree decomposition
Number of clusters: 23
Number of leaves: 8
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 197 1,235 605.22 504.00 13,920 MAX VALUE 142.40 368.74 0.61 2.93
Cluster variables 31 96 60.13 58.00 1,383 MAX VALUE 92.25 23.85 0.40 2.63
Separator constraints 0 1,127 519.13 378.00 11,940 0 None 357.23 0.69 2.93
Separator variables 0 92 54.87 50.00 1,262 0 None 25.28 0.46 2.57
Dual tree decomposition
Number of clusters: 119
Number of leaves: 60
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 880 17,915 2,559.18 1,421.00 304,543 MAX VALUE 893.42 2,928.72 1.14 3.55
Cluster variables 59 1,032 157.03 75.00 18,686 MAX VALUE 562.12 174.71 1.11 3.14
Separator constraints 0 10,189 2,027.92 1,347.00 241,323 0 None 1,835.81 0.91 3.59
Separator variables 0 782 140.39 74.00 16,706 0 None 137.28 0.98 3.12
Primal graph
Density: 27.27%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 0.40 0.37 0.36 44.33 0.00 -121.55 0.01 0.03 2.57
Degree 30 40 32.73 32.00 3,960 MAX VALUE 421.71 2.57 0.08 1.53
Eccentricity 2 2 2.00 2.00 242 2.66e+36 83.87 0.00 0.00 0.00
Triangulated primal graph
Density: 83.87%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.88 1.00 0.93 0.93 112.69 0.00 -8.66 0.03 0.03 4.41
Degree 30 115 100.64 110.00 12,178 MAX VALUE 552.93 22.28 0.22 2.95
Eccentricity 2 2 2.00 2.00 242 2.66e+36 83.87 0.00 0.00 0.00
Dual graph
Density: 3.23%
MCB compute time (ms): None
MCB cycles: None
Triangles: 664,044
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.51 0.50 0.50 988.27 0.00 -1,375.91 0.00 0.00 4.07
Degree 58 76 63.86 64.00 126,440 MAX VALUE 8,226.18 4.10 0.06 2.06
Eccentricity 3 3 3.00 3.00 5,940 MAX VALUE 2,175.25 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.20%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.01 26.68 0.01
Degree 2 8 3.88 4.00 7,678 MAX VALUE 2,633.64 0.91 0.23 1.22
Eccentricity 8 11 9.62 10.00 19,047 MAX VALUE 4,477.13 0.69 0.07 1.05
MCB cycle size None None None None None None None None None None
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: 7.88%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.87 0.87 1,715.80 0.00 -306.69 0.13 0.15 4.44
Degree 2 595 155.86 9.00 308,604 MAX VALUE 6,235.12 232.95 1.49 3.90
Eccentricity 3 5 3.77 4.00 7,464 MAX VALUE 2,607.42 0.52 0.14 0.77
Incidence graph
Density: 0.18%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-8_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen11-11-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 40 3.77 2.00 7,920 MAX VALUE 1,794.14 7.19 1.91 0.31
Eccentricity 5 6 5.94 6.00 12,485 MAX VALUE 3,742.43 0.23 0.04 0.22
MCB cycle size None None None None None None None None None None