Instance: normalized-half-n25-d5-e56-r7-10
Number of variables: 25
Number of constraints: 56
Satisfiable: True
Timestamp: 2025-07-20 22:08:17
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 25
Number of constraints: 56
General features
Coarse blocks: 217,257
Value tables: 587
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 7 7.00 7.00 392 MAX VALUE 108.97 0.00 0.00 0.00
Coarse blocks size 1 11,522 346.53 80.00 75,285,800 MAX VALUE 1,042,430.00 825.42 2.38 5.84
Relational linkage 0.02 0.92 0.45 0.46 44,406.50 0.00 -82,830.00 0.10 0.22 4.95
Tightness 0.41 0.57 0.49 0.49 27.31 0.00 -40.35 0.03 0.07 4.03
Tuples 33,842 46,229 40,030.00 39,951.50 2,241,680 MAX VALUE 593.34 2,534.70 0.06 4.03
Values 5 5 5.00 5.00 125 2.98e+17 40.24 0.00 0.00 0.00
Value table constraints 2 19 3.20 2.00 1,880 MAX VALUE 583.31 2.71 0.85 1.34
Value table partitions 5 3,125 169.63 125.00 99,574 MAX VALUE 2,547.74 329.59 1.94 1.15
Tree decomposition
Number of clusters: 2
Number of leaves: 1
Tree depth: 1
CIR: None
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 39 44 41.50 41.50 83 1,716 7.45 2.50 0.06 0.69
Variables per cluster 24 24 24.00 24.00 48 576 6.36 0.00 0.00 0.00
Separator constraints 0 27 13.50 13.50 27 0 None 13.50 1.00 0.69
Separator variables 0 23 11.50 11.50 23 0 None 11.50 1.00 0.69
Clusters per var 1 2 1.92 2.00 48 8,388,610 15.94 0.27 0.14 0.28
Dual tree decomposition
Number of clusters: 4
Number of leaves: 2
Tree depth: 2
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1,053 1,286 1,156.75 1,144.00 4,627 1.77e+12 28.20 88.73 0.08 1.39
Variables per cluster 48 53 50.25 50.00 201 6,357,460 15.67 1.92 0.04 1.39
Separator constraints 0 1,138 799.25 1,029.50 3,197 0 None 463.87 0.58 1.39
Separator variables 0 50 36.25 47.50 145 0 None 20.96 0.58 1.39
Clusters per variable 1 4 3.59 4.00 201 1.52e+30 69.50 0.77 0.22 0.83
Primal graph
Density: 99.33%
MCB compute time (ms): 6
MCB cycles: 286
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.99 1.00 0.99 0.99 24.83 0.84 -0.17 0.00 0.00 0.44
Degree 23 24 23.84 24.00 596 2.70e+34 79.28 0.37 0.02 0.44
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 858 MAX VALUE 314.20 0.00 0.00 0.00
Triangulated primal graph
Density: 99.67%
MCB compute time (ms): 6
MCB cycles: 284
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 24.92 0.92 -0.08 0.00 0.00 0.28
Degree 23 24 23.92 24.00 598 2.94e+34 79.37 0.27 0.01 0.28
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 852 MAX VALUE 312.01 0.00 0.00 0.00
Dual graph
Density: 92.86%
MCB compute time (ms): 52
MCB cycles: 1,375
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.92 0.93 0.93 0.93 51.99 0.02 -4.16 0.00 0.00 3.58
Degree 47 54 51.07 51.00 2,860 MAX VALUE 220.23 1.70 0.03 1.88
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 4,125 MAX VALUE 1,510.59 0.00 0.00 0.00
Minimal dual graph
Density: 23.25%
MCB compute time (ms): 16
MCB cycles: 357
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.15 0.36 0.25 0.25 13.74 0.00 -79.39 0.04 0.16 3.38
Degree 9 17 12.79 13.00 716 MAX VALUE 142.28 1.58 0.12 1.83
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.17 3.00 1,133 MAX VALUE 410.04 0.38 0.12 0.46
Triangulated dual graph
Density: 98.90%
Triangles: 26,860
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.99 1.00 0.99 0.99 55.46 0.58 -0.55 0.00 0.00 0.98
Degree 47 55 54.39 55.00 3,046 MAX VALUE 223.77 1.52 0.03 0.89
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 63.25%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.75 1.00 0.87 0.85 48.97 0.00 -7.74 0.08 0.09 3.44
Degree 9 48 34.79 43.00 1,948 MAX VALUE 191.84 13.65 0.39 2.68
Eccentricity None None None None None None None None None None
Incidence graph
Density: 12.10%
MCB compute time (ms): 28
MCB cycles: 320
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-10/Incidence1.json
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 7 19 9.68 7.00 784 MAX VALUE 177.54 4.18 0.43 1.24
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 1,280 MAX VALUE 443.61 0.00 0.00 0.00