Instance: crossword-m1c-words-vg16-20-ext
Number of variables: 320
Number of constraints: 36
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: 320
Number of constraints: 36
General features
Coarse blocks: 6,032
Value tables: 320
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 16 20 17.78 16.00 640 MAX VALUE 103.38 1.99 0.11 0.69
Coarse blocks size 1 33 5.62 3.00 33,920 MAX VALUE 7,210.47 6.01 1.07 2.48
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -50,111.60 0.00 0.21 0.21
Tightness 1.00 1.00 1.00 1.00 36.00 1.00 0.00 0.00 0.00 0.00
Tuples 3 103 58.56 103.00 2,108 MAX VALUE 110.27 49.69 0.85 0.69
Values 26 26 26.00 26.00 8,320 MAX VALUE 1,042.59 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 640 MAX VALUE 221.81 0.00 0.00 0.00
Value table partitions 8 22 16.32 16.00 5,222 MAX VALUE 886.67 3.17 0.19 2.39
Tree decomposition
Number of clusters: 34
Number of leaves: 16
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.06 1.00 36 0 None 0.94 0.89 0.97
Cluster variables 35 208 66.35 49.00 2,256 MAX VALUE 136.67 45.86 0.69 1.60
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 160 56.94 41.00 1,936 0 None 34.94 0.61 1.60
Dual tree decomposition
Number of clusters: 20
Number of leaves: 2
Tree depth: 10
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 16 16.00 16.00 320 1.21e+24 55.45 0.00 0.00 0.00
Cluster variables 17 17 17.00 17.00 340 4.06e+24 56.66 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.20 16.00 304 0 None 3.49 0.23 0.20
Primal graph
Density: 10.66%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_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 157.43 0.00 -226.98 0.00 0.00 0.00
Degree 34 34 34.00 34.00 10,880 MAX VALUE 1,128.44 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 640 MAX VALUE 221.81 0.00 0.00 0.00
Triangulated primal graph
Density: 67.72%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.84 1.00 0.89 0.87 283.23 0.00 -39.55 0.05 0.06 2.30
Degree 34 272 216.04 250.50 69,132 MAX VALUE 1,685.67 73.15 0.34 2.30
Eccentricity 2 2 2.00 2.00 640 MAX VALUE 221.81 0.00 0.00 0.00
Dual graph
Density: 50.79%
MCB compute time (ms): 19
MCB cycles: 285
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_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 20 17.78 16.00 640 MAX VALUE 103.38 1.99 0.11 0.69
Eccentricity 2 2 2.00 2.00 72 6.87e+10 24.95 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 1,140 MAX VALUE 395.09 0.00 0.00 0.00
Minimal dual graph
Density: 50.79%
MCB compute time (ms): 17
MCB cycles: 285
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 20 17.78 16.00 640 MAX VALUE 103.38 1.99 0.11 0.69
Eccentricity 2 2 2.00 2.00 72 6.87e+10 24.95 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 1,140 MAX VALUE 395.09 0.00 0.00 0.00
Triangulated dual graph
Density: 69.84%
Triangles: 2,960
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.86 1.00 30.89 0.00 -6.15 0.16 0.18 0.69
Degree 16 35 24.44 16.00 880 MAX VALUE 112.34 9.44 0.39 0.69
Eccentricity 1 2 1.56 2.00 56 1,048,580 13.86 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 69.84%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.86 1.00 30.89 0.00 -6.15 0.16 0.18 0.69
Degree 16 35 24.44 16.00 880 MAX VALUE 112.34 9.44 0.39 0.69
Eccentricity 1 2 1.56 2.00 56 1,048,580 13.86 0.50 0.32 0.69
Incidence graph
Density: 1.01%
MCB compute time (ms): 289
MCB cycles: 285
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg16-20_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 20 3.60 2.00 1,280 MAX VALUE 325.19 4.80 1.33 0.40
Eccentricity 4 4 4.00 4.00 1,424 MAX VALUE 493.52 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 2,280 MAX VALUE 592.64 0.00 0.00 0.00