Instance: queen5-5-4_ext
Number of variables: 25
Number of constraints: 160
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: 25
Number of constraints: 160
General features
Number of coarse blocks: 1,280
Number of unique subscopes: 25
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 320 MAX VALUE 110.90 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 3,840 MAX VALUE 1,406.22 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 75.00 0.00 -28.77 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 40.00 0.00 -221.81 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 1,920 MAX VALUE 397.58 0.00 0.00 0.00
Domain size 4 4 4.00 4.00 100 1.13e+15 34.66 0.00 0.00 0.00
Constraints per subscope 12 16 12.80 12.00 320 4.37e+27 63.64 1.13 0.09 0.78
Partitions per subscope 4 4 4.00 4.00 100 1.13e+15 34.66 0.00 0.00 0.00
Tree decomposition
Number of clusters: 7
Number of leaves: 5
Tree depth: 2
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 44 87 61.29 59.00 429 2.51e+12 28.55 17.09 0.28 1.75
Cluster variables 13 19 15.29 15.00 107 178,451,000 19.00 2.49 0.16 1.08
Separator constraints 0 77 38.43 34.00 269 0 None 21.25 0.55 1.75
Separator variables 0 18 11.71 12.00 82 0 None 5.17 0.44 1.28
Dual tree decomposition
Number of clusters: 23
Number of leaves: 12
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 138 572 253.44 191.00 5,829 MAX VALUE 124.67 129.97 0.51 2.36
Cluster variables 23 88 39.39 27.00 906 4.13e+35 82.01 19.86 0.50 2.22
Separator constraints 0 318 170.65 164.00 3,925 0 None 72.84 0.43 2.36
Separator variables 0 68 32.43 26.00 746 0 None 15.30 0.47 2.16
Primal graph
Density: 53.33%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.53 0.50 0.52 12.58 0.00 -17.19 0.02 0.03 1.44
Degree 12 16 12.80 12.00 320 4.37e+27 63.64 1.13 0.09 0.78
Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Triangulated primal graph
Density: 84.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.85 1.00 0.91 0.89 22.70 0.09 -2.45 0.05 0.05 1.92
Degree 12 23 20.24 22.00 506 2.58e+32 74.63 3.81 0.19 1.49
Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Dual graph
Density: 14.97%
MCB compute time (ms): 295
MCB cycles: 1,778
Triangles: 7,312
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.52 0.50 0.50 80.34 0.00 -110.23 0.01 0.01 2.34
Degree 22 28 23.80 24.00 3,808 MAX VALUE 506.74 1.72 0.07 1.19
Eccentricity 3 3 3.00 3.00 480 MAX VALUE 175.78 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 5,334 MAX VALUE 1,953.33 0.00 0.00 0.00
Minimal dual graph
Density: 2.32%
MCB compute time (ms): 88
MCB cycles: 136
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.69 4.00 590 MAX VALUE 205.74 0.73 0.20 1.06
Eccentricity 5 7 6.51 7.00 1,041 MAX VALUE 299.11 0.52 0.08 0.75
MCB cycle size 4 8 6.28 6.00 854 MAX VALUE 247.79 1.06 0.17 1.44
Triangulated dual graph
Density: 59.05%
Triangles: 213,861
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.85 0.83 136.06 0.00 -26.59 0.08 0.09 3.54
Degree 22 129 93.89 108.00 15,022 MAX VALUE 709.79 35.01 0.37 3.04
Eccentricity 2 3 2.12 2.00 339 MAX VALUE 118.61 0.32 0.15 0.36
Triangulated minimal dual graph
Density: 13.21%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.80 0.74 128.52 0.00 -38.18 0.16 0.20 3.27
Degree 2 62 21.00 8.00 3,360 MAX VALUE 384.56 21.75 1.04 3.11
Eccentricity 2 4 3.48 3.00 557 MAX VALUE 197.81 0.51 0.15 0.73
Incidence graph
Density: 1.88%
MCB compute time (ms): 63
MCB cycles: 136
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 16 3.46 2.00 640 MAX VALUE 174.55 3.72 1.07 0.50
Eccentricity 5 6 5.86 6.00 1,085 MAX VALUE 326.92 0.34 0.06 0.40
MCB cycle size 6 6 6.00 6.00 816 MAX VALUE 243.68 0.00 0.00 0.00