Instance: crossword-m1c-words-vg13-13_ext
Number of variables: 169
Number of constraints: 26
Satisfiable: None
Timestamp: 2017-10-27 10:59:03
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 169
Number of constraints: 26
General features
Coarse blocks: 7,592
Value tables: 169
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 13 13 13.00 13.00 338 9.17e+28 66.69 0.00 0.00 0.00
Coarse blocks size 1 386 50.58 27.00 383,968 MAX VALUE 23,975.60 57.73 1.14 4.44
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -126,290.00 0.00 1.08 4.20
Tightness 1.00 1.00 1.00 1.00 26.00 1.00 -0.00 0.00 0.00 0.00
Tuples 1,136 1,136 1,136.00 1,136.00 29,536 MAX VALUE 182.92 0.00 0.00 0.00
Values 26 26 26.00 26.00 4,394 MAX VALUE 550.62 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 338 MAX VALUE 117.14 0.00 0.00 0.00
Value table partitions 16 26 24.31 24.00 4,108 MAX VALUE 538.89 1.52 0.06 1.57
Tree decomposition
Number of clusters: 24
Number of leaves: 13
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 0 2 1.08 2.00 26 0 None 1.00 0.92 0.69
Cluster variables 25 108 43.04 25.00 1,033 6.25e+37 87.03 24.93 0.58 1.28
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 84 36.00 24.00 864 0 None 19.39 0.54 1.28
Dual tree decomposition
Number of clusters: 13
Number of leaves: 2
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 13 13 13.00 13.00 169 3.03e+14 33.34 0.00 0.00 0.00
Cluster variables 14 14 14.00 14.00 182 7.94e+14 34.31 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 13 12.00 13.00 156 0 None 3.46 0.29 0.27
Primal graph
Density: 14.29%
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.48 0.48 0.48 80.83 0.00 -124.65 0.00 0.00 0.00
Degree 24 24 24.00 24.00 4,056 MAX VALUE 537.09 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 338 MAX VALUE 117.14 0.00 0.00 0.00
Triangulated primal graph
Density: 67.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.88 0.87 148.58 0.00 -22.08 0.05 0.06 2.43
Degree 24 145 112.92 125.00 19,084 MAX VALUE 782.06 37.98 0.34 2.43
Eccentricity 2 2 2.00 2.00 338 MAX VALUE 117.14 0.00 0.00 0.00
Dual graph
Density: 52.00%
MCB compute time (ms): 4
MCB cycles: 144
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 13 13 13.00 13.00 338 9.17e+28 66.69 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 52 67,108,900 18.02 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 576 MAX VALUE 199.63 0.00 0.00 0.00
Minimal dual graph
Density: 52.00%
MCB compute time (ms): 4
MCB cycles: 144
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 13 13 13.00 13.00 338 9.17e+28 66.69 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 52 67,108,900 18.02 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 576 MAX VALUE 199.63 0.00 0.00 0.00
Triangulated dual graph
Density: 76.00%
Triangles: 1,300
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.87 0.87 22.62 0.02 -3.91 0.13 0.15 0.69
Degree 13 25 19.00 19.00 494 4.51e+32 75.19 6.00 0.32 0.69
Eccentricity 1 2 1.50 1.50 39 8,192 9.01 0.50 0.33 0.69
Triangulated minimal dual graph
Density: 76.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.87 0.87 22.62 0.02 -3.91 0.13 0.15 0.69
Degree 13 25 19.00 19.00 494 4.51e+32 75.19 6.00 0.32 0.69
Eccentricity 1 2 1.50 1.50 39 8,192 9.01 0.50 0.33 0.69
Incidence graph
Density: 1.79%
MCB compute time (ms): 63
MCB cycles: 144
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 13 3.47 2.00 676 MAX VALUE 183.83 3.74 1.08 0.39
Eccentricity 4 4 4.00 4.00 780 MAX VALUE 270.33 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 1,152 MAX VALUE 299.44 0.00 0.00 0.00