Instance: normalized-crossword-m1c-words-vg14-15-ext
Number of variables: 210
Number of constraints: 29
Satisfiable: True
Timestamp: 2025-06-17 13:07:18
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 210
Number of constraints: 29
General features
Coarse blocks: 8,531
Value tables: 210
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 14 15 14.48 14.00 420 4.54e+33 77.50 0.50 0.03 0.69
Coarse blocks size 1 209 20.26 11.00 172,830 MAX VALUE 19,937.70 23.85 1.18 3.82
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -161,683.00 0.00 1.02 3.49
Tightness 1.00 1.00 1.00 1.00 29.00 1.00 0.00 0.00 0.00 0.00
Tuples 278 545 416.10 545.00 12,067 MAX VALUE 173.30 133.42 0.32 0.69
Values 26 26 26.00 26.00 5,460 MAX VALUE 684.20 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 420 MAX VALUE 145.56 0.00 0.00 0.00
Value table partitions 13 25 22.89 23.00 4,807 MAX VALUE 656.90 1.56 0.07 1.68
Tree decomposition
Number of clusters: 27
Number of leaves: 14
Tree depth: 4
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.07 2.00 29 0 None 0.98 0.91 0.82
Cluster variables 28 136 49.74 28.00 1,343 MAX VALUE 101.49 30.57 0.61 1.41
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 104 41.96 27.00 1,133 0 None 23.39 0.56 1.41
Dual tree decomposition
Number of clusters: 15
Number of leaves: 2
Tree depth: 7
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 14 14 14.00 14.00 210 1.56e+17 39.59 0.00 0.00 0.00
Cluster variables 15 15 15.00 15.00 225 4.38e+17 40.62 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 14 13.07 14.00 196 0 None 3.49 0.27 0.24
Primal graph
Density: 12.92%
Dot-file path: None
PDF-file path: None
JSON-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 101.11 0.00 -153.49 0.00 0.00 0.00
Degree 27 27 27.00 27.00 5,670 MAX VALUE 692.13 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 67.24%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.83 1.00 0.88 0.87 185.00 0.00 -26.98 0.05 0.06 2.18
Degree 27 177 140.53 157.00 29,512 MAX VALUE 1,016.98 47.55 0.34 2.07
Eccentricity None None None None None None None None None None
Dual graph
Density: 51.72%
MCB compute time (ms): 2
MCB cycles: 182
Triangles: None
Dot-file path: None
PDF-file path: None

JSON-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 14 15 14.48 14.00 420 4.54e+33 77.50 0.50 0.03 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 728 MAX VALUE 252.31 0.00 0.00 0.00
Minimal dual graph
Density: 51.72%
MCB compute time (ms): 2
MCB cycles: 182
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 14 15 14.48 14.00 420 4.54e+33 77.50 0.50 0.03 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 728 MAX VALUE 252.31 0.00 0.00 0.00
Triangulated dual graph
Density: 74.14%
Triangles: 1,729
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.87 1.00 25.11 0.01 -4.56 0.14 0.16 0.69
Degree 14 28 20.76 14.00 602 2.83e+37 86.24 7.00 0.34 0.69
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 74.14%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.87 1.00 25.11 0.01 -4.56 0.14 0.16 0.69
Degree 14 28 20.76 14.00 602 2.83e+37 86.24 7.00 0.34 0.69
Eccentricity None None None None None None None None None None
Incidence graph
Density: 1.48%
MCB compute time (ms): 75
MCB cycles: 182
Dot-file path: None
PDF-file path: None
JSON-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 15 3.51 2.00 840 MAX VALUE 223.06 4.08 1.16 0.45
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 1,456 MAX VALUE 378.46 0.00 0.00 0.00