Instance: normalized-rand-3-20-20-60-632-fcd-27-ext
Number of variables: 20
Number of constraints: 60
Satisfiable: True
Timestamp: 2025-07-20 22:08:58
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 20
Number of constraints: 60
General features
Coarse blocks: 48,396
Value tables: 70
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 180 4.24e+28 65.92 0.00 0.00 0.00
Coarse blocks size 1 182 17.76 8.00 859,648 MAX VALUE 105,203.00 36.84 2.07 2.56
Relational linkage 0.05 0.70 0.30 0.30 6,146.32 0.00 -25,410.00 0.09 0.28 2.07
Tightness 0.63 0.63 0.63 0.63 37.92 0.00 -27.53 0.00 0.00 0.00
Tuples 2,944 2,944 2,944.00 2,944.00 176,640 MAX VALUE 479.25 0.00 0.00 0.00
Values 20 20 20.00 20.00 400 1.05e+26 59.91 0.00 0.00 0.00
Value table constraints 2 13 4.17 2.00 292 6.78e+35 82.50 3.35 0.80 1.62
Value table partitions 20 400 291.43 400.00 20,400 MAX VALUE 359.49 171.67 0.59 0.60
Tree decomposition
Number of clusters: 8
Number of leaves: 3
Tree depth: 3
CIR: 0.00
Independent Cluster Pairs: 0
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 22 14.50 16.00 116 1.18e+09 20.89 4.69 0.32 1.67
Variables per cluster 8 13 11.38 12.00 91 250,563,000 19.34 1.80 0.16 1.49
Separator constraints 0 12 7.00 8.50 56 0 None 4.15 0.59 2.08
Separator variables 0 12 8.88 10.50 71 0 None 3.76 0.42 1.73
Clusters per var 1 8 4.55 5.00 91 2.23e+11 26.13 2.36 0.52 1.95
Dual tree decomposition
Number of clusters: 14
Number of leaves: 3
Tree depth: 5
CIR: 0.00
Independent Cluster Pairs: 0
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 97 366 187.64 171.50 2,627 3.20e+31 72.54 64.57 0.34 2.64
Variables per cluster 18 43 27.36 26.50 383 9.40e+19 45.99 6.15 0.22 2.44
Separator constraints 0 214 137.29 144.00 1,922 0 None 50.71 0.37 2.64
Separator variables 0 32 23.07 24.50 323 0 None 7.55 0.33 2.44
Clusters per variable 1 11 6.38 6.00 383 MAX VALUE 103.07 2.76 0.43 2.34
Primal graph
Density: 62.11%
MCB compute time (ms): 1
MCB cycles: 102
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.55 0.76 0.65 0.65 12.91 0.00 -8.82 0.05 0.08 2.86
Degree 7 17 11.80 11.50 236 1.85e+21 48.97 2.29 0.19 1.97
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 306 MAX VALUE 112.06 0.00 0.00 0.00
Triangulated primal graph
Density: 78.42%
MCB compute time (ms): 1
MCB cycles: 144
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.88 0.88 17.65 0.08 -2.58 0.08 0.09 2.48
Degree 7 19 14.90 16.00 298 1.49e+23 53.36 3.43 0.23 2.15
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 432 MAX VALUE 158.20 0.00 0.00 0.00
Dual graph
Density: 39.83%
MCB compute time (ms): 24
MCB cycles: 646
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.47 0.61 0.53 0.53 31.93 0.00 -37.99 0.04 0.07 3.90
Degree 17 30 23.50 23.00 1,410 MAX VALUE 188.92 2.99 0.13 2.34
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 1,938 MAX VALUE 709.70 0.00 0.00 0.00
Minimal dual graph
Density: 5.82%
MCB compute time (ms): 3
MCB cycles: 44
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.04 0.00 2.33 0.00 None 0.10 2.52 0.53
Degree 3 5 3.43 3.00 206 6.19e+31 73.20 0.59 0.17 0.81
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.93 6.00 261 2.98e+33 77.08 1.30 0.22 1.59
Triangulated dual graph
Density: 76.16%
Triangles: 18,109
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.89 0.88 53.21 0.00 -7.32 0.06 0.06 3.50
Degree 17 55 44.93 50.00 2,696 MAX VALUE 225.97 10.87 0.24 2.76
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 17.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.76 0.80 45.37 0.00 -18.78 0.19 0.25 2.72
Degree 3 25 10.47 6.00 628 MAX VALUE 121.17 8.19 0.78 2.43
Eccentricity None None None None None None None None None None
Incidence graph
Density: 5.70%
MCB compute time (ms): 7
MCB cycles: 107
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 13 4.50 3.00 360 MAX VALUE 109.02 2.87 0.64 1.10
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.84 4.00 518 MAX VALUE 166.58 0.99 0.20 0.68