Instance: normalized-crossword-m1c-lex-vg9-13-ext
Number of variables: 117
Number of constraints: 22
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: 117
Number of constraints: 22
General features
Coarse blocks: 5,344
Value tables: 117
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 9 13 10.64 9.00 234 2.70e+22 51.65 1.97 0.18 0.68
Coarse blocks size 1 852 73.72 23.00 393,939 MAX VALUE 17,002.20 108.95 1.48 4.57
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -87,107.40 0.00 0.94 3.44
Tightness 1.00 1.00 1.00 1.00 22.00 1.00 -0.00 0.00 0.00 0.68
Tuples 279 3,088 1,938.86 3,088.00 42,655 MAX VALUE 155.14 1,381.09 0.71 0.68
Values 26 26 26.00 26.00 3,042 MAX VALUE 381.20 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 234 1.66e+35 81.10 0.00 0.00 0.00
Value table partitions 24 26 25.54 26.00 2,988 MAX VALUE 379.05 0.75 0.03 0.83
Tree decomposition
Number of clusters: 20
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-13-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.10 1.00 22 0 None 0.89 0.81 1.05
Variables per cluster 21 75 33.65 28.00 673 4.64e+29 68.31 16.67 0.50 1.66
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 58 27.80 23.50 556 0 None 13.06 0.47 1.66
Clusters per var 1 8 5.75 6.00 673 MAX VALUE 191.67 1.99 0.35 1.80
Dual tree decomposition
Number of clusters: 13
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-13-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 9 9 9.00 9.00 117 2.54e+12 28.56 0.00 0.00 0.00
Variables per cluster 10 10 10.00 10.00 130 1.00e+13 29.93 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.31 9.00 108 0 None 2.40 0.29 0.27
Clusters per variable 1 13 5.91 1.00 130 1.06e+10 23.08 5.90 1.00 0.68
Primal graph
Density: 17.24%
MCB compute time (ms): 136
MCB cycles: 1,054
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-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 57.88 0.00 -82.34 0.00 0.00 0.00
Degree 20 20 20.00 20.00 2,340 MAX VALUE 350.50 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.09 3.00 3,258 MAX VALUE 1,185.55 0.29 0.09 0.31
Triangulated primal graph
Density: 67.90%
MCB compute time (ms): 417
MCB cycles: 6,719
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.88 0.86 102.61 0.00 -15.59 0.06 0.06 3.33
Degree 20 101 78.77 88.00 9,216 MAX VALUE 500.55 25.71 0.33 3.01
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 20,157 MAX VALUE 7,381.58 0.00 0.00 0.00
Dual graph
Density: 50.65%
MCB compute time (ms): 0
MCB cycles: 96
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-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 13 10.64 9.00 234 2.70e+22 51.65 1.97 0.18 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 384 MAX VALUE 133.08 0.00 0.00 0.00
Minimal dual graph
Density: 50.65%
MCB compute time (ms): 0
MCB cycles: 96
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 13 10.64 9.00 234 2.70e+22 51.65 1.97 0.18 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 384 MAX VALUE 133.08 0.00 0.00 0.00
Triangulated dual graph
Density: 66.23%
Triangles: 552
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.85 1.00 18.66 0.02 -4.18 0.18 0.22 0.68
Degree 9 21 13.91 9.00 306 2.02e+24 55.96 5.90 0.42 0.68
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 66.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.85 1.00 18.66 0.02 -4.18 0.18 0.22 0.68
Degree 9 21 13.91 9.00 306 2.02e+24 55.96 5.90 0.42 0.68
Eccentricity None None None None None None None None None None
Incidence graph
Density: 2.44%
MCB compute time (ms): 17
MCB cycles: 96
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg9-13-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 13 3.37 2.00 468 MAX VALUE 132.75 3.25 0.96 0.54
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 768 MAX VALUE 199.63 0.00 0.00 0.00