Instance: normalized-crossword-m1c-words-vg5-6-ext
Number of variables: 30
Number of constraints: 11
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: 30
Number of constraints: 11
General features
Coarse blocks: 1,533
Value tables: 30
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 6 5.45 5.00 60 121,500,000 18.62 0.50 0.09 0.69
Coarse blocks size 1 2,107 202.43 122.00 310,320 MAX VALUE 6,976.48 239.09 1.18 5.22
Relational linkage 0.00 0.00 0.00 0.00 0.02 0.00 -8,724.25 0.00 1.16 4.84
Tightness 1.00 1.00 1.00 1.00 11.00 1.00 -0.00 0.00 0.00 0.69
Tuples 4,174 6,170 5,081.27 4,174.00 55,894 MAX VALUE 93.66 993.87 0.20 0.69
Values 26 26 26.00 26.00 780 MAX VALUE 97.74 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 60 1.07e+09 20.79 0.00 0.00 0.00
Value table partitions 24 26 25.90 26.00 777 MAX VALUE 97.62 0.40 0.02 0.29
Tree decomposition
Number of clusters: 9
Number of leaves: 5
Tree depth: 3
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.22 2.00 11 0 None 0.92 0.75 0.94
Cluster variables 10 19 12.89 10.00 116 7.11e+09 22.69 3.57 0.28 1.30
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 15 9.56 9.00 86 0 None 4.06 0.42 1.30
Dual tree decomposition
Number of clusters: 6
Number of leaves: 2
Tree depth: 3
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 5 5 5.00 5.00 30 15,625 9.66 0.00 0.00 0.00
Cluster variables 6 6 6.00 6.00 36 46,656 10.75 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.17 5.00 25 0 None 1.86 0.45 0.45
Primal graph
Density: 31.03%
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.44 0.44 0.44 0.44 13.33 0.00 -24.33 0.00 0.00 0.00
Degree 9 9 9.00 9.00 270 4.24e+28 65.92 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 70.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.86 0.85 25.87 0.01 -4.55 0.07 0.08 2.35
Degree 9 26 20.33 22.50 610 3.09e+38 88.63 5.88 0.29 2.16
Eccentricity None None None None None None None None None None
Dual graph
Density: 54.55%
MCB compute time (ms): 0
MCB cycles: 20
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 5 6 5.45 5.00 60 121,500,000 18.62 0.50 0.09 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 80 1.10e+12 27.73 0.00 0.00 0.00
Minimal dual graph
Density: 54.55%
MCB compute time (ms): 0
MCB cycles: 20
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 6 5.45 5.00 60 121,500,000 18.62 0.50 0.09 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 80 1.10e+12 27.73 0.00 0.00 0.00
Triangulated dual graph
Density: 72.73%
Triangles: 70
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.85 1.00 9.33 0.13 -2.03 0.17 0.20 0.69
Degree 5 10 7.27 5.00 80 1.56e+09 21.17 2.49 0.34 0.69
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 72.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.85 1.00 9.33 0.13 -2.03 0.17 0.20 0.69
Degree 5 10 7.27 5.00 80 1.56e+09 21.17 2.49 0.34 0.69
Eccentricity None None None None None None None None None None
Incidence graph
Density: 7.32%
MCB compute time (ms): 0
MCB cycles: 20
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 6 2.93 2.00 120 1.30e+17 39.41 1.55 0.53 0.77
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 160 1.15e+18 41.59 0.00 0.00 0.00