Instance: normalized-crossword-m1c-words-vg4-8-ext
Number of variables: 32
Number of constraints: 12
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: 32
Number of constraints: 12
General features
Coarse blocks: 1,624
Value tables: 32
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 4 8 5.33 4.00 64 268,435,000 19.41 1.89 0.35 0.64
Coarse blocks size 1 1,851 183.47 98.00 297,952 MAX VALUE 7,019.15 248.09 1.35 5.14
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -14,224.40 0.00 1.09 5.02
Tightness 1.00 1.00 1.00 1.00 11.96 0.96 -0.04 0.00 0.00 0.64
Tuples 2,237 7,074 3,849.33 2,237.00 46,192 MAX VALUE 97.16 2,280.18 0.59 0.64
Values 26 26 26.00 26.00 832 MAX VALUE 104.26 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 64 4.29e+09 22.18 0.00 0.00 0.00
Value table partitions 25 26 25.94 26.00 830 MAX VALUE 104.18 0.24 0.01 0.23
Tree decomposition
Number of clusters: 10
Number of leaves: 4
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.20 1.00 12 0 None 0.75 0.62 1.05
Cluster variables 11 20 13.60 13.00 136 1.67e+11 25.84 3.32 0.24 1.05
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 16 10.40 11.00 104 0 None 3.88 0.37 1.19
Dual tree decomposition
Number of clusters: 8
Number of leaves: 2
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 4 4 4.00 4.00 32 65,536 11.09 0.00 0.00 0.00
Cluster variables 5 5 5.00 5.00 40 390,625 12.88 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 4 3.50 4.00 28 0 None 1.32 0.38 0.38
Primal graph
Density: 32.26%
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.53 0.53 0.53 0.53 17.07 0.00 -20.12 0.00 0.00 0.00
Degree 10 10 10.00 10.00 320 1.00e+32 73.68 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 70.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.86 0.83 27.59 0.01 -4.86 0.07 0.09 1.73
Degree 10 27 21.75 24.50 696 MAX VALUE 96.81 6.20 0.29 1.73
Eccentricity None None None None None None None None None None
Dual graph
Density: 48.48%
MCB compute time (ms): 0
MCB cycles: 21
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 4 8 5.33 4.00 64 268,435,000 19.41 1.89 0.35 0.64
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 84 4.40e+12 29.11 0.00 0.00 0.00
Minimal dual graph
Density: 48.48%
MCB compute time (ms): 0
MCB cycles: 21
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 4 8 5.33 4.00 64 268,435,000 19.41 1.89 0.35 0.64
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 84 4.40e+12 29.11 0.00 0.00 0.00
Triangulated dual graph
Density: 57.58%
Triangles: 52
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.83 1.00 9.96 0.06 -2.85 0.24 0.29 0.64
Degree 4 11 6.33 4.00 76 959,513,000 20.68 3.30 0.52 0.64
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 57.58%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.83 1.00 9.96 0.06 -2.85 0.24 0.29 0.64
Degree 4 11 6.33 4.00 76 959,513,000 20.68 3.30 0.52 0.64
Eccentricity None None None None None None None None None None
Incidence graph
Density: 6.77%
MCB compute time (ms): 1
MCB cycles: 21
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 8 2.91 2.00 128 1.15e+18 41.59 1.78 0.61 0.76
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 168 9.22e+18 43.67 0.00 0.00 0.00