Instance: normalized-rand-3-24-24-76-632-fcd-44-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: 80,349
Value tables: 81
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 251 22.67 9.00 1,821,500 MAX VALUE 189,480.00 51.32 2.26 2.63
Relational linkage 0.04 0.67 0.31 0.29 10,256.10 0.00 -40,666.40 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 15 4.42 2.00 358 MAX VALUE 98.17 3.68 0.83 1.67
Value table partitions 24 576 412.44 576.00 33,408 MAX VALUE 438.57 252.06 0.61 0.61
Tree decomposition
Number of clusters: 9
Number of leaves: 6
Tree depth: 2
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 31 17.11 15.00 154 3.47e+10 24.27 8.06 0.47 2.20
Cluster variables 6 16 12.56 12.00 113 5.50e+09 22.43 3.13 0.25 1.46
Separator constraints 0 22 8.67 7.00 78 0 None 7.09 0.82 1.89
Separator variables 0 15 9.89 10.00 89 0 None 4.53 0.46 1.68
Dual tree decomposition
Number of clusters: 17
Number of leaves: 5
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 84 543 234.35 183.00 3,984 MAX VALUE 90.09 132.06 0.56 2.83
Cluster variables 17 55 31.59 28.00 537 1.07e+25 57.63 11.30 0.36 2.59
Separator constraints 0 375 177.24 155.00 3,013 0 None 108.51 0.61 2.83
Separator variables 0 45 27.12 27.00 461 0 None 11.45 0.42 2.51
Primal graph
Density: 56.16%
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.49 0.71 0.60 0.60 14.47 0.00 -12.24 0.05 0.09 3.00
Degree 5 19 12.92 13.00 310 2.21e+26 60.66 2.91 0.23 2.19
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.79 1.00 0.88 0.85 21.20 0.05 -3.08 0.08 0.09 2.28
Degree 5 22 17.42 20.00 418 1.70e+29 67.30 4.71 0.27 1.97
Eccentricity None None None None None None None None None None
Dual graph
Density: 34.07%
MCB compute time (ms): 50
MCB cycles: 915
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.43 0.60 0.51 0.51 38.49 0.00 -51.90 0.04 0.07 4.28
Degree 16 36 25.55 26.00 1,942 MAX VALUE 245.36 3.94 0.15 2.72
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.00 3.00 2,747 MAX VALUE 1,005.81 0.05 0.02 0.02
Minimal dual graph
Density: 4.67%
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.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 5 3.50 3.00 266 MAX VALUE 93.93 0.64 0.18 0.96
Eccentricity None None None None None None None None None None
MCB cycle size 4 8 6.19 6.00 359 MAX VALUE 104.91 1.01 0.16 1.41
Triangulated dual graph
Density: 75.89%
Triangles: 38,028
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.90 0.89 68.14 0.00 -8.41 0.05 0.05 3.96
Degree 16 70 56.92 64.50 4,326 MAX VALUE 302.86 15.34 0.27 2.95
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 17.54%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.77 0.71 58.75 0.00 -21.61 0.18 0.23 2.93
Degree 2 34 13.16 7.00 1,000 MAX VALUE 164.24 11.11 0.84 2.85
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.61%
MCB compute time (ms): 13
MCB cycles: 131
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.56 3.00 456 MAX VALUE 136.32 3.11 0.68 1.07
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.89 4.00 640 MAX VALUE 205.12 0.99 0.20 0.69