Instance: normalized-crossword-m1c-lex-vg6-9-ext
Number of variables: 54
Number of constraints: 15
Satisfiable: True
Timestamp: 2025-07-20 22:08:36
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 54
Number of constraints: 15
General features
Coarse blocks: 2,751
Value tables: 54
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 9 7.20 6.00 108 5.36e+12 29.31 1.47 0.20 0.67
Coarse blocks size 1 852 136.23 87.00 374,760 MAX VALUE 11,519.70 141.00 1.04 5.15
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -29,816.80 0.00 1.03 4.85
Tightness 1.00 1.00 1.00 1.00 15.00 1.00 -0.00 0.00 0.00 0.67
Tuples 3,088 3,852 3,546.40 3,852.00 53,196 MAX VALUE 122.52 374.28 0.11 0.67
Values 26 26 26.00 26.00 1,404 MAX VALUE 175.94 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 108 1.80e+16 37.43 0.00 0.00 0.00
Value table partitions 25 26 25.85 26.00 1,396 MAX VALUE 175.62 0.36 0.01 0.42
Tree decomposition
Number of clusters: 13
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-9-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.15 1.00 15 0 None 0.86 0.75 1.06
Variables per cluster 14 34 19.69 18.00 256 3.19e+16 38.00 7.11 0.36 1.48
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 27 15.54 13.00 202 0 None 6.39 0.41 1.48
Clusters per var 1 7 4.74 5.00 256 3.23e+33 77.16 1.82 0.38 1.74
Dual tree decomposition
Number of clusters: 9
Number of leaves: 2
Tree depth: 4
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 6 6.00 6.00 54 10,077,700 16.13 0.00 0.00 0.00
Variables per cluster 7 7 7.00 7.00 63 40,353,600 17.51 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.33 6.00 48 0 None 1.89 0.35 0.35
Clusters per variable 1 9 4.20 1.00 63 531,441 13.18 3.92 0.93 0.67
Primal graph
Density: 24.53%
MCB compute time (ms): 9
MCB cycles: 298
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.49 0.49 0.49 26.31 0.00 -38.83 0.00 0.00 0.00
Degree 13 13 13.00 13.00 702 MAX VALUE 138.51 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.13 3.00 934 MAX VALUE 338.89 0.34 0.11 0.39
Triangulated primal graph
Density: 68.97%
MCB compute time (ms): 31
MCB cycles: 1,210
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.87 0.86 46.96 0.00 -7.68 0.06 0.07 2.98
Degree 13 47 36.56 41.00 1,974 MAX VALUE 190.54 11.23 0.31 2.63
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 3,630 MAX VALUE 1,329.32 0.00 0.00 0.00
Dual graph
Density: 51.43%
MCB compute time (ms): 0
MCB cycles: 40
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-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 9 7.20 6.00 108 5.36e+12 29.31 1.47 0.20 0.67
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 160 1.21e+24 55.45 0.00 0.00 0.00
Minimal dual graph
Density: 51.43%
MCB compute time (ms): 0
MCB cycles: 40
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 9 7.20 6.00 108 5.36e+12 29.31 1.47 0.20 0.67
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 160 1.21e+24 55.45 0.00 0.00 0.00
Triangulated dual graph
Density: 65.71%
Triangles: 155
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.84 1.00 12.63 0.05 -3.02 0.19 0.23 0.67
Degree 6 14 9.20 6.00 138 7.59e+13 31.96 3.92 0.43 0.67
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 65.71%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.84 1.00 12.63 0.05 -3.02 0.19 0.23 0.67
Degree 6 14 9.20 6.00 138 7.59e+13 31.96 3.92 0.43 0.67
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.60%
MCB compute time (ms): 3
MCB cycles: 40
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-9-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 9 3.13 2.00 216 9.65e+28 66.74 2.25 0.72 0.67
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 320 1.33e+36 83.18 0.00 0.00 0.00