Instance: crossword-m1c-words-vg16-18-ext
Number of variables: 288
Number of constraints: 34
Satisfiable: None
Timestamp: 2017-10-27 10:59:04
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 288
Number of constraints: 34
General features
Coarse blocks: 7,344
Value tables: 288
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 16 18 16.94 16.00 576 MAX VALUE 96.15 1.00 0.06 0.69
Coarse blocks size 1 33 4.94 3.00 36,288 MAX VALUE 8,252.23 5.39 1.09 2.40
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -127,783.00 0.00 0.78 1.64
Tightness 1.00 1.00 1.00 1.00 34.00 1.00 0.00 0.00 0.00 0.00
Tuples 23 103 65.35 103.00 2,222 MAX VALUE 133.59 39.93 0.61 0.69
Values 26 26 26.00 26.00 7,488 MAX VALUE 938.33 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 576 MAX VALUE 199.63 0.00 0.00 0.00
Value table partitions 10 22 17.39 17.00 5,008 MAX VALUE 819.55 2.40 0.14 2.24
Tree decomposition
Number of clusters: 32
Number of leaves: 16
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.06 1.50 34 0 None 0.97 0.91 0.88
Cluster variables 33 184 61.62 40.00 1,972 MAX VALUE 126.44 41.40 0.67 1.51
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 144 52.62 32.00 1,684 0 None 31.54 0.60 1.51
Dual tree decomposition
Number of clusters: 18
Number of leaves: 2
Tree depth: 9
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 16 16.00 16.00 288 4.72e+21 49.91 0.00 0.00 0.00
Cluster variables 17 17 17.00 17.00 306 1.41e+22 51.00 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.11 16.00 272 0 None 3.66 0.24 0.21
Primal graph
Density: 11.15%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_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 139.94 0.00 -207.87 0.00 0.00 0.00
Degree 32 32 32.00 32.00 9,216 MAX VALUE 998.13 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 576 MAX VALUE 199.63 0.00 0.00 0.00
Triangulated primal graph
Density: 67.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.83 1.00 0.88 0.86 254.32 0.00 -36.28 0.05 0.06 2.43
Degree 32 244 193.19 224.50 55,638 MAX VALUE 1,485.07 65.69 0.34 2.43
Eccentricity 2 2 2.00 2.00 576 MAX VALUE 199.63 0.00 0.00 0.00
Dual graph
Density: 51.34%
MCB compute time (ms): 9
MCB cycles: 255
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_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 18 16.94 16.00 576 MAX VALUE 96.15 1.00 0.06 0.69
Eccentricity 2 2 2.00 2.00 68 1.72e+10 23.57 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 1,020 MAX VALUE 353.50 0.00 0.00 0.00
Minimal dual graph
Density: 51.34%
MCB compute time (ms): 8
MCB cycles: 255
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 18 16.94 16.00 576 MAX VALUE 96.15 1.00 0.06 0.69
Eccentricity 2 2 2.00 2.00 68 1.72e+10 23.57 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 1,020 MAX VALUE 353.50 0.00 0.00 0.00
Triangulated dual graph
Density: 72.73%
Triangles: 2,720
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.86 1.00 29.36 0.00 -5.47 0.14 0.17 0.69
Degree 16 33 24.00 16.00 816 MAX VALUE 105.85 8.49 0.35 0.69
Eccentricity 1 2 1.53 2.00 52 262,144 12.48 0.50 0.33 0.69
Triangulated minimal dual graph
Density: 72.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.86 1.00 29.36 0.00 -5.47 0.14 0.17 0.69
Degree 16 33 24.00 16.00 816 MAX VALUE 105.85 8.49 0.35 0.69
Eccentricity 1 2 1.53 2.00 52 262,144 12.48 0.50 0.33 0.69
Incidence graph
Density: 1.11%
MCB compute time (ms): 154
MCB cycles: 255
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-18_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 18 3.58 2.00 1,152 MAX VALUE 295.78 4.60 1.29 0.41
Eccentricity 4 4 4.00 4.00 1,288 MAX VALUE 446.39 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 2,040 MAX VALUE 530.26 0.00 0.00 0.00