Instance: normalized-crossword-m1c-lex-vg6-10-ext
Number of variables: 60
Number of constraints: 16
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: 60
Number of constraints: 16
General features
Coarse blocks: 3,018
Value tables: 60
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 10 7.50 6.00 120 6.05e+13 31.73 1.94 0.26 0.66
Coarse blocks size 1 804 115.77 75.00 349,380 MAX VALUE 12,050.10 127.97 1.11 5.12
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -37,703.10 0.00 1.02 4.76
Tightness 1.00 1.00 1.00 1.00 16.00 1.00 -0.00 0.00 0.00 0.66
Tuples 1,971 3,852 3,146.62 3,852.00 50,346 MAX VALUE 128.08 910.63 0.29 0.66
Values 26 26 26.00 26.00 1,560 MAX VALUE 195.49 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
Value table partitions 25 26 25.82 26.00 1,549 MAX VALUE 195.05 0.39 0.01 0.48
Tree decomposition
Number of clusters: 14
Number of leaves: 6
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.14 1.00 16 0 None 0.83 0.73 1.08
Variables per cluster 15 40 21.14 19.00 296 1.58e+18 41.90 7.84 0.37 1.38
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 28 16.86 16.00 236 0 None 6.75 0.40 1.38
Clusters per var 1 7 4.93 6.00 296 2.46e+38 88.40 1.82 0.37 1.66
Dual tree decomposition
Number of clusters: 10
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-vg6-10-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 6 6.00 6.00 60 60,466,200 17.92 0.00 0.00 0.00
Variables per cluster 7 7 7.00 7.00 70 282,475,000 19.46 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 6 5.40 6.00 54 0 None 1.80 0.33 0.33
Clusters per variable 1 10 4.38 1.00 70 1,000,000 13.82 4.36 1.00 0.66
Primal graph
Density: 23.73%
MCB compute time (ms): 12
MCB cycles: 361
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.51 0.51 0.51 30.33 0.00 -40.93 0.00 0.00 0.00
Degree 14 14 14.00 14.00 840 MAX VALUE 158.34 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.12 3.00 1,128 MAX VALUE 409.55 0.33 0.11 0.38
Triangulated primal graph
Density: 68.98%
MCB compute time (ms): 84
MCB cycles: 1,539
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.87 0.84 52.31 0.00 -8.36 0.06 0.07 2.04
Degree 14 51 40.70 48.00 2,442 MAX VALUE 218.02 12.62 0.31 2.04
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 4,617 MAX VALUE 1,690.76 0.00 0.00 0.00
Dual graph
Density: 50.00%
MCB compute time (ms): 0
MCB cycles: 45
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-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 6 10 7.50 6.00 120 6.05e+13 31.73 1.94 0.26 0.66
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 180 1.24e+27 62.38 0.00 0.00 0.00
Minimal dual graph
Density: 50.00%
MCB compute time (ms): 0
MCB cycles: 45
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 6 10 7.50 6.00 120 6.05e+13 31.73 1.94 0.26 0.66
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 180 1.24e+27 62.38 0.00 0.00 0.00
Triangulated dual graph
Density: 62.50%
Triangles: 170
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.84 1.00 13.43 0.03 -3.36 0.21 0.25 0.66
Degree 6 15 9.38 6.00 150 6.89e+14 34.17 4.36 0.46 0.66
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 62.50%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.84 1.00 13.43 0.03 -3.36 0.21 0.25 0.66
Degree 6 15 9.38 6.00 150 6.89e+14 34.17 4.36 0.46 0.66
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.21%
MCB compute time (ms): 4
MCB cycles: 45
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg6-10-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 10 3.16 2.00 240 6.97e+31 73.32 2.41 0.76 0.65
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 360 MAX VALUE 93.57 0.00 0.00 0.00