Instance: crossword-m1c-words-vg4-4_ext
Number of variables: 16
Number of constraints: 8
Satisfiable: None
Timestamp: 2017-10-27 10:58:58
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 16
Number of constraints: 8
General features
Coarse blocks: 816
Value tables: 16
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 4 4 4.00 4.00 32 65,536 11.09 0.00 0.00 0.00
Coarse blocks size 1 439 87.73 55.50 71,584 MAX VALUE 3,103.09 90.93 1.04 4.30
Relational linkage 0.00 0.02 0.00 0.00 1.36 0.00 -2,557.92 0.00 1.12 4.08
Tightness 1.00 1.00 1.00 1.00 7.96 0.96 -0.04 0.00 0.00 0.00
Tuples 2,237 2,237 2,237.00 2,237.00 17,896 6.27e+26 61.70 0.00 0.00 0.00
Values 26 26 26.00 26.00 416 4.36e+22 52.13 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
Value table partitions 25 26 25.88 26.00 414 4.03e+22 52.05 0.33 0.01 0.38
Tree decomposition
Number of clusters: 6
Number of leaves: 4
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 0 2 1.33 2.00 8 0 None 0.94 0.71 0.64
Cluster variables 7 10 8.00 7.00 48 240,100 12.39 1.41 0.18 0.64
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 8 5.33 6.00 32 0 None 2.49 0.47 0.87
Dual tree decomposition
Number of clusters: 4
Number of leaves: 2
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 4 4 4.00 4.00 16 256 5.55 0.00 0.00 0.00
Cluster variables 5 5 5.00 5.00 20 625 6.44 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 4 3.00 4.00 12 0 None 1.73 0.58 0.56
Primal graph
Density: 40.00%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 0.40 0.40 0.40 6.40 0.00 -14.66 0.00 0.00 0.00
Degree 6 6 6.00 6.00 96 2.82e+12 28.67 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
Triangulated primal graph
Density: 71.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.85 0.81 13.60 0.07 -2.68 0.09 0.11 1.04
Degree 6 13 10.75 12.00 172 1.55e+16 37.28 2.86 0.27 1.04
Eccentricity 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
Dual graph
Density: 57.14%
MCB compute time (ms): 0
MCB cycles: 9
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 4 4 4.00 4.00 32 65,536 11.09 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 16 256 5.55 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 36 262,144 12.48 0.00 0.00 0.00
Minimal dual graph
Density: 57.14%
MCB compute time (ms): 0
MCB cycles: 9
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 4 4 4.00 4.00 32 65,536 11.09 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 16 256 5.55 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 36 262,144 12.48 0.00 0.00 0.00
Triangulated dual graph
Density: 78.57%
Triangles: 28
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.86 0.86 6.86 0.26 -1.35 0.14 0.17 0.69
Degree 4 7 5.50 5.50 44 614,656 13.33 1.50 0.27 0.69
Eccentricity 1 2 1.50 1.50 12 16 2.77 0.50 0.33 0.69
Triangulated minimal dual graph
Density: 78.57%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.86 0.86 6.86 0.26 -1.35 0.14 0.17 0.69
Degree 4 7 5.50 5.50 44 614,656 13.33 1.50 0.27 0.69
Eccentricity 1 2 1.50 1.50 12 16 2.77 0.50 0.33 0.69
Incidence graph
Density: 11.59%
MCB compute time (ms): 0
MCB cycles: 9
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 4 2.67 2.00 64 4.29e+09 22.18 0.94 0.35 0.64
Eccentricity 4 4 4.00 4.00 96 2.81e+14 33.27 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 72 134,218,000 18.71 0.00 0.00 0.00