Instance: normalized-crossword-m1c-lex-vg5-7-ext
Number of variables: 35
Number of constraints: 12
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: 35
Number of constraints: 12
General features
Coarse blocks: 1,764
Value tables: 35
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 7 5.83 5.00 70 1.31e+09 21.00 0.99 0.17 0.68
Coarse blocks size 1 875 142.60 99.00 251,545 MAX VALUE 7,638.19 139.66 0.98 5.13
Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -12,932.50 0.00 0.95 4.85
Tightness 1.00 1.00 1.00 1.00 12.00 1.00 -0.00 0.00 0.00 0.68
Tuples 3,145 4,042 3,518.75 3,145.00 42,225 MAX VALUE 97.90 442.23 0.13 0.68
Values 26 26 26.00 26.00 910 MAX VALUE 114.03 0.00 0.00 0.00
Value table constraints 2 2 2.00 2.00 70 3.44e+10 24.26 0.00 0.00 0.00
Value table partitions 24 26 25.83 26.00 904 MAX VALUE 113.80 0.51 0.02 0.43
Tree decomposition
Number of clusters: 10
Number of leaves: 5
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.20 1.50 12 0 None 0.87 0.73 1.03
Variables per cluster 11 23 14.40 12.50 144 2.61e+11 26.29 4.20 0.29 1.36
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 17 10.90 10.00 109 0 None 4.41 0.41 1.36
Clusters per var 1 6 4.11 5.00 144 3.15e+19 44.90 1.63 0.40 1.60
Dual tree decomposition
Number of clusters: 7
Number of leaves: 2
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 5 5 5.00 5.00 35 78,125 11.27 0.00 0.00 0.00
Variables per cluster 6 6 6.00 6.00 42 279,936 12.54 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 5 4.29 5.00 30 0 None 1.75 0.41 0.41
Clusters per variable 1 7 3.50 1.00 42 16,807 9.73 2.96 0.85 0.68
Primal graph
Density: 29.41%
MCB compute time (ms): 2
MCB cycles: 141
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.47 0.47 0.47 16.33 0.00 -26.67 0.00 0.00 0.00
Degree 10 10 10.00 10.00 350 1.00e+35 80.59 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.17 3.00 447 MAX VALUE 161.81 0.38 0.12 0.46
Triangulated primal graph
Density: 69.92%
MCB compute time (ms): 11
MCB cycles: 435
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.86 0.83 30.27 0.01 -5.18 0.07 0.08 2.53
Degree 10 30 23.77 27.00 832 MAX VALUE 108.77 6.98 0.29 2.14
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 1,305 MAX VALUE 477.90 0.00 0.00 0.00
Dual graph
Density: 53.03%
MCB compute time (ms): 0
MCB cycles: 24
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-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 5 7 5.83 5.00 70 1.31e+09 21.00 0.99 0.17 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 96 2.81e+14 33.27 0.00 0.00 0.00
Minimal dual graph
Density: 53.03%
MCB compute time (ms): 0
MCB cycles: 24
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 5 7 5.83 5.00 70 1.31e+09 21.00 0.99 0.17 0.68
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 96 2.81e+14 33.27 0.00 0.00 0.00
Triangulated dual graph
Density: 68.18%
Triangles: 80
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 1.00 0.84 1.00 10.09 0.09 -2.40 0.19 0.22 0.68
Degree 5 11 7.50 5.00 90 1.26e+10 23.26 2.96 0.39 0.68
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 68.18%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 1.00 0.84 1.00 10.09 0.09 -2.40 0.19 0.22 0.68
Degree 5 11 7.50 5.00 90 1.26e+10 23.26 2.96 0.39 0.68
Eccentricity None None None None None None None None None None
Incidence graph
Density: 6.48%
MCB compute time (ms): 1
MCB cycles: 24
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/lexVg/normalized-crossword-m1c-lex-vg5-7-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 7 2.98 2.00 140 4.51e+19 45.26 1.74 0.59 0.74
Eccentricity None None None None None None None None None None
MCB cycle size 8 8 8.00 8.00 192 4.72e+21 49.91 0.00 0.00 0.00