Instance: normalized-rand-3-24-24-76-632-fcd-41-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: 74,015
Value tables: 75
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 249 23.85 9.00 1,765,540 MAX VALUE 175,908.00 53.30 2.23 2.66
Relational linkage 0.04 0.62 0.30 0.29 9,132.06 0.00 -36,667.90 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 3.00 347 MAX VALUE 95.07 3.67 0.79 1.80
Value table partitions 24 576 399.36 576.00 29,952 MAX VALUE 400.44 257.50 0.64 0.63
Tree decomposition
Number of clusters: 8
Number of leaves: 5
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 6 32 19.00 22.00 152 3.14e+09 21.87 10.38 0.55 1.91
Cluster variables 9 17 13.00 13.50 104 613,503,000 20.23 3.35 0.26 1.49
Separator constraints 0 23 9.50 7.00 76 0 None 9.12 0.96 1.91
Separator variables 0 16 10.00 10.00 80 0 None 4.82 0.48 1.67
Dual tree decomposition
Number of clusters: 17
Number of leaves: 4
Tree depth: 5
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 73 513 228.18 192.00 3,879 MAX VALUE 89.69 125.65 0.55 2.75
Cluster variables 17 55 32.06 31.00 545 1.49e+25 57.97 10.89 0.34 2.51
Separator constraints 0 388 171.71 167.00 2,919 0 None 98.52 0.57 2.83
Separator variables 0 48 27.59 29.00 469 0 None 11.10 0.40 2.51
Primal graph
Density: 57.97%
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.50 0.68 0.59 0.60 14.19 0.00 -12.68 0.04 0.07 3.00
Degree 8 17 13.33 14.00 320 5.88e+26 61.64 2.58 0.19 1.99
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 78.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.89 0.88 21.42 0.06 -2.79 0.06 0.07 2.50
Degree 8 22 18.00 20.00 432 4.68e+29 68.32 4.47 0.25 1.94
Eccentricity None None None None None None None None None None
Dual graph
Density: 33.68%
MCB compute time (ms): 33
MCB cycles: 1,149
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.58 0.49 0.49 37.34 0.00 -54.22 0.04 0.07 4.23
Degree 16 33 25.26 25.00 1,920 MAX VALUE 244.53 3.75 0.15 2.61
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.03 3.00 3,487 MAX VALUE 1,273.81 0.18 0.06 0.15
Minimal dual graph
Density: 4.88%
MCB compute time (ms): 8
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.03 0.00 2.60 0.00 None 0.09 2.51 0.58
Degree 2 5 3.66 4.00 278 MAX VALUE 97.37 0.64 0.17 0.97
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.89 6.00 377 MAX VALUE 111.81 1.24 0.21 1.52
Triangulated dual graph
Density: 76.84%
Triangles: 39,080
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.90 0.89 68.42 0.00 -8.09 0.05 0.05 3.99
Degree 16 71 57.63 64.00 4,380 MAX VALUE 304.01 15.17 0.26 2.91
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 17.96%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.77 0.71 58.60 0.00 -21.61 0.17 0.22 3.02
Degree 2 34 13.47 7.50 1,024 MAX VALUE 167.43 11.11 0.82 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.55 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 638 MAX VALUE 203.56 1.00 0.20 0.69