Instance: normalized-rand-3-24-24-76-632-fcd-18-ext
Number of variables: 24
Number of constraints: 74
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: 74
General features
Coarse blocks: 80,118
Value tables: 81
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 222 2.03e+35 81.30 0.00 0.00 0.00
Coarse blocks size 1 251 21.95 9.00 1,758,720 MAX VALUE 186,069.00 50.22 2.29 2.69
Relational linkage 0.04 0.62 0.30 0.29 9,846.13 0.00 -42,553.90 0.09 0.30 2.27
Tightness 0.63 0.87 0.64 0.63 47.23 0.00 -33.33 0.04 0.06 0.14
Tuples 1,848 5,088 5,000.76 5,088.00 370,056 MAX VALUE 629.55 523.46 0.10 0.14
Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00
Value table constraints 2 16 4.35 2.00 352 MAX VALUE 97.52 3.62 0.83 1.66
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: 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 3 29 15.67 17.00 141 1.29e+10 23.28 7.18 0.46 2.04
Cluster variables 7 16 11.89 12.00 107 3.52e+09 21.98 2.88 0.24 2.04
Separator constraints 0 16 7.44 9.00 67 0 None 5.38 0.72 1.89
Separator variables 0 14 9.22 11.00 83 0 None 4.10 0.44 2.04
Dual tree decomposition
Number of clusters: 17
Number of leaves: 5
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 52 480 229.59 217.00 3,903 MAX VALUE 90.39 105.28 0.46 2.83
Cluster variables 14 52 31.35 31.00 533 1.14e+25 57.69 9.76 0.31 2.75
Separator constraints 0 316 174.59 186.00 2,968 0 None 84.85 0.49 2.83
Separator variables 0 41 27.00 29.00 459 0 None 10.26 0.38 2.67
Primal graph
Density: 53.99%
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.78 0.59 0.59 14.19 0.00 -12.82 0.08 0.13 3.06
Degree 6 18 12.42 12.00 298 8.14e+25 59.66 3.07 0.25 2.28
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 73.55%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.87 0.87 20.97 0.04 -3.35 0.08 0.09 2.53
Degree 6 23 16.92 18.50 406 8.43e+28 66.60 4.66 0.28 2.30
Eccentricity None None None None None None None None None None
Dual graph
Density: 34.62%
MCB compute time (ms): 34
MCB cycles: 903
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.44 0.62 0.51 0.51 37.81 0.00 -49.91 0.04 0.08 4.12
Degree 13 34 25.27 25.00 1,870 MAX VALUE 238.10 3.82 0.15 2.63
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.00 3.00 2,713 MAX VALUE 993.20 0.07 0.02 0.03
Minimal dual graph
Density: 4.85%
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.83 0.00 None 0.06 5.06 0.20
Degree 2 5 3.54 4.00 262 MAX VALUE 92.49 0.60 0.17 0.90
Eccentricity None None None None None None None None None None
MCB cycle size 3 8 5.86 6.00 340 MAX VALUE 101.30 1.17 0.20 1.51
Triangulated dual graph
Density: 75.38%
Triangles: 34,162
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.89 0.88 65.93 0.00 -8.69 0.05 0.06 3.79
Degree 13 69 55.03 62.00 4,072 MAX VALUE 292.64 14.60 0.27 3.11
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 16.77%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.77 0.71 56.75 0.00 -21.71 0.18 0.24 2.97
Degree 2 33 12.24 7.00 906 MAX VALUE 156.37 10.36 0.85 2.77
Eccentricity None None None None None None None None None None
Incidence graph
Density: 4.67%
MCB compute time (ms): 12
MCB cycles: 128
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 16 4.53 3.00 444 MAX VALUE 133.18 3.08 0.68 1.05
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.86 4.00 622 MAX VALUE 199.75 0.99 0.20 0.68