Instance: crossword-m1c-words-vg6-7-ext
Number of variables: 42
Number of constraints: 13
Satisfiable: None
Timestamp: 2017-10-27 10:59:06
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 42
Number of constraints: 13
General features
Coarse blocks: 2,139
Value tables: 42
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 7 6.46 6.00 84 3.29e+10 24.22 0.50 0.08 0.69
Coarse blocks size 1 2,196 265.67 162.00 568,260 MAX VALUE 10,309.60 308.50 1.16 5.41
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -15,388.90 0.00 1.13 4.99
Tightness 1.00 1.00 1.00 1.00 13.00 1.00 -0.00 0.00 0.00 0.69
Tuples 6,170 7,360 6,719.23 6,170.00 87,350 MAX VALUE 114.52 593.24 0.09 0.69
Values 26 26 26.00 26.00 1,092 MAX VALUE 136.84 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 84 4.40e+12 29.11 0.00 0.00 0.00
Value table partitions 24 26 25.86 26.00 1,086 MAX VALUE 136.60 0.47 0.02 0.38
Tree decomposition
Number of clusters: 11
Number of leaves: 6
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.18 2.00 13 0 None 0.94 0.79 0.92
Cluster variables 12 27 16.36 12.00 180 1.29e+13 30.19 5.47 0.33 1.29
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 21 12.55 11.00 138 0 None 5.30 0.42 1.29
Dual tree decomposition
Number of clusters: 7
Number of leaves: 2
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 6 6.00 6.00 42 279,936 12.54 0.00 0.00 0.00
Cluster variables 7 7 7.00 7.00 49 823,543 13.62 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 6 5.14 6.00 36 0 None 2.10 0.41 0.41
Primal graph
Density: 26.83%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.45 0.45 0.45 19.09 0.00 -33.12 0.00 0.00 0.00
Degree 11 11 11.00 11.00 462 MAX VALUE 100.71 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 84 4.40e+12 29.11 0.00 0.00 0.00
Triangulated primal graph
Density: 69.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.87 0.85 36.40 0.00 -6.13 0.07 0.08 2.33
Degree 11 36 28.38 31.50 1,192 MAX VALUE 137.71 8.59 0.30 2.24
Eccentricity 2 2 2.00 2.00 84 4.40e+12 29.11 0.00 0.00 0.00
Dual graph
Density: 53.85%
MCB compute time (ms): 0
MCB cycles: 30
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_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 6 7 6.46 6.00 84 3.29e+10 24.22 0.50 0.08 0.69
Eccentricity 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00
Minimal dual graph
Density: 53.85%
MCB compute time (ms): 0
MCB cycles: 30
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 6 7 6.46 6.00 84 3.29e+10 24.22 0.50 0.08 0.69
Eccentricity 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00
Triangulated dual graph
Density: 73.08%
Triangles: 125
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.85 1.00 11.09 0.10 -2.30 0.16 0.19 0.69
Degree 6 12 8.77 6.00 114 8.36e+11 27.45 2.99 0.34 0.69
Eccentricity 1 2 1.54 2.00 20 128 4.85 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 73.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.85 1.00 11.09 0.10 -2.30 0.16 0.19 0.69
Degree 6 12 8.77 6.00 114 8.36e+11 27.45 2.99 0.34 0.69
Eccentricity 1 2 1.54 2.00 20 128 4.85 0.50 0.32 0.69
Incidence graph
Density: 5.66%
MCB compute time (ms): 5
MCB cycles: 30
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg6-7_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 7 3.05 2.00 168 1.45e+23 53.33 1.91 0.63 0.71
Eccentricity 4 4 4.00 4.00 220 1.30e+33 76.25 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 240 1.24e+27 62.38 0.00 0.00 0.00