Instance: crossword-m1c-words-vg13-17_ext
Number of variables: 221
Number of constraints: 30
Satisfiable: None
Timestamp: 2017-10-27 10:59:07
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 221
Number of constraints: 30
General features
Coarse blocks: 8,019
Value tables: 221
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 13 17 14.73 13.00 442 8.57e+34 80.44 1.98 0.13 0.68
Coarse blocks size 1 386 32.88 9.00 263,653 MAX VALUE 18,956.40 50.76 1.54 3.90
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -151,465.00 0.00 0.86 2.24
Tightness 1.00 1.00 1.00 1.00 30.00 1.00 -0.00 0.00 0.00 0.68
Tuples 57 1,136 668.43 1,136.00 20,053 MAX VALUE 172.16 534.68 0.80 0.68
Values 26 26 26.00 26.00 5,746 MAX VALUE 720.04 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 442 MAX VALUE 153.19 0.00 0.00 0.00
Value table partitions 16 26 22.86 23.00 5,052 MAX VALUE 690.74 1.96 0.09 1.94
Tree decomposition
Number of clusters: 28
Number of leaves: 13
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.07 1.00 30 0 None 0.92 0.86 1.00
Cluster variables 29 141 51.79 40.00 1,450 MAX VALUE 106.44 31.83 0.61 1.75
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 110 43.89 33.50 1,229 0 None 24.28 0.55 1.75
Dual tree decomposition
Number of clusters: 17
Number of leaves: 2
Tree depth: 8
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 13 13 13.00 13.00 221 8.65e+18 43.60 0.00 0.00 0.00
Cluster variables 14 14 14.00 14.00 238 3.05e+19 44.86 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 13 12.24 13.00 208 0 None 3.06 0.25 0.22
Primal graph
Density: 12.73%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.49 0.49 0.49 108.75 0.00 -156.72 0.00 0.00 0.00
Degree 28 28 28.00 28.00 6,188 MAX VALUE 736.42 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 442 MAX VALUE 153.19 0.00 0.00 0.00
Triangulated primal graph
Density: 67.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.88 0.87 194.76 0.00 -28.31 0.05 0.06 3.50
Degree 28 190 148.36 164.00 32,788 MAX VALUE 1,082.54 49.88 0.34 3.13
Eccentricity 2 2 2.00 2.00 442 MAX VALUE 153.19 0.00 0.00 0.00
Dual graph
Density: 50.80%
MCB compute time (ms): 10
MCB cycles: 192
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 13 17 14.73 13.00 442 8.57e+34 80.44 1.98 0.13 0.68
Eccentricity 2 2 2.00 2.00 60 1.07e+09 20.79 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 768 MAX VALUE 266.17 0.00 0.00 0.00
Minimal dual graph
Density: 50.80%
MCB compute time (ms): 9
MCB cycles: 192
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 13 17 14.73 13.00 442 8.57e+34 80.44 1.98 0.13 0.68
Eccentricity 2 2 2.00 2.00 60 1.07e+09 20.79 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 768 MAX VALUE 266.17 0.00 0.00 0.00
Triangulated dual graph
Density: 68.74%
Triangles: 1,612
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.85 1.00 25.65 0.00 -5.30 0.17 0.19 0.68
Degree 13 29 19.93 13.00 598 8.88e+37 87.38 7.93 0.40 0.68
Eccentricity 1 2 1.57 2.00 47 131,072 11.78 0.50 0.32 0.68
Triangulated minimal dual graph
Density: 68.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.85 1.00 25.65 0.00 -5.30 0.17 0.19 0.68
Degree 13 29 19.93 13.00 598 8.88e+37 87.38 7.93 0.40 0.68
Eccentricity 1 2 1.57 2.00 47 131,072 11.78 0.50 0.32 0.68
Incidence graph
Density: 1.41%
MCB compute time (ms): 132
MCB cycles: 192
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 17 3.52 2.00 884 MAX VALUE 233.62 4.19 1.19 0.45
Eccentricity 4 4 4.00 4.00 1,004 MAX VALUE 347.96 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 1,536 MAX VALUE 399.25 0.00 0.00 0.00