Instance: normalized-crossword-m1c-lex-vg10-13-ext
Number of variables: 130
Number of constraints: 23
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: 130
Number of constraints: 23
General features
Coarse blocks: 5,854
Value tables: 130
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 10 13 11.30 10.00 260 1.38e+24 55.58 1.49 0.13 0.68
Coarse blocks size 1 538 49.97 20.00 292,500 MAX VALUE 17,267.10 69.53 1.39 4.44
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -95,341.20 0.00 0.93 3.46
Tightness 1.00 1.00 1.00 1.00 23.00 1.00 -0.00 0.00 0.00 0.68
Tuples 279 1,971 1,235.35 1,971.00 28,413 MAX VALUE 154.93 838.77 0.68 0.68
Values 26 26 26.00 26.00 3,380 MAX VALUE 423.55 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 260 MAX VALUE 90.11 0.00 0.00 0.00
Value table partitions 22 26 25.18 26.00 3,274 MAX VALUE 419.28 1.11 0.04 1.21
Tree decomposition
Number of clusters: 21
Number of leaves: 10
Tree depth: 4
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-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 23 0 None 0.92 0.84 1.00
Variables per cluster 22 84 36.14 30.00 759 5.06e+31 73.00 18.88 0.52 1.63
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 64 29.95 21.00 629 0 None 14.73 0.49 1.63
Clusters per var 1 8 5.84 6.00 759 MAX VALUE 215.22 1.98 0.34 1.77
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-vg10-13-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 10 10.00 10.00 130 1.00e+13 29.93 0.00 0.00 0.00
Variables per cluster 11 11 11.00 11.00 143 3.45e+13 31.17 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 10 9.23 10.00 120 0 None 2.66 0.29 0.27
Clusters per variable 1 13 6.22 1.00 143 1.38e+11 25.65 5.95 0.96 0.68
Primal graph
Density: 16.28%
MCB compute time (ms): 281
MCB cycles: 1,236
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-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 63.14 0.00 -93.88 0.00 0.00 0.00
Degree 21 21 21.00 21.00 2,730 MAX VALUE 395.79 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,816 MAX VALUE 1,388.95 0.28 0.09 0.30
Triangulated primal graph
Density: 67.94%
MCB compute time (ms): 2,113
MCB cycles: 7,017
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.88 0.86 114.23 0.00 -17.06 0.05 0.06 2.91
Degree 21 112 87.65 99.00 11,394 MAX VALUE 569.64 28.79 0.33 2.78
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 21,051 MAX VALUE 7,708.96 0.00 0.00 0.00
Dual graph
Density: 51.38%
MCB compute time (ms): 1
MCB cycles: 108
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-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 10 13 11.30 10.00 260 1.38e+24 55.58 1.49 0.13 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 432 MAX VALUE 149.72 0.00 0.00 0.00
Minimal dual graph
Density: 51.38%
MCB compute time (ms): 1
MCB cycles: 108
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 10 13 11.30 10.00 260 1.38e+24 55.58 1.49 0.13 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 432 MAX VALUE 149.72 0.00 0.00 0.00
Triangulated dual graph
Density: 69.17%
Triangles: 705
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.85 1.00 19.62 0.02 -4.12 0.17 0.20 0.68
Degree 10 22 15.22 10.00 350 2.66e+26 60.84 5.95 0.39 0.68
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 69.17%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.85 1.00 19.62 0.02 -4.12 0.17 0.20 0.68
Degree 10 22 15.22 10.00 350 2.66e+26 60.84 5.95 0.39 0.68
Eccentricity None None None None None None None None None None
Incidence graph
Density: 2.24%
MCB compute time (ms): 30
MCB cycles: 108
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-13-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg10-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.40 2.00 520 MAX VALUE 145.69 3.37 0.99 0.53
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 864 MAX VALUE 224.58 0.00 0.00 0.00