Instance: normalized-rand-2-40-25-180-500-26-ext
Number of variables: 40
Number of constraints: 180
Satisfiable: True
Timestamp: 2025-07-20 22:09:27
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 180
General features
Coarse blocks: 9,000
Value tables: 40
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 360 MAX VALUE 124.77 0.00 0.00 0.00
Coarse blocks size 3 21 12.48 13.00 112,342 MAX VALUE 22,525.30 2.50 0.20 2.33
Relational linkage 0.12 0.52 0.35 0.36 352.04 0.00 -1,060.10 0.06 0.17 1.82
Tightness 0.45 0.55 0.50 0.50 90.13 0.00 -124.66 0.02 0.04 3.82
Tuples 282 345 312.06 312.00 56,171 MAX VALUE 1,033.63 12.74 0.04 3.82
Values 25 25 25.00 25.00 1,000 MAX VALUE 128.75 0.00 0.00 0.00
Value table constraints 4 13 9.00 9.00 360 4.64e+37 86.73 2.04 0.23 1.95
Value table partitions 25 25 25.00 25.00 1,000 MAX VALUE 128.75 0.00 0.00 0.00
Tree decomposition
Number of clusters: 20
Number of leaves: 10
Tree depth: 4
CIR: 0.04
Independent Cluster Pairs: 7
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 52 24.45 19.50 489 8.84e+25 59.74 15.53 0.63 2.60
Variables per cluster 5 21 12.35 10.00 247 1.05e+21 48.41 5.28 0.43 2.25
Separator constraints 0 47 15.45 9.00 309 0 None 14.70 0.95 2.69
Separator variables 0 20 10.35 9.00 207 0 None 5.44 0.53 2.35
Clusters per var 1 15 6.17 6.00 247 1.36e+25 57.87 4.19 0.68 2.16
Dual tree decomposition
Number of clusters: 38
Number of leaves: 17
Tree depth: 5
CIR: 0.19
Independent Cluster Pairs: 126
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 16 355 121.03 103.50 4,599 MAX VALUE 175.24 74.88 0.62 3.46
Variables per cluster 8 87 28.97 21.50 1,101 MAX VALUE 121.83 18.24 0.63 3.03
Separator constraints 0 187 80.95 78.00 3,076 0 None 44.13 0.55 3.46
Separator variables 0 61 24.24 20.00 921 0 None 13.80 0.57 3.01
Clusters per variable 1 10 6.12 7.00 1,101 MAX VALUE 296.46 2.68 0.44 2.11
Primal graph
Density: 23.08%
MCB compute time (ms): 4
MCB cycles: 167
Triangles: 108
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.10 0.40 0.22 0.21 8.76 0.00 -62.10 0.06 0.26 3.07
Degree 4 13 9.00 9.00 360 4.64e+37 86.73 2.04 0.23 1.95
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.37 3.00 562 MAX VALUE 201.02 0.48 0.14 0.66
Triangulated primal graph
Density: 53.46%
MCB compute time (ms): 13
MCB cycles: 390
Triangles: 2,594
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.84 0.83 33.68 0.00 -7.22 0.11 0.13 2.96
Degree 4 34 20.85 25.00 834 MAX VALUE 115.13 9.59 0.46 2.63
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 1,170 MAX VALUE 428.46 0.00 0.00 0.00
Dual graph
Density: 9.45%
MCB compute time (ms): 486
MCB cycles: 1,495
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.64 0.50 0.49 89.56 0.00 -125.88 0.03 0.05 3.84
Degree 7 23 16.92 17.00 3,046 MAX VALUE 506.80 2.63 0.16 2.34
Eccentricity None None None None None None None None None None
MCB cycle size 3 5 3.12 3.00 4,669 MAX VALUE 1,695.10 0.34 0.11 0.38
Minimal dual graph
Density: 1.99%
MCB compute time (ms): 72
MCB cycles: 143
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.60 0.00 None 0.03 8.57 0.10
Degree 2 5 3.56 3.00 640 MAX VALUE 224.35 0.74 0.21 1.10
Eccentricity None None None None None None None None None None
MCB cycle size 3 9 6.62 7.00 946 MAX VALUE 267.60 1.17 0.18 1.50
Triangulated dual graph
Density: 45.95%
Triangles: 192,525
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.83 0.80 149.66 0.00 -34.22 0.09 0.11 4.58
Degree 7 126 82.26 87.00 14,806 MAX VALUE 758.21 40.51 0.49 3.61
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 11.58%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.80 0.72 143.19 0.00 -44.61 0.16 0.20 3.32
Degree 2 65 20.73 7.00 3,732 MAX VALUE 420.50 22.80 1.10 3.09
Eccentricity None None None None None None None None None None
Incidence graph
Density: 1.49%
MCB compute time (ms): 41
MCB cycles: 141
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/tightness0.5/normalized-rand-2-40-25-180-500-26-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.27 2.00 720 MAX VALUE 211.50 2.84 0.87 0.83
Eccentricity None None None None None None None None None None
MCB cycle size 6 8 6.51 6.00 918 MAX VALUE 263.00 0.87 0.13 0.57