Instance: normalized-crossword-m1c-lex-vg8-11-ext
Number of variables: 88
Number of constraints: 19
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: 88
Number of constraints: 19
General features
Coarse blocks: 4,286
Value tables: 88
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 8 11 9.26 8.00 176 1.84e+18 42.06 1.48 0.16 0.68
Coarse blocks size 1 861 97.05 56.00 415,976 MAX VALUE 16,018.60 117.60 1.21 4.96
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -59,618.10 0.00 1.03 4.38
Tightness 1.00 1.00 1.00 1.00 19.00 1.00 -0.00 0.00 0.00 0.68
Tuples 1,120 3,607 2,559.84 3,607.00 48,637 MAX VALUE 146.27 1,227.90 0.48 0.68
Values 26 26 26.00 26.00 2,288 MAX VALUE 286.71 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 176 3.09e+26 61.00 0.00 0.00 0.00
Value table partitions 23 26 25.64 26.00 2,256 MAX VALUE 285.44 0.71 0.03 0.75
Tree decomposition
Number of clusters: 17
Number of leaves: 8
Tree depth: 4
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.12 1.00 19 0 None 0.90 0.81 1.03
Variables per cluster 18 56 27.59 24.00 469 7.33e+23 54.95 12.40 0.45 1.58
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 44 22.41 17.00 381 0 None 9.99 0.45 1.58
Clusters per var 1 8 5.33 6.00 469 MAX VALUE 137.00 1.90 0.36 1.75
Dual tree decomposition
Number of clusters: 11
Number of leaves: 2
Tree depth: 5
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8 8 8.00 8.00 88 8.59e+09 22.87 0.00 0.00 0.00
Variables per cluster 9 9 9.00 9.00 99 3.14e+10 24.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 8 7.27 8.00 80 0 None 2.30 0.32 0.30
Clusters per variable 1 11 5.21 1.00 99 214,359,000 19.18 4.94 0.95 0.68
Primal graph
Density: 19.54%
MCB compute time (ms): 51
MCB cycles: 661
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-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 42.71 0.00 -63.62 0.00 0.00 0.00
Degree 17 17 17.00 17.00 1,496 MAX VALUE 249.32 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.11 3.00 2,053 MAX VALUE 746.32 0.31 0.10 0.34
Triangulated primal graph
Density: 68.31%
MCB compute time (ms): 517
MCB cycles: 2,659
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.88 0.86 77.04 0.00 -11.89 0.06 0.07 2.96
Degree 17 76 59.43 67.50 5,230 MAX VALUE 352.17 19.08 0.32 2.69
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 7,977 MAX VALUE 2,921.21 0.00 0.00 0.00
Dual graph
Density: 51.46%
MCB compute time (ms): 0
MCB cycles: 70
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-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 8 11 9.26 8.00 176 1.84e+18 42.06 1.48 0.16 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 280 MAX VALUE 97.04 0.00 0.00 0.00
Minimal dual graph
Density: 51.46%
MCB compute time (ms): 0
MCB cycles: 70
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 8 11 9.26 8.00 176 1.84e+18 42.06 1.48 0.16 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 280 MAX VALUE 97.04 0.00 0.00 0.00
Triangulated dual graph
Density: 67.84%
Triangles: 364
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.85 1.00 16.12 0.03 -3.56 0.18 0.21 0.68
Degree 8 18 12.21 8.00 232 9.47e+19 46.00 4.94 0.40 0.68
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 67.84%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.85 1.00 16.12 0.03 -3.56 0.18 0.21 0.68
Degree 8 18 12.21 8.00 232 9.47e+19 46.00 4.94 0.40 0.68
Eccentricity None None None None None None None None None None
Incidence graph
Density: 3.10%
MCB compute time (ms): 9
MCB cycles: 70
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg8-11-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 11 3.29 2.00 352 MAX VALUE 103.05 2.84 0.86 0.59
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 560 MAX VALUE 145.56 0.00 0.00 0.00