Instance: normalized-rand-3-24-24-76-632-fcd-19-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: 81,502
Value tables: 84
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 253 22.47 9.00 1,831,680 MAX VALUE 191,929.00 50.98 2.27 2.63
Relational linkage 0.04 0.67 0.31 0.29 10,844.50 0.00 -42,579.50 0.08 0.25 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.29 2.00 360 MAX VALUE 98.79 3.59 0.84 1.51
Value table partitions 24 576 418.29 576.00 35,136 MAX VALUE 457.64 249.37 0.60 0.60
Tree decomposition
Number of clusters: 9
Number of leaves: 3
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 2 32 18.33 20.00 165 1.82e+10 23.63 10.54 0.57 1.89
Cluster variables 5 16 12.33 14.00 111 3.61e+09 22.01 3.92 0.32 1.83
Separator constraints 0 24 9.89 6.00 89 0 None 9.23 0.93 1.83
Separator variables 0 15 9.67 11.00 87 0 None 5.03 0.52 2.04
Dual tree decomposition
Number of clusters: 18
Number of leaves: 4
Tree depth: 6
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 76 465 215.44 205.00 3,878 MAX VALUE 95.01 93.95 0.44 2.89
Cluster variables 16 52 30.50 29.50 549 2.27e+26 60.69 9.19 0.30 2.37
Separator constraints 0 289 162.11 167.50 2,918 0 None 70.88 0.44 2.81
Separator variables 0 41 26.28 27.00 473 0 None 9.46 0.36 2.48
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.53 1.00 0.64 0.63 15.37 0.00 -10.89 0.09 0.14 3.00
Degree 4 18 13.00 13.00 312 1.90e+26 60.51 3.23 0.25 2.14
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 75.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.89 0.88 21.33 0.06 -2.88 0.06 0.07 2.73
Degree 4 22 17.25 19.00 414 1.02e+29 66.80 4.76 0.28 2.18
Eccentricity None None None None None None None None None None
Dual graph
Density: 33.68%
MCB compute time (ms): 64
MCB cycles: 904
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.42 0.67 0.50 0.49 37.83 0.00 -53.28 0.04 0.09 4.17
Degree 15 32 25.26 26.00 1,920 MAX VALUE 244.73 3.25 0.13 2.40
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.00 3.00 2,715 MAX VALUE 994.01 0.06 0.02 0.02
Minimal dual graph
Density: 4.91%
MCB compute time (ms): 7
MCB cycles: 65
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.04 0.00 3.33 0.00 None 0.09 2.08 0.63
Degree 3 5 3.68 4.00 280 MAX VALUE 98.39 0.49 0.13 0.70
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.72 6.00 372 MAX VALUE 111.41 1.30 0.23 1.57
Triangulated dual graph
Density: 72.77%
Triangles: 34,244
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.88 0.88 67.00 0.00 -9.76 0.06 0.07 3.93
Degree 15 71 54.58 61.00 4,148 MAX VALUE 299.72 15.12 0.28 3.03
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 18.63%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.78 0.74 59.47 0.00 -20.43 0.17 0.22 3.04
Degree 3 35 13.97 7.50 1,062 MAX VALUE 169.77 11.78 0.84 2.75
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.61%
MCB compute time (ms): 11
MCB cycles: 135
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 2 14 4.56 3.00 456 MAX VALUE 136.19 3.04 0.67 1.06
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.95 4.00 668 MAX VALUE 213.10 1.00 0.20 0.69