Instance: crossword-m1c-words-vg14-18-ext
Number of variables: 252
Number of constraints: 32
Satisfiable: None
Timestamp: 2017-10-27 10:59:09
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 252
Number of constraints: 32
General features
Coarse blocks: 7,776
Value tables: 252
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 14 18 15.75 14.00 504 1.60e+38 87.97 1.98 0.13 0.69
Coarse blocks size 1 209 18.41 7.00 143,136 MAX VALUE 15,242.80 26.01 1.41 3.48
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -126,643.00 0.00 0.78 1.61
Tightness 1.00 1.00 1.00 1.00 32.00 1.00 0.00 0.00 0.00 0.00
Tuples 23 545 316.62 545.00 10,132 MAX VALUE 157.31 258.95 0.82 0.69
Values 26 26 26.00 26.00 6,552 MAX VALUE 821.04 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 504 MAX VALUE 174.67 0.00 0.00 0.00
Value table partitions 14 25 21.67 22.00 5,462 MAX VALUE 773.57 2.28 0.11 1.74
Tree decomposition
Number of clusters: 30
Number of leaves: 14
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-18_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-18_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.07 1.00 32 0 None 0.93 0.87 0.99
Cluster variables 31 164 56.53 43.00 1,696 MAX VALUE 116.36 36.25 0.64 1.62
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 124 48.13 36.00 1,444 0 None 27.60 0.57 1.62
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-vg14-18_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-18_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 14 14 14.00 14.00 252 4.27e+20 47.50 0.00 0.00 0.00
Cluster variables 15 15 15.00 15.00 270 1.48e+21 48.74 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 14 13.22 14.00 238 0 None 3.21 0.24 0.21
Primal graph
Density: 11.95%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-18_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-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 123.97 0.00 -178.76 0.00 0.00 0.00
Degree 30 30 30.00 30.00 7,560 MAX VALUE 857.10 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 504 MAX VALUE 174.67 0.00 0.00 0.00
Triangulated primal graph
Density: 67.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.88 0.86 222.35 0.00 -31.96 0.05 0.06 2.98
Degree 30 216 169.41 192.00 42,690 MAX VALUE 1,267.27 57.08 0.34 2.98
Eccentricity 2 2 2.00 2.00 504 MAX VALUE 174.67 0.00 0.00 0.00
Dual graph
Density: 50.81%
MCB compute time (ms): 13
MCB cycles: 221
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-18_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-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 14 18 15.75 14.00 504 1.60e+38 87.97 1.98 0.13 0.69
Eccentricity 2 2 2.00 2.00 64 4.29e+09 22.18 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 884 MAX VALUE 306.37 0.00 0.00 0.00
Minimal dual graph
Density: 50.81%
MCB compute time (ms): 12
MCB cycles: 221
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 14 18 15.75 14.00 504 1.60e+38 87.97 1.98 0.13 0.69
Eccentricity 2 2 2.00 2.00 64 4.29e+09 22.18 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 884 MAX VALUE 306.37 0.00 0.00 0.00
Triangulated dual graph
Density: 69.15%
Triangles: 2,002
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.86 1.00 27.39 0.00 -5.59 0.16 0.19 0.69
Degree 14 31 21.44 14.00 686 MAX VALUE 95.58 8.43 0.39 0.69
Eccentricity 1 2 1.56 2.00 50 262,144 12.48 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 69.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.86 1.00 27.39 0.00 -5.59 0.16 0.19 0.69
Degree 14 31 21.44 14.00 686 MAX VALUE 95.58 8.43 0.39 0.69
Eccentricity 1 2 1.56 2.00 50 262,144 12.48 0.50 0.32 0.69
Incidence graph
Density: 1.25%
MCB compute time (ms): 180
MCB cycles: 221
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-18_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg14-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.55 2.00 1,008 MAX VALUE 262.64 4.40 1.24 0.43
Eccentricity 4 4 4.00 4.00 1,136 MAX VALUE 393.71 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 1,768 MAX VALUE 459.56 0.00 0.00 0.00