Instance: crossword-m1c-words-vg12-12_ext
Number of variables: 144
Number of constraints: 24
Satisfiable: None
Timestamp: 2017-10-27 10:59:01
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 144
Number of constraints: 24
General features
Coarse blocks: 6,864
Value tables: 144
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 12 12 12.00 12.00 288 7.95e+25 59.64 0.00 0.00 0.00
Coarse blocks size 1 624 78.92 44.50 541,728 MAX VALUE 24,266.60 90.76 1.15 4.72
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -105,924.00 0.00 1.11 4.45
Tightness 1.00 1.00 1.00 1.00 24.00 1.00 -0.00 0.00 0.00 0.00
Tuples 1,881 1,881 1,881.00 1,881.00 45,144 MAX VALUE 180.95 0.00 0.00 0.00
Values 26 26 26.00 26.00 3,744 MAX VALUE 469.17 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 288 MAX VALUE 99.81 0.00 0.00 0.00
Value table partitions 17 26 25.14 25.00 3,620 MAX VALUE 464.13 1.21 0.05 1.24
Tree decomposition
Number of clusters: 22
Number of leaves: 12
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.09 2.00 24 0 None 1.00 0.91 0.69
Cluster variables 23 88 38.55 23.00 848 4.83e+33 77.56 21.43 0.56 1.12
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 72 32.00 22.00 704 0 None 16.86 0.53 1.18
Dual tree decomposition
Number of clusters: 12
Number of leaves: 2
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 12 12.00 12.00 144 8.92e+12 29.82 0.00 0.00 0.00
Cluster variables 13 13 13.00 13.00 156 2.33e+13 30.78 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 12 11.00 12.00 132 0 None 3.32 0.30 0.29
Primal graph
Density: 15.38%
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 68.57 0.00 -106.84 0.00 0.00 0.00
Degree 22 22 22.00 22.00 3,168 MAX VALUE 445.11 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 288 MAX VALUE 99.81 0.00 0.00 0.00
Triangulated primal graph
Density: 67.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.88 0.88 126.41 0.00 -19.06 0.06 0.07 1.82
Degree 22 125 96.25 105.00 13,860 MAX VALUE 643.84 32.10 0.33 1.82
Eccentricity 2 2 2.00 2.00 288 MAX VALUE 99.81 0.00 0.00 0.00
Dual graph
Density: 52.17%
MCB compute time (ms): 4
MCB cycles: 121
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 12 12 12.00 12.00 288 7.95e+25 59.64 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 484 MAX VALUE 167.74 0.00 0.00 0.00
Minimal dual graph
Density: 52.17%
MCB compute time (ms): 4
MCB cycles: 121
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 12 12 12.00 12.00 288 7.95e+25 59.64 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 484 MAX VALUE 167.74 0.00 0.00 0.00
Triangulated dual graph
Density: 76.09%
Triangles: 1,012
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.87 0.87 20.87 0.03 -3.63 0.13 0.15 0.69
Degree 12 23 17.50 17.50 420 1.95e+29 67.44 5.50 0.31 0.69
Eccentricity 1 2 1.50 1.50 36 4,096 8.32 0.50 0.33 0.69
Triangulated minimal dual graph
Density: 76.09%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.87 0.87 20.87 0.03 -3.63 0.13 0.15 0.69
Degree 12 23 17.50 17.50 420 1.95e+29 67.44 5.50 0.31 0.69
Eccentricity 1 2 1.50 1.50 36 4,096 8.32 0.50 0.33 0.69
Incidence graph
Density: 2.05%
MCB compute time (ms): 55
MCB cycles: 121
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 12 3.43 2.00 576 MAX VALUE 159.45 3.50 1.02 0.41
Eccentricity 4 4 4.00 4.00 672 MAX VALUE 232.90 0.00 0.00 0.00
MCB cycle size 8 8 8.00 8.00 968 MAX VALUE 251.61 0.00 0.00 0.00