Instance: crossword-m1c-words-vg16-19-ext
Number of variables: 304
Number of constraints: 35
Satisfiable: None
Timestamp: 2017-10-27 10:59:01
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 304
Number of constraints: 35
General features
Coarse blocks: 5,712
Value tables: 304
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 16 19 17.37 16.00 608 MAX VALUE 99.79 1.49 0.09 0.69
Coarse blocks size 1 33 5.64 3.00 32,224 MAX VALUE 6,862.70 6.02 1.07 2.49
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -40,841.40 0.00 0.24 0.26
Tightness 1.00 1.00 1.00 1.00 35.00 1.00 0.00 0.00 0.00 0.00
Tuples 3 103 57.29 103.00 2,005 MAX VALUE 105.64 49.82 0.87 0.69
Values 26 26 26.00 26.00 7,904 MAX VALUE 990.46 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 608 MAX VALUE 210.72 0.00 0.00 0.00
Value table partitions 8 22 16.50 17.00 5,015 MAX VALUE 846.10 3.09 0.19 2.42
Tree decomposition
Number of clusters: 33
Number of leaves: 16
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.06 1.00 35 0 None 0.95 0.90 0.93
Cluster variables 34 196 64.03 48.00 2,113 MAX VALUE 131.57 43.58 0.68 1.63
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 152 54.82 33.00 1,809 0 None 33.18 0.61 1.63
Dual tree decomposition
Number of clusters: 19
Number of leaves: 2
Tree depth: 9
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 16 16.00 16.00 304 7.56e+22 52.68 0.00 0.00 0.00
Cluster variables 17 17 17.00 17.00 323 2.39e+23 53.83 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 16 15.16 16.00 288 0 None 3.57 0.24 0.21
Primal graph
Density: 10.89%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.49 0.49 0.49 148.54 0.00 -217.71 0.00 0.00 0.00
Degree 33 33 33.00 33.00 10,032 MAX VALUE 1,062.94 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 608 MAX VALUE 210.72 0.00 0.00 0.00
Triangulated primal graph
Density: 67.48%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.83 1.00 0.88 0.86 268.73 0.00 -37.96 0.05 0.06 2.71
Degree 33 258 204.47 237.50 62,158 MAX VALUE 1,584.70 69.43 0.34 2.51
Eccentricity 2 2 2.00 2.00 608 MAX VALUE 210.72 0.00 0.00 0.00
Dual graph
Density: 51.09%
MCB compute time (ms): 16
MCB cycles: 270
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Dual1.pdf

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 16 19 17.37 16.00 608 MAX VALUE 99.79 1.49 0.09 0.69
Eccentricity 2 2 2.00 2.00 70 3.44e+10 24.26 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 1,080 MAX VALUE 374.30 0.00 0.00 0.00
Minimal dual graph
Density: 51.09%
MCB compute time (ms): 15
MCB cycles: 270
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 16 19 17.37 16.00 608 MAX VALUE 99.79 1.49 0.09 0.69
Eccentricity 2 2 2.00 2.00 70 3.44e+10 24.26 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 1,080 MAX VALUE 374.30 0.00 0.00 0.00
Triangulated dual graph
Density: 71.26%
Triangles: 2,840
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.70 1.00 0.86 1.00 30.12 0.00 -5.82 0.15 0.18 0.69
Degree 16 34 24.23 16.00 848 MAX VALUE 109.10 8.97 0.37 0.69
Eccentricity 1 2 1.54 2.00 54 524,288 13.17 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 71.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.70 1.00 0.86 1.00 30.12 0.00 -5.82 0.15 0.18 0.69
Degree 16 34 24.23 16.00 848 MAX VALUE 109.10 8.97 0.37 0.69
Eccentricity 1 2 1.54 2.00 54 524,288 13.17 0.50 0.32 0.69
Incidence graph
Density: 1.06%
MCB compute time (ms): 226
MCB cycles: 270
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-19_ext/Incidence1.pdf
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.59 2.00 1,216 MAX VALUE 310.51 4.70 1.31 0.40
Eccentricity 4 4 4.00 4.00 1,356 MAX VALUE 469.95 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 2,160 MAX VALUE 561.45 0.00 0.00 0.00