Instance: normalized-queen10-10-9_ext
Number of variables: 100
Number of constraints: 1470
Satisfiable: None
Timestamp: 2018-04-21 10:15:18
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 100
Number of constraints: 1470
General features
Number of coarse blocks: 26,460
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 2,940 MAX VALUE 1,018.93 0.00 0.00 0.00
Coarse blocks size 8 8 8.00 8.00 211,680 MAX VALUE 55,022.00 0.00 0.00 0.00
Relational linkage 0.89 0.89 0.89 0.89 800.00 0.00 -106.00 0.00 0.00 0.00
Tightness 0.11 0.11 0.11 0.11 163.33 0.00 -3,229.92 0.00 0.00 0.00
Tuples 72 72 72.00 72.00 105,840 MAX VALUE 6,286.70 0.00 0.00 0.00
Domain size 9 9 9.00 9.00 900 MAX VALUE 219.72 0.00 0.00 0.00
Constraints per subscope 27 35 29.40 29.00 2,940 MAX VALUE 337.79 2.33 0.08 1.43
Partitions per subscope 9 9 9.00 9.00 900 MAX VALUE 219.72 0.00 0.00 0.00
Tree decomposition
Number of clusters: 18
Number of leaves: 8
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 164 924 432.44 296.00 7,784 MAX VALUE 105.48 277.17 0.64 2.51
Cluster variables 28 80 48.56 42.00 874 5.37e+29 68.46 19.42 0.40 2.32
Separator constraints 0 836 350.78 220.50 6,314 0 None 258.84 0.74 2.51
Separator variables 0 76 43.00 36.00 774 0 None 20.44 0.48 2.32
Dual tree decomposition
Number of clusters: 98
Number of leaves: 50
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 712 10,327 1,921.95 1,202.00 188,351 MAX VALUE 712.47 1,898.51 0.99 3.27
Cluster variables 53 705 132.57 69.00 12,992 MAX VALUE 450.28 131.54 0.99 3.04
Separator constraints 0 5,807 1,493.17 1,070.00 146,331 0 None 1,145.00 0.77 3.27
Separator variables 0 540 117.57 66.00 11,522 0 None 102.02 0.87 3.02
Primal graph
Density: 29.70%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 0.41 0.38 0.37 37.63 0.00 -97.77 0.01 0.02 2.33
Degree 27 35 29.40 29.00 2,940 MAX VALUE 337.79 2.33 0.08 1.43
Eccentricity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00
Triangulated primal graph
Density: 84.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.90 1.00 0.93 0.93 93.25 0.00 -7.03 0.03 0.03 4.04
Degree 27 94 83.24 91.00 8,324 MAX VALUE 438.06 18.43 0.22 2.51
Eccentricity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00
Dual graph
Density: 3.89%
MCB compute time (ms): 123,169
MCB cycles: 43,245
Triangles: 394,424
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_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 733.68 0.00 -1,021.59 0.00 0.00 3.80
Degree 52 68 57.17 56.00 84,040 MAX VALUE 5,944.62 3.70 0.06 1.95
Eccentricity 3 3 3.00 3.00 4,410 MAX VALUE 1,614.96 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 129,735 MAX VALUE 47,509.50 0.00 0.00 0.00
Minimal dual graph
Density: 0.26%
MCB compute time (ms): 191,334
MCB cycles: 1,371
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 22.98 0.02
Degree 2 7 3.86 4.00 5,680 MAX VALUE 1,950.07 0.90 0.23 1.21
Eccentricity 7 11 9.22 9.00 13,558 MAX VALUE 3,261.79 0.69 0.07 1.04
MCB cycle size 3 10 7.53 8.00 10,322 MAX VALUE 2,747.49 1.20 0.16 1.54
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: 8.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.86 0.86 1,264.05 0.00 -239.10 0.13 0.15 4.33
Degree 2 445 119.34 9.00 175,436 MAX VALUE 4,507.82 174.07 1.46 3.81
Eccentricity 3 5 3.80 4.00 5,591 MAX VALUE 1,948.39 0.54 0.14 0.80
Incidence graph
Density: 0.24%
MCB compute time (ms): 46,263
MCB cycles: 1,371
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen10-10-9_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 35 3.75 2.00 5,880 MAX VALUE 1,356.72 6.72 1.79 0.33
Eccentricity 5 6 5.94 6.00 9,320 MAX VALUE 2,794.83 0.24 0.04 0.24
MCB cycle size 6 6 6.00 6.00 8,226 MAX VALUE 2,456.50 0.00 0.00 0.00