Instance: normalized-crossword-m1c-lex-vg7-9-ext
Number of variables: 63
Number of constraints: 16
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: 63
Number of constraints: 16
General features
Coarse blocks: 3,178
Value tables: 63
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 9 7.88 7.00 126 1.93e+14 32.89 0.99 0.13 0.69
Coarse blocks size 1 875 141.34 95.00 449,190 MAX VALUE 13,501.80 143.54 1.02 5.22
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -34,045.20 0.00 1.02 4.87
Tightness 1.00 1.00 1.00 1.00 16.00 1.00 -0.00 0.00 0.00 0.69
Tuples 3,088 4,042 3,624.62 4,042.00 57,994 MAX VALUE 130.99 473.26 0.13 0.69
Values 26 26 26.00 26.00 1,638 MAX VALUE 205.26 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 126 9.22e+18 43.67 0.00 0.00 0.00
Value table partitions 24 26 25.84 26.00 1,628 MAX VALUE 204.86 0.51 0.02 0.38
Tree decomposition
Number of clusters: 14
Number of leaves: 7
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.14 1.50 16 0 None 0.91 0.80 0.99
Variables per cluster 15 41 21.79 17.50 305 2.10e+18 42.19 8.59 0.39 1.47
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 31 17.29 14.00 242 0 None 7.33 0.42 1.47
Clusters per var 1 7 4.84 6.00 305 MAX VALUE 91.61 1.79 0.37 1.64
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-vg7-9-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 7 7.00 7.00 63 40,353,600 17.51 0.00 0.00 0.00
Variables per cluster 8 8 8.00 8.00 72 134,218,000 18.71 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 7 6.22 7.00 56 0 None 2.20 0.35 0.35
Clusters per variable 1 9 4.50 1.00 72 4,782,970 15.38 3.97 0.88 0.69
Primal graph
Density: 22.58%
MCB compute time (ms): 16
MCB cycles: 379
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.47 0.47 0.47 29.77 0.00 -47.23 0.00 0.00 0.00
Degree 14 14 14.00 14.00 882 MAX VALUE 166.26 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 1,185 MAX VALUE 430.18 0.33 0.11 0.38
Triangulated primal graph
Density: 68.56%
MCB compute time (ms): 55
MCB cycles: 1,730
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.87 0.84 54.91 0.00 -8.81 0.06 0.07 2.85
Degree 14 54 42.51 48.00 2,678 MAX VALUE 231.45 13.36 0.31 2.45
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 5,190 MAX VALUE 1,900.60 0.00 0.00 0.00
Dual graph
Density: 52.50%
MCB compute time (ms): 0
MCB cycles: 48
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-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 7 9 7.88 7.00 126 1.93e+14 32.89 0.99 0.13 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 192 7.92e+28 66.54 0.00 0.00 0.00
Minimal dual graph
Density: 52.50%
MCB compute time (ms): 0
MCB cycles: 48
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 7 9 7.88 7.00 126 1.93e+14 32.89 0.99 0.13 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 192 7.92e+28 66.54 0.00 0.00 0.00
Triangulated dual graph
Density: 70.00%
Triangles: 224
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.85 1.00 13.60 0.05 -2.94 0.17 0.20 0.69
Degree 7 15 10.50 7.00 168 6.89e+15 36.47 3.97 0.38 0.69
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 70.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.85 1.00 13.60 0.05 -2.94 0.17 0.20 0.69
Degree 7 15 10.50 7.00 168 6.89e+15 36.47 3.97 0.38 0.69
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.09%
MCB compute time (ms): 4
MCB cycles: 48
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-9-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg7-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.19 2.00 252 1.78e+33 76.56 2.40 0.75 0.64
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 384 MAX VALUE 99.81 0.00 0.00 0.00