Instance: crossword-m1c-words-vg15-19-ext
Number of variables: 285
Number of constraints: 34
Satisfiable: None
Timestamp: 2017-10-27 10:59:08
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 285
Number of constraints: 34
General features
Coarse blocks: 6,286
Value tables: 285
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 15 19 16.76 15.00 570 MAX VALUE 95.62 1.99 0.12 0.69
Coarse blocks size 1 109 12.74 7.00 80,085 MAX VALUE 11,635.10 14.99 1.18 3.26
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -42,658.70 0.00 0.24 0.25
Tightness 1.00 1.00 1.00 1.00 34.00 1.00 0.00 0.00 0.00 0.00
Tuples 3 278 156.68 278.00 5,327 MAX VALUE 123.40 136.54 0.87 0.69
Values 26 26 26.00 26.00 7,410 MAX VALUE 928.56 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 570 MAX VALUE 197.55 0.00 0.00 0.00
Value table partitions 11 24 19.50 20.00 5,558 MAX VALUE 842.79 2.90 0.15 2.05
Tree decomposition
Number of clusters: 32
Number of leaves: 15
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-19_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-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 34 0 None 0.93 0.88 0.98
Cluster variables 33 185 61.41 46.00 1,965 MAX VALUE 126.47 40.78 0.66 1.73
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 141 52.50 38.50 1,680 0 None 31.03 0.59 1.73
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-vg15-19_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-19_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 15 15.00 15.00 285 2.22e+22 51.45 0.00 0.00 0.00
Cluster variables 16 16 16.00 16.00 304 7.56e+22 52.68 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 15 14.21 15.00 270 0 None 3.35 0.24 0.21
Primal graph
Density: 11.27%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-19_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-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 140.20 0.00 -202.18 0.00 0.00 0.00
Degree 32 32 32.00 32.00 9,120 MAX VALUE 987.74 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 570 MAX VALUE 197.55 0.00 0.00 0.00
Triangulated primal graph
Density: 67.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.83 1.00 0.88 0.87 251.72 0.00 -35.85 0.05 0.06 3.42
Degree 32 243 191.54 215.00 54,590 MAX VALUE 1,467.52 64.90 0.34 3.11
Eccentricity 2 2 2.00 2.00 570 MAX VALUE 197.55 0.00 0.00 0.00
Dual graph
Density: 50.80%
MCB compute time (ms): 11
MCB cycles: 252
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-19_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-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 15 19 16.76 15.00 570 MAX VALUE 95.62 1.99 0.12 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,008 MAX VALUE 349.35 0.00 0.00 0.00
Minimal dual graph
Density: 50.80%
MCB compute time (ms): 10
MCB cycles: 252
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 15 19 16.76 15.00 570 MAX VALUE 95.62 1.99 0.12 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,008 MAX VALUE 349.35 0.00 0.00 0.00
Triangulated dual graph
Density: 69.52%
Triangles: 2,450
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.86 1.00 29.14 0.00 -5.87 0.16 0.19 0.69
Degree 15 33 22.94 15.00 780 MAX VALUE 103.90 8.94 0.39 0.69
Eccentricity 1 2 1.56 2.00 53 524,288 13.17 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 69.52%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.86 1.00 29.14 0.00 -5.87 0.16 0.19 0.69
Degree 15 33 22.94 15.00 780 MAX VALUE 103.90 8.94 0.39 0.69
Eccentricity 1 2 1.56 2.00 53 524,288 13.17 0.50 0.32 0.69
Incidence graph
Density: 1.12%
MCB compute time (ms): 178
MCB cycles: 252
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-19_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg15-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.57 2.00 1,140 MAX VALUE 293.17 4.60 1.29 0.41
Eccentricity 4 4 4.00 4.00 1,276 MAX VALUE 442.23 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 2,016 MAX VALUE 524.02 0.00 0.00 0.00