Instance: crossword-m1c-words-vg6-8_ext
Number of variables: 48
Number of constraints: 14
Satisfiable: None
Timestamp: 2017-10-27 10:59:10
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 48
Number of constraints: 14
General features
Coarse blocks: 2,436
Value tables: 48
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 8 6.86 6.00 96 4.40e+11 26.81 0.99 0.14 0.68
Coarse blocks size 1 2,107 260.97 164.00 635,712 MAX VALUE 11,668.00 297.12 1.14 5.45
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -21,444.40 0.00 1.10 5.02
Tightness 1.00 1.00 1.00 1.00 14.00 1.00 -0.00 0.00 0.00 0.68
Tuples 6,170 7,074 6,557.43 6,170.00 91,804 MAX VALUE 123.00 447.36 0.07 0.68
Values 26 26 26.00 26.00 1,248 MAX VALUE 156.39 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Value table partitions 24 26 25.83 26.00 1,240 MAX VALUE 156.07 0.47 0.02 0.46
Tree decomposition
Number of clusters: 12
Number of leaves: 6
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 0 2 1.17 1.50 14 0 None 0.90 0.77 1.01
Cluster variables 13 30 18.00 15.00 216 6.08e+14 34.04 6.27 0.35 1.24
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 24 14.00 12.00 168 0 None 5.77 0.41 1.36
Dual tree decomposition
Number of clusters: 8
Number of leaves: 2
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 6 6 6.00 6.00 48 1,679,620 14.33 0.00 0.00 0.00
Cluster variables 7 7 7.00 7.00 56 5,764,800 15.57 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 6 5.25 6.00 42 0 None 1.98 0.38 0.38
Primal graph
Density: 25.53%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.47 0.47 0.47 22.55 0.00 -36.27 0.00 0.00 0.00
Degree 12 12 12.00 12.00 576 MAX VALUE 119.28 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Triangulated primal graph
Density: 69.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.87 0.86 41.70 0.00 -6.88 0.06 0.07 2.17
Degree 12 41 32.50 36.00 1,560 MAX VALUE 163.79 9.92 0.31 2.09
Eccentricity 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Dual graph
Density: 52.75%
MCB compute time (ms): 0
MCB cycles: 35
Triangles: 0
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 6 8 6.86 6.00 96 4.40e+11 26.81 0.99 0.14 0.68
Eccentricity 2 2 2.00 2.00 28 16,384 9.70 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 140 1.18e+21 48.52 0.00 0.00 0.00
Minimal dual graph
Density: 52.75%
MCB compute time (ms): 0
MCB cycles: 35
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 6 8 6.86 6.00 96 4.40e+11 26.81 0.99 0.14 0.68
Eccentricity 2 2 2.00 2.00 28 16,384 9.70 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 140 1.18e+21 48.52 0.00 0.00 0.00
Triangulated dual graph
Density: 69.23%
Triangles: 140
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.85 1.00 11.85 0.07 -2.67 0.18 0.21 0.68
Degree 6 13 9.00 6.00 126 8.11e+12 29.72 3.46 0.38 0.68
Eccentricity 1 2 1.57 2.00 22 256 5.55 0.49 0.31 0.68
Triangulated minimal dual graph
Density: 69.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.85 1.00 11.85 0.07 -2.67 0.18 0.21 0.68
Degree 6 13 9.00 6.00 126 8.11e+12 29.72 3.46 0.38 0.68
Eccentricity 1 2 1.57 2.00 22 256 5.55 0.49 0.31 0.68
Incidence graph
Density: 5.08%
MCB compute time (ms): 6
MCB cycles: 35
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 8 3.10 2.00 192 1.24e+26 60.08 2.08 0.67 0.69
Eccentricity 4 4 4.00 4.00 248 2.13e+37 85.95 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 280 4.06e+31 72.78 0.00 0.00 0.00