Instance: normalized-rand-3-24-24-76-632-fcd-48-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: 79,774
Value tables: 78
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 266 22.77 9.00 1,816,420 MAX VALUE 188,262.00 51.49 2.26 2.63
Relational linkage 0.04 0.62 0.30 0.29 9,650.18 0.00 -38,812.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.58 2.50 357 MAX VALUE 98.57 3.55 0.77 1.74
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: 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 7 28 14.88 14.50 119 1.31e+09 20.99 5.90 0.40 2.08
Cluster variables 9 17 12.50 12.50 100 502,660,000 20.04 2.55 0.20 1.56
Separator constraints 0 11 5.38 5.50 43 0 None 3.24 0.60 2.08
Separator variables 0 14 9.50 11.00 76 0 None 4.06 0.43 1.56
Dual tree decomposition
Number of clusters: 18
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 60 395 217.00 208.50 3,906 MAX VALUE 94.92 92.15 0.42 2.89
Cluster variables 15 48 31.28 31.00 563 3.66e+26 61.16 9.22 0.29 2.58
Separator constraints 0 274 165.61 172.00 2,981 0 None 76.25 0.46 2.89
Separator variables 0 41 27.06 28.00 487 0 None 9.77 0.36 2.51
Primal graph
Density: 55.43%
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.65 0.55 0.55 13.31 0.00 -14.26 0.05 0.09 3.06
Degree 8 16 12.75 13.00 306 2.33e+26 60.71 2.15 0.17 1.99
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 76.81%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.88 0.87 21.14 0.04 -3.13 0.08 0.09 2.59
Degree 8 22 17.67 19.50 424 3.11e+29 67.91 4.49 0.25 2.11
Eccentricity None None None None None None None None None None
Dual graph
Density: 32.46%
MCB compute time (ms): 29
MCB cycles: 871
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.39 0.62 0.49 0.48 37.21 0.00 -54.60 0.05 0.09 4.23
Degree 14 30 24.34 24.00 1,850 MAX VALUE 241.95 3.09 0.13 2.46
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.00 3.00 2,615 MAX VALUE 957.47 0.05 0.02 0.02
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.33 0.03 0.00 2.17 0.00 None 0.07 2.40 0.48
Degree 3 5 3.63 4.00 276 MAX VALUE 97.24 0.51 0.14 0.73
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.98 6.00 377 MAX VALUE 111.01 1.25 0.21 1.46
Triangulated dual graph
Density: 73.12%
Triangles: 34,306
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.88 0.86 66.90 0.00 -9.90 0.07 0.07 4.10
Degree 14 72 54.84 59.00 4,168 MAX VALUE 300.32 14.93 0.27 3.25
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 18.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.78 0.74 59.28 0.00 -20.79 0.17 0.22 2.92
Degree 3 36 13.84 8.50 1,052 MAX VALUE 168.84 11.54 0.83 2.71
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.61%
MCB compute time (ms): 13
MCB cycles: 132
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.82 2.98 0.65 1.01
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.86 4.00 642 MAX VALUE 206.10 0.99 0.20 0.68