Instance: normalized-queen7-7-6_ext
Number of variables: 49
Number of constraints: 476
Satisfiable: None
Timestamp: 2018-04-21 10:15:11
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 49
Number of constraints: 476
General features
Number of coarse blocks: 5,712
Number of unique subscopes: 49
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 952 MAX VALUE 329.94 0.00 0.00 0.00
Coarse blocks size 5 5 5.00 5.00 28,560 MAX VALUE 9,193.11 0.00 0.00 0.00
Relational linkage 0.83 0.83 0.83 0.83 245.00 0.00 -53.60 0.00 0.00 0.00
Tightness 0.17 0.17 0.17 0.17 79.33 0.00 -852.88 0.00 0.00 0.00
Tuples 30 30 30.00 30.00 14,280 MAX VALUE 1,618.97 0.00 0.00 0.00
Domain size 6 6 6.00 6.00 294 1.35e+38 87.80 0.00 0.00 0.00
Constraints per subscope 18 24 19.43 20.00 952 MAX VALUE 145.21 1.62 0.08 1.09
Partitions per subscope 6 6 6.00 6.00 294 1.35e+38 87.80 0.00 0.00 0.00
Tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 83 276 158.58 111.00 1,903 6.31e+25 59.41 76.50 0.48 2.25
Cluster variables 19 38 26.75 22.00 321 8.27e+16 38.95 7.69 0.29 1.82
Separator constraints 0 250 118.92 80.50 1,427 0 None 77.94 0.66 2.25
Separator variables 0 36 22.67 20.00 272 0 None 9.72 0.43 1.82
Dual tree decomposition
Number of clusters: 47
Number of leaves: 24
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 312 2,669 719.17 473.00 33,801 MAX VALUE 299.34 550.82 0.77 2.95
Cluster variables 35 258 73.83 43.00 3,470 MAX VALUE 192.83 55.06 0.75 2.68
Separator constraints 0 1,474 531.17 431.00 24,965 0 None 319.64 0.60 2.95
Separator variables 0 198 63.70 42.00 2,994 0 None 41.99 0.66 2.62
Primal graph
Density: 40.48%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 0.45 0.43 0.42 20.96 0.00 -41.61 0.01 0.02 1.65
Degree 18 24 19.43 20.00 952 MAX VALUE 145.21 1.62 0.08 1.09
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Triangulated primal graph
Density: 82.91%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.88 1.00 0.92 0.90 44.91 0.01 -4.31 0.04 0.04 2.98
Degree 18 45 39.80 44.00 1,950 MAX VALUE 178.83 8.63 0.22 1.84
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Dual graph
Density: 7.82%
MCB compute time (ms): 6,564
MCB cycles: 8,814
Triangles: 53,428
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_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 237.79 0.00 -330.36 0.00 0.01 3.06
Degree 34 44 37.13 36.00 17,672 MAX VALUE 1,719.34 2.52 0.07 1.57
Eccentricity 3 3 3.00 3.00 1,428 MAX VALUE 522.94 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 26,442 MAX VALUE 9,683.17 0.00 0.00 0.00
Minimal dual graph
Density: 0.80%
MCB compute time (ms): 2,693
MCB cycles: 428
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.05 0.00 None 0.02 10.71 0.09
Degree 2 7 3.79 4.00 1,806 MAX VALUE 623.04 0.87 0.23 1.19
Eccentricity 6 9 7.89 8.00 3,754 MAX VALUE 981.59 0.61 0.08 0.92
MCB cycle size 3 9 6.91 7.00 2,957 MAX VALUE 819.59 1.23 0.18 1.58
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: 9.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.83 0.80 396.84 0.00 -93.16 0.14 0.16 3.88
Degree 2 158 46.63 9.00 22,196 MAX VALUE 1,303.11 59.75 1.28 3.46
Eccentricity 3 5 3.79 4.00 1,805 MAX VALUE 629.27 0.55 0.15 0.82
Incidence graph
Density: 0.69%
MCB compute time (ms): 1,189
MCB cycles: 428
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-6_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 24 3.63 2.00 1,904 MAX VALUE 475.14 5.09 1.40 0.41
Eccentricity 5 6 5.91 6.00 3,101 MAX VALUE 931.74 0.29 0.05 0.31
MCB cycle size 6 6 6.00 6.00 2,568 MAX VALUE 766.87 0.00 0.00 0.00