Instance: normalized-rand-3-24-24-76-632-fcd-34-ext
Number of variables: 24
Number of constraints: 76
Satisfiable: True
Timestamp: 2025-06-17 13:07:17
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 24
Number of constraints: 76
General features
Coarse blocks: 76,896
Value tables: 76
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 228 1.82e+36 83.49 0.00 0.00 0.00
Coarse blocks size 1 248 23.29 9.00 1,790,980 MAX VALUE 182,069.00 52.37 2.25 2.65
Relational linkage 0.04 0.62 0.30 0.29 9,288.88 0.00 -37,444.20 0.08 0.26 2.16
Tightness 0.63 0.63 0.63 0.63 48.03 0.00 -34.88 0.00 0.00 0.00
Tuples 5,088 5,088 5,088.00 5,088.00 386,688 MAX VALUE 648.63 0.00 0.00 0.00
Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00
Value table constraints 2 14 4.63 2.50 352 MAX VALUE 96.25 3.67 0.79 1.80
Value table partitions 24 576 401.68 576.00 30,528 MAX VALUE 406.79 256.59 0.64 0.62
Tree decomposition
Number of clusters: 9
Number of leaves: 5
Tree depth: 3
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 24 15.89 16.00 143 2.24e+10 23.83 6.44 0.41 2.04
Cluster variables 7 16 12.56 13.00 113 5.86e+09 22.49 2.95 0.23 1.52
Separator constraints 0 19 7.44 6.00 67 0 None 5.96 0.80 2.04
Separator variables 0 15 9.89 10.00 89 0 None 4.41 0.45 1.74
Dual tree decomposition
Number of clusters: 16
Number of leaves: 6
Tree depth: 4
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 107 481 228.75 194.00 3,660 1.10e+37 85.29 108.41 0.47 2.77
Cluster variables 19 53 31.19 27.50 499 3.73e+23 54.27 9.98 0.32 2.60
Separator constraints 0 299 169.19 154.50 2,707 0 None 81.09 0.48 2.77
Separator variables 0 41 26.44 25.00 423 0 None 10.02 0.38 2.43
Primal graph
Density: 56.52%
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.81 0.61 0.59 14.71 0.00 -11.91 0.07 0.12 3.18
Degree 6 19 13.00 13.00 312 2.80e+26 60.90 2.86 0.22 2.27
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 75.72%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.88 0.88 21.14 0.04 -3.14 0.08 0.09 2.61
Degree 6 23 17.42 19.00 418 1.93e+29 67.43 4.59 0.26 2.17
Eccentricity None None None None None None None None None None
Dual graph
Density: 33.44%
MCB compute time (ms): 27
MCB cycles: 951
Triangles: None
Dot-file path: None
PDF-file path: None

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 0.60 0.50 0.50 37.95 0.00 -53.03 0.04 0.08 4.20
Degree 18 33 25.08 25.00 1,906 MAX VALUE 244.27 3.15 0.13 2.46
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.01 3.00 2,858 MAX VALUE 1,046.22 0.07 0.02 0.03
Minimal dual graph
Density: 4.84%
MCB compute time (ms): 7
MCB cycles: 63
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.01 0.00 1.00 0.00 None 0.04 3.42 0.28
Degree 2 5 3.63 4.00 276 MAX VALUE 96.49 0.72 0.20 1.07
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.76 6.00 363 MAX VALUE 109.19 1.02 0.18 1.37
Triangulated dual graph
Density: 75.26%
Triangles: 36,869
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.89 0.87 67.60 0.00 -9.03 0.05 0.06 3.72
Degree 18 70 56.45 64.00 4,290 MAX VALUE 302.61 14.89 0.26 2.94
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 18.07%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.75 59.38 0.00 -20.65 0.17 0.22 2.84
Degree 2 36 13.55 7.00 1,030 MAX VALUE 165.63 11.54 0.85 2.89
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.61%
MCB compute time (ms): 13
MCB cycles: 129
Dot-file path: None
PDF-file path: None
JSON-file path: None
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 3 14 4.56 3.00 456 MAX VALUE 136.37 3.06 0.67 1.01
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.88 4.00 630 MAX VALUE 201.94 0.99 0.20 0.69