Instance: normalized-crossword-m1c-lex-vg9-12-ext
Number of variables: 108
Number of constraints: 21
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: 108
Number of constraints: 21
General features
Coarse blocks: 5,133
Value tables: 108
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 9 12 10.29 9.00 216 1.46e+21 48.73 1.48 0.14 0.68
Coarse blocks size 1 852 77.45 35.00 397,548 MAX VALUE 17,515.20 105.48 1.36 4.79
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -78,469.40 0.00 0.96 4.05
Tightness 1.00 1.00 1.00 1.00 21.00 1.00 -0.00 0.00 0.00 0.68
Tuples 593 3,088 2,018.71 3,088.00 42,393 MAX VALUE 153.89 1,234.70 0.61 0.68
Values 26 26 26.00 26.00 2,808 MAX VALUE 351.87 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 216 3.25e+32 74.86 0.00 0.00 0.00
Value table partitions 24 26 25.59 26.00 2,764 MAX VALUE 350.13 0.71 0.03 0.78
Tree decomposition
Number of clusters: 19
Number of leaves: 9
Tree depth: 4
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.11 1.00 21 0 None 0.91 0.82 1.01
Variables per cluster 20 68 31.84 27.00 605 5.47e+27 63.87 15.58 0.49 1.56
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 54 26.16 19.00 497 0 None 12.36 0.47 1.56
Clusters per var 1 8 5.60 6.00 605 MAX VALUE 173.89 1.96 0.35 1.79
Dual tree decomposition
Number of clusters: 12
Number of leaves: 2
Tree depth: 6
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 9 9 9.00 9.00 108 2.82e+11 26.37 0.00 0.00 0.00
Variables per cluster 10 10 10.00 10.00 120 1.00e+12 27.63 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 9 8.25 9.00 99 0 None 2.49 0.30 0.29
Clusters per variable 1 12 5.71 1.00 120 5.16e+09 22.36 5.44 0.95 0.68
Primal graph
Density: 17.76%
MCB compute time (ms): 108
MCB cycles: 919
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-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 52.42 0.00 -78.06 0.00 0.00 0.00
Degree 19 19 19.00 19.00 2,052 MAX VALUE 318.00 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.10 3.00 2,845 MAX VALUE 1,034.94 0.29 0.10 0.32
Triangulated primal graph
Density: 68.07%
MCB compute time (ms): 1,211
MCB cycles: 4,193
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.88 0.87 94.70 0.00 -14.41 0.06 0.06 2.97
Degree 19 94 72.83 82.00 7,866 MAX VALUE 453.71 23.65 0.32 2.92
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 12,579 MAX VALUE 4,606.48 0.00 0.00 0.00
Dual graph
Density: 51.43%
MCB compute time (ms): 0
MCB cycles: 88
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-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 9 12 10.29 9.00 216 1.46e+21 48.73 1.48 0.14 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 352 MAX VALUE 121.99 0.00 0.00 0.00
Minimal dual graph
Density: 51.43%
MCB compute time (ms): 0
MCB cycles: 88
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 9 12 10.29 9.00 216 1.46e+21 48.73 1.48 0.14 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 352 MAX VALUE 121.99 0.00 0.00 0.00
Triangulated dual graph
Density: 68.57%
Triangles: 516
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.85 1.00 17.87 0.02 -3.84 0.17 0.20 0.68
Degree 9 20 13.71 9.00 288 1.45e+23 53.33 5.44 0.40 0.68
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 68.57%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.85 1.00 17.87 0.02 -3.84 0.17 0.20 0.68
Degree 9 20 13.71 9.00 288 1.45e+23 53.33 5.44 0.40 0.68
Eccentricity None None None None None None None None None None
Incidence graph
Density: 2.62%
MCB compute time (ms): 13
MCB cycles: 88
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-12-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 12 3.35 2.00 432 MAX VALUE 123.59 3.12 0.93 0.56
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 704 MAX VALUE 182.99 0.00 0.00 0.00