Instance: crossword-m1c-words-vg9-11_ext
Number of variables: 99
Number of constraints: 20
Satisfiable: None
Timestamp: 2017-10-27 10:58:59
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 99
Number of constraints: 20
General features
Coarse blocks: 4,918
Value tables: 99
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 9 11 9.90 9.00 198 7.40e+19 45.75 0.99 0.10 0.69
Coarse blocks size 1 1,620 184.15 105.00 905,652 MAX VALUE 21,410.30 223.90 1.22 5.44
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -67,577.60 0.00 1.13 4.96
Tightness 1.00 1.00 1.00 1.00 20.00 1.00 -0.00 0.00 0.00 0.69
Tuples 3,069 6,079 4,724.50 6,079.00 94,490 MAX VALUE 168.10 1,497.46 0.32 0.69
Values 26 26 26.00 26.00 2,574 MAX VALUE 322.55 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 198 6.34e+29 68.62 0.00 0.00 0.00
Value table partitions 24 26 25.75 26.00 2,549 MAX VALUE 321.56 0.52 0.02 0.62
Tree decomposition
Number of clusters: 18
Number of leaves: 9
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.11 1.50 20 0 None 0.94 0.84 0.96
Cluster variables 19 63 29.89 22.50 538 6.50e+25 59.44 14.22 0.48 1.53
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 49 24.39 18.00 439 0 None 11.37 0.47 1.53
Dual tree decomposition
Number of clusters: 11
Number of leaves: 2
Tree depth: 5
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 9 9 9.00 9.00 99 3.14e+10 24.17 0.00 0.00 0.00
Cluster variables 10 10 10.00 10.00 110 1.00e+11 25.33 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 9 8.18 9.00 90 0 None 2.59 0.32 0.30
Primal graph
Density: 18.37%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.48 0.48 0.48 47.24 0.00 -73.26 0.00 0.00 0.00
Degree 18 18 18.00 18.00 1,782 MAX VALUE 286.15 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 198 6.34e+29 68.62 0.00 0.00 0.00
Triangulated primal graph
Density: 67.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.88 0.86 86.68 0.00 -13.37 0.06 0.07 3.12
Degree 18 86 66.55 74.00 6,588 MAX VALUE 407.05 21.62 0.32 2.83
Eccentricity 2 2 2.00 2.00 198 6.34e+29 68.62 0.00 0.00 0.00
Dual graph
Density: 52.11%
MCB compute time (ms): 2
MCB cycles: 80
Triangles: 0
Dot-file path: None
PDF-file path: None

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 9 11 9.90 9.00 198 7.40e+19 45.75 0.99 0.10 0.69
Eccentricity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 320 MAX VALUE 110.90 0.00 0.00 0.00
Minimal dual graph
Density: 52.11%
MCB compute time (ms): 2
MCB cycles: 80
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 9 11 9.90 9.00 198 7.40e+19 45.75 0.99 0.10 0.69
Eccentricity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 320 MAX VALUE 110.90 0.00 0.00 0.00
Triangulated dual graph
Density: 71.05%
Triangles: 480
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.86 1.00 17.11 0.03 -3.49 0.16 0.19 0.69
Degree 9 19 13.50 9.00 270 1.01e+22 50.67 4.97 0.37 0.69
Eccentricity 1 2 1.55 2.00 31 2,048 7.62 0.50 0.32 0.69
Triangulated minimal dual graph
Density: 71.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.86 1.00 17.11 0.03 -3.49 0.16 0.19 0.69
Degree 9 19 13.50 9.00 270 1.01e+22 50.67 4.97 0.37 0.69
Eccentricity 1 2 1.55 2.00 31 2,048 7.62 0.50 0.32 0.69
Incidence graph
Density: 2.82%
MCB compute time (ms): 27
MCB cycles: 80
Dot-file path: None
PDF-file path: None
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 11 3.33 2.00 396 MAX VALUE 114.37 2.98 0.90 0.57
Eccentricity 4 4 4.00 4.00 476 MAX VALUE 164.97 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 640 MAX VALUE 166.35 0.00 0.00 0.00