Instance: crossword-m1c-words-vg7-9-ext
Number of variables: 63
Number of constraints: 16
Satisfiable: None
Timestamp: 2017-10-27 10:59:00
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 63
Number of constraints: 16
General features
Coarse blocks: 3,191
Value tables: 63
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 9 7.88 7.00 126 1.93e+14 32.89 0.99 0.13 0.69
Coarse blocks size 1 2,196 265.33 158.00 846,657 MAX VALUE 15,318.60 302.86 1.14 5.51
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -33,341.30 0.00 1.10 5.12
Tightness 1.00 1.00 1.00 1.00 16.00 1.00 -0.00 0.00 0.00 0.69
Tuples 6,079 7,360 6,799.56 7,360.00 108,793 MAX VALUE 141.12 635.48 0.09 0.69
Values 26 26 26.00 26.00 1,638 MAX VALUE 205.26 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 126 9.22e+18 43.67 0.00 0.00 0.00
Value table partitions 24 26 25.84 26.00 1,628 MAX VALUE 204.86 0.51 0.02 0.38
Tree decomposition
Number of clusters: 14
Number of leaves: 7
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.14 1.50 16 0 None 0.91 0.80 0.99
Cluster variables 15 41 21.79 17.50 305 2.10e+18 42.19 8.59 0.39 1.47
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 31 17.29 14.00 242 0 None 7.33 0.42 1.47
Dual tree decomposition
Number of clusters: 9
Number of leaves: 2
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 7 7.00 7.00 63 40,353,600 17.51 0.00 0.00 0.00
Cluster variables 8 8 8.00 8.00 72 134,218,000 18.71 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 7 6.22 7.00 56 0 None 2.20 0.35 0.35
Primal graph
Density: 22.58%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.47 0.47 0.47 29.77 0.00 -47.23 0.00 0.00 0.00
Degree 14 14 14.00 14.00 882 MAX VALUE 166.26 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 126 9.22e+18 43.67 0.00 0.00 0.00
Triangulated primal graph
Density: 68.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.87 0.84 54.91 0.00 -8.81 0.06 0.07 2.85
Degree 14 54 42.51 48.00 2,678 MAX VALUE 231.45 13.36 0.31 2.45
Eccentricity 2 2 2.00 2.00 126 9.22e+18 43.67 0.00 0.00 0.00
Dual graph
Density: 52.50%
MCB compute time (ms): 1
MCB cycles: 48
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_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 7 9 7.88 7.00 126 1.93e+14 32.89 0.99 0.13 0.69
Eccentricity 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 192 7.92e+28 66.54 0.00 0.00 0.00
Minimal dual graph
Density: 52.50%
MCB compute time (ms): 1
MCB cycles: 48
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 7 9 7.88 7.00 126 1.93e+14 32.89 0.99 0.13 0.69
Eccentricity 2 2 2.00 2.00 32 65,536 11.09 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 192 7.92e+28 66.54 0.00 0.00 0.00
Triangulated dual graph
Density: 70.00%
Triangles: 224
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.85 1.00 13.60 0.05 -2.94 0.17 0.20 0.69
Degree 7 15 10.50 7.00 168 6.89e+15 36.47 3.97 0.38 0.69
Eccentricity 1 2 1.56 2.00 25 512 6.24 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 70.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.85 1.00 13.60 0.05 -2.94 0.17 0.20 0.69
Degree 7 15 10.50 7.00 168 6.89e+15 36.47 3.97 0.38 0.69
Eccentricity 1 2 1.56 2.00 25 512 6.24 0.50 0.32 0.69
Incidence graph
Density: 4.09%
MCB compute time (ms): 10
MCB cycles: 48
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg7-9_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 9 3.19 2.00 252 1.78e+33 76.56 2.40 0.75 0.64
Eccentricity 4 4 4.00 4.00 316 MAX VALUE 109.52 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 384 MAX VALUE 99.81 0.00 0.00 0.00