Instance: queen6-6-6_ext
Number of variables: 36
Number of constraints: 290
Satisfiable: None
Timestamp: 2017-10-27 10:54:52
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 36
Number of constraints: 290
General features
Number of coarse blocks: 3,480
Number of unique subscopes: 36
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 580 MAX VALUE 201.01 0.00 0.00 0.00
Coarse blocks size 5 5 5.00 5.00 17,400 MAX VALUE 5,600.84 0.00 0.00 0.00
Relational linkage 0.83 0.83 0.83 0.83 180.00 0.00 -39.38 0.00 0.00 0.00
Tightness 0.17 0.17 0.17 0.17 48.33 0.00 -519.61 0.00 0.00 0.00
Tuples 30 30 30.00 30.00 8,700 MAX VALUE 986.35 0.00 0.00 0.00
Domain size 6 6 6.00 6.00 216 1.03e+28 64.50 0.00 0.00 0.00
Constraints per subscope 15 19 16.11 15.00 580 MAX VALUE 99.94 1.37 0.09 0.94
Partitions per subscope 6 6 6.00 6.00 216 1.03e+28 64.50 0.00 0.00 0.00
Tree decomposition
Number of clusters: 10
Number of leaves: 4
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 62 156 106.20 112.00 1,062 1.00e+20 46.05 34.99 0.33 2.16
Cluster variables 16 27 21.40 22.50 214 1.64e+13 30.43 4.25 0.20 1.83
Separator constraints 0 133 77.20 77.00 772 0 None 40.52 0.52 2.03
Separator variables 0 25 17.80 19.00 178 0 None 7.05 0.40 1.83
Dual tree decomposition
Number of clusters: 34
Number of leaves: 18
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 216 1,424 451.68 352.00 15,357 MAX VALUE 202.13 298.85 0.66 2.64
Cluster variables 29 163 55.65 37.00 1,892 MAX VALUE 131.36 35.26 0.63 2.33
Separator constraints 0 722 321.79 269.00 10,941 0 None 166.28 0.52 2.64
Separator variables 0 116 47.12 34.00 1,602 0 None 26.45 0.56 2.33
Primal graph
Density: 46.03%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.47 0.46 0.46 16.41 0.00 -28.30 0.01 0.02 1.43
Degree 15 19 16.11 15.00 580 MAX VALUE 99.94 1.37 0.09 0.94
Eccentricity 2 2 2.00 2.00 72 6.87e+10 24.95 0.00 0.00 0.00
Triangulated primal graph
Density: 83.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.85 1.00 0.91 0.90 32.82 0.03 -3.37 0.04 0.05 2.91
Degree 15 34 29.39 31.50 1,058 MAX VALUE 120.81 5.64 0.19 2.21
Eccentricity 2 2 2.00 2.00 72 6.87e+10 24.95 0.00 0.00 0.00
Dual graph
Density: 10.54%
MCB compute time (ms): 1,747
MCB cycles: 4,239
Triangles: 21,808
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 145.06 0.00 -200.90 0.00 0.01 2.62
Degree 28 36 30.46 30.00 8,832 MAX VALUE 990.03 2.11 0.07 1.39
Eccentricity 3 3 3.00 3.00 870 MAX VALUE 318.60 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 12,717 MAX VALUE 4,657.02 0.00 0.00 0.00
Minimal dual graph
Density: 1.30%
MCB compute time (ms): 545
MCB cycles: 255
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 6 3.75 4.00 1,088 MAX VALUE 377.09 0.81 0.22 1.12
Eccentricity 6 8 7.08 7.00 2,052 MAX VALUE 566.57 0.55 0.08 0.81
MCB cycle size 4 9 6.81 7.00 1,736 MAX VALUE 485.19 1.14 0.17 1.52
Triangulated dual graph
Density: 57.26%
Triangles: 1,243,020
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.85 0.85 247.78 0.00 -46.62 0.07 0.08 3.74
Degree 28 231 165.48 196.00 47,990 MAX VALUE 1,442.66 66.35 0.40 2.81
Eccentricity 2 3 2.07 2.00 600 MAX VALUE 209.12 0.25 0.12 0.25
Triangulated minimal dual graph
Density: 11.55%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.83 0.78 239.34 0.00 -59.63 0.14 0.17 3.61
Degree 2 106 33.39 8.50 9,684 MAX VALUE 758.22 39.05 1.17 3.28
Eccentricity 3 5 3.70 4.00 1,073 MAX VALUE 376.55 0.51 0.14 0.73
Incidence graph
Density: 1.09%
MCB compute time (ms): 321
MCB cycles: 255
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 19 3.56 2.00 1,160 MAX VALUE 300.95 4.45 1.25 0.45
Eccentricity 5 6 5.89 6.00 1,920 MAX VALUE 577.55 0.31 0.05 0.35
MCB cycle size 6 6 6.00 6.00 1,530 MAX VALUE 456.90 0.00 0.00 0.00