Instance: queen7-7-7_ext
Number of variables: 49
Number of constraints: 476
Satisfiable: None
Timestamp: 2017-10-27 10:55:02
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 49
Number of constraints: 476
General features
Number of coarse blocks: 6,664
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 6 6 6.00 6.00 39,984 MAX VALUE 11,940.30 0.00 0.00 0.00
Relational linkage 0.86 0.86 0.86 0.86 294.00 0.00 -52.87 0.00 0.00 0.00
Tightness 0.14 0.14 0.14 0.14 68.00 0.00 -926.25 0.00 0.00 0.00
Tuples 42 42 42.00 42.00 19,992 MAX VALUE 1,779.13 0.00 0.00 0.00
Domain size 7 7 7.00 7.00 343 MAX VALUE 95.35 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 7 7 7.00 7.00 343 MAX VALUE 95.35 0.00 0.00 0.00
Tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
Dot-file path: None
PDF-file path: None
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: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 310 2,876 732.43 473.00 34,424 MAX VALUE 299.65 589.70 0.81 2.90
Cluster variables 35 274 74.26 43.00 3,490 MAX VALUE 192.94 56.20 0.76 2.68
Separator constraints 0 1,697 544.43 431.00 25,588 0 None 347.90 0.64 2.90
Separator variables 0 202 64.13 42.00 3,014 0 None 42.72 0.67 2.64
Primal graph
Density: 40.48%
Dot-file path: None
PDF-file path: None
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): 5,363
MCB cycles: 8,638
Triangles: 53,428
Dot-file path: None
PDF-file path: None

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 25,914 MAX VALUE 9,489.81 0.00 0.00 0.00
Minimal dual graph
Density: 0.80%
MCB compute time (ms): 3,332
MCB cycles: 428
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 7 3.79 4.00 1,806 MAX VALUE 624.40 0.82 0.22 1.14
Eccentricity 6 9 7.72 8.00 3,673 MAX VALUE 971.38 0.56 0.07 0.83
MCB cycle size 4 10 7.06 7.00 3,023 MAX VALUE 829.03 1.26 0.18 1.61
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: 10.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.84 0.81 401.55 0.00 -86.62 0.13 0.15 3.79
Degree 2 159 49.07 9.00 23,356 MAX VALUE 1,314.57 62.59 1.28 3.36
Eccentricity 3 5 3.70 4.00 1,759 MAX VALUE 617.58 0.50 0.14 0.72
Incidence graph
Density: 0.69%
MCB compute time (ms): 1,272
MCB cycles: 428
Dot-file path: None
PDF-file path: None
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