Instance: normalized-crossword-m1c-lex-vg6-7-ext
Number of variables: 42
Number of constraints: 13
Satisfiable: True
Timestamp: 2025-07-20 22:08:35
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 42
Number of constraints: 13
General features
Coarse blocks: 2,121
Value tables: 42
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 7 6.46 6.00 84 3.29e+10 24.22 0.50 0.08 0.69
Coarse blocks size 1 875 156.32 108.00 331,548 MAX VALUE 9,352.04 154.47 0.99 5.24
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -15,567.40 0.00 0.95 4.85
Tightness 1.00 1.00 1.00 1.00 13.00 1.00 -0.00 0.00 0.00 0.69
Tuples 3,852 4,042 3,939.69 3,852.00 51,216 MAX VALUE 107.62 94.72 0.02 0.69
Values 26 26 26.00 26.00 1,092 MAX VALUE 136.84 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 84 4.40e+12 29.11 0.00 0.00 0.00
Value table partitions 25 26 25.86 26.00 1,086 MAX VALUE 136.60 0.35 0.01 0.41
Tree decomposition
Number of clusters: 11
Number of leaves: 6
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.18 2.00 13 0 None 0.94 0.79 0.92
Variables per cluster 12 27 16.36 12.00 180 1.29e+13 30.19 5.47 0.33 1.29
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 21 12.55 11.00 138 0 None 5.30 0.42 1.29
Clusters per var 1 6 4.29 5.00 180 1.41e+24 55.61 1.68 0.39 1.61
Dual tree decomposition
Number of clusters: 7
Number of leaves: 2
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 6 6.00 6.00 42 279,936 12.54 0.00 0.00 0.00
Variables per cluster 7 7 7.00 7.00 49 823,543 13.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 6 5.14 6.00 36 0 None 2.10 0.41 0.41
Clusters per variable 1 7 3.77 1.00 49 117,649 11.68 2.99 0.79 0.69
Primal graph
Density: 26.83%
MCB compute time (ms): 5
MCB cycles: 190
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.45 0.45 0.45 19.09 0.00 -33.12 0.00 0.00 0.00
Degree 11 11 11.00 11.00 462 MAX VALUE 100.71 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.16 3.00 600 MAX VALUE 217.37 0.36 0.12 0.44
Triangulated primal graph
Density: 69.22%
MCB compute time (ms): 21
MCB cycles: 587
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.87 0.85 36.40 0.00 -6.13 0.07 0.08 2.33
Degree 11 36 28.38 31.50 1,192 MAX VALUE 137.71 8.59 0.30 2.24
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 1,761 MAX VALUE 644.88 0.00 0.00 0.00
Dual graph
Density: 53.85%
MCB compute time (ms): 0
MCB cycles: 30
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Dual1.json
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 6 7 6.46 6.00 84 3.29e+10 24.22 0.50 0.08 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00
Minimal dual graph
Density: 53.85%
MCB compute time (ms): 0
MCB cycles: 30
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 6 7 6.46 6.00 84 3.29e+10 24.22 0.50 0.08 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00
Triangulated dual graph
Density: 73.08%
Triangles: 125
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.85 1.00 11.09 0.10 -2.30 0.16 0.19 0.69
Degree 6 12 8.77 6.00 114 8.36e+11 27.45 2.99 0.34 0.69
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 73.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.85 1.00 11.09 0.10 -2.30 0.16 0.19 0.69
Degree 6 12 8.77 6.00 114 8.36e+11 27.45 2.99 0.34 0.69
Eccentricity None None None None None None None None None None
Incidence graph
Density: 5.66%
MCB compute time (ms): 1
MCB cycles: 30
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-7-ext/Incidence1.json
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 7 3.05 2.00 168 1.45e+23 53.33 1.91 0.63 0.71
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 240 1.24e+27 62.38 0.00 0.00 0.00