Instance: normalized-rand-3-24-24-76-632-fcd-49-ext
Number of variables: 24
Number of constraints: 73
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: 73
General features
Coarse blocks: 74,863
Value tables: 78
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 219 6.76e+34 80.20 0.00 0.00 0.00
Coarse blocks size 1 254 22.51 9.00 1,685,030 MAX VALUE 173,883.00 51.19 2.27 2.73
Relational linkage 0.04 0.58 0.29 0.29 9,218.74 0.00 -40,981.10 0.09 0.31 2.31
Tightness 0.63 0.86 0.64 0.63 46.83 0.00 -32.57 0.05 0.07 0.22
Tuples 1,871 5,088 4,956.26 5,088.00 361,807 MAX VALUE 620.05 636.37 0.13 0.22
Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00
Value table constraints 2 15 4.36 2.00 340 MAX VALUE 94.55 3.55 0.81 1.71
Value table partitions 24 576 406.15 576.00 31,680 MAX VALUE 419.50 254.77 0.63 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 7 26 16.56 16.00 149 3.89e+10 24.39 7.04 0.43 1.89
Cluster variables 9 16 12.67 12.00 114 6.96e+09 22.66 2.58 0.20 1.68
Separator constraints 0 22 8.44 5.00 76 0 None 7.27 0.86 2.04
Separator variables 0 15 10.00 10.00 90 0 None 4.22 0.42 1.89
Dual tree decomposition
Number of clusters: 17
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 50 474 231.59 233.00 3,937 MAX VALUE 90.64 100.87 0.44 2.83
Cluster variables 15 52 32.35 31.00 550 2.20e+25 58.35 9.20 0.28 2.67
Separator constraints 0 322 178.65 179.00 3,037 0 None 86.02 0.48 2.83
Separator variables 0 41 28.06 30.00 477 0 None 10.23 0.36 2.59
Primal graph
Density: 55.07%
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 0.72 0.58 0.58 14.03 0.00 -12.96 0.05 0.08 3.06
Degree 8 18 12.67 13.00 304 1.64e+26 60.36 2.76 0.22 2.15
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 76.09%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.88 0.87 21.09 0.04 -3.20 0.08 0.09 2.65
Degree 8 23 17.50 19.00 420 2.44e+29 67.67 4.50 0.26 2.16
Eccentricity None None None None None None None None None None
Dual graph
Density: 34.25%
MCB compute time (ms): 29
MCB cycles: 879
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.40 0.60 0.51 0.50 36.88 0.00 -50.07 0.04 0.08 4.15
Degree 14 34 24.66 25.00 1,800 MAX VALUE 233.05 3.79 0.15 2.63
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.01 3.00 2,642 MAX VALUE 967.12 0.08 0.03 0.04
Minimal dual graph
Density: 4.95%
MCB compute time (ms): 6
MCB cycles: 58
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.67 0.00 None 0.05 5.14 0.20
Degree 3 5 3.56 4.00 260 MAX VALUE 91.74 0.60 0.17 0.87
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 6.14 6.00 356 MAX VALUE 104.37 0.99 0.16 1.35
Triangulated dual graph
Density: 76.07%
Triangles: 33,202
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.89 0.89 65.04 0.00 -8.58 0.06 0.06 3.95
Degree 14 70 54.77 60.00 3,998 MAX VALUE 288.81 13.88 0.25 3.14
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 18.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.79 0.71 57.33 0.00 -19.51 0.18 0.23 2.79
Degree 3 33 13.18 7.00 962 MAX VALUE 157.34 11.27 0.85 2.64
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.70%
MCB compute time (ms): 11
MCB cycles: 124
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 15 4.52 3.00 438 MAX VALUE 132.16 2.98 0.66 1.11
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.92 4.00 610 MAX VALUE 195.01 1.00 0.20 0.69