Instance: crossword-m1c-words-vg5-5-ext
Number of variables: 25
Number of constraints: 10
Satisfiable: None
Timestamp: 2017-10-27 10:59:05
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 25
Number of constraints: 10
General features
Coarse blocks: 1,280
Value tables: 25
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 5 5.00 5.00 50 9,765,620 16.09 0.00 0.00 0.00
Coarse blocks size 1 1,108 163.05 108.00 208,700 MAX VALUE 5,592.10 179.30 1.10 4.55
Relational linkage 0.00 0.00 0.00 0.00 0.15 0.00 -5,737.69 0.00 1.14 4.32
Tightness 1.00 1.00 1.00 1.00 10.00 1.00 -0.00 0.00 0.00 0.00
Tuples 4,174 4,174 4,174.00 4,174.00 41,740 1.61e+36 83.37 0.00 0.00 0.00
Values 26 26 26.00 26.00 650 2.37e+35 81.45 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Value table partitions 24 26 25.92 26.00 648 2.19e+35 81.37 0.39 0.02 0.17
Tree decomposition
Number of clusters: 8
Number of leaves: 5
Tree depth: 2
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.25 2.00 10 0 None 0.97 0.77 0.66
Cluster variables 9 16 11.12 9.00 89 185,178,000 19.04 2.80 0.25 0.90
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 12 8.00 8.00 64 0 None 3.46 0.43 0.90
Dual tree decomposition
Number of clusters: 5
Number of leaves: 2
Tree depth: 2
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 5 5 5.00 5.00 25 3,125 8.05 0.00 0.00 0.00
Cluster variables 6 6 6.00 6.00 30 7,776 8.96 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 5 4.00 5.00 20 0 None 2.00 0.50 0.50
Primal graph
Density: 33.33%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.43 0.43 0.43 10.71 0.00 -21.18 0.00 0.00 0.00
Degree 8 8 8.00 8.00 200 3.78e+22 51.99 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Triangulated primal graph
Density: 70.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.86 0.83 21.43 0.02 -3.94 0.08 0.09 1.34
Degree 8 21 16.80 19.00 420 1.07e+30 69.14 4.82 0.29 1.34
Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Dual graph
Density: 55.56%
MCB compute time (ms): 0
MCB cycles: 16
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_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 5 5 5.00 5.00 50 9,765,620 16.09 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 20 1,024 6.93 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 64 4.29e+09 22.18 0.00 0.00 0.00
Minimal dual graph
Density: 55.56%
MCB compute time (ms): 0
MCB cycles: 16
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 5 5 5.00 5.00 50 9,765,620 16.09 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 20 1,024 6.93 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 64 4.29e+09 22.18 0.00 0.00 0.00
Triangulated dual graph
Density: 77.78%
Triangles: 60
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.86 0.86 8.61 0.20 -1.63 0.14 0.16 0.69
Degree 5 9 7.00 7.00 70 184,528,000 19.03 2.00 0.29 0.69
Eccentricity 1 2 1.50 1.50 15 32 3.47 0.50 0.33 0.69
Triangulated minimal dual graph
Density: 77.78%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.86 0.86 8.61 0.20 -1.63 0.14 0.16 0.69
Degree 5 9 7.00 7.00 70 184,528,000 19.03 2.00 0.29 0.69
Eccentricity 1 2 1.50 1.50 15 32 3.47 0.50 0.33 0.69
Incidence graph
Density: 8.40%
MCB compute time (ms): 1
MCB cycles: 16
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/wordsVg/crossword-m1c-words-vg5-5_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 5 2.86 2.00 100 3.28e+14 33.42 1.36 0.47 0.60
Eccentricity 4 4 4.00 4.00 140 1.18e+21 48.52 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 128 2.81e+14 33.27 0.00 0.00 0.00