Instance: normalized-half-n25-d5-e56-r7-11
Number of variables: 25
Number of constraints: 56
Satisfiable: True
Timestamp: 2025-07-15 13:00:07
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: 274,906
Value tables: 580
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 12,054 269.28 68.00 74,027,400 MAX VALUE 1,216,260.00 727.42 2.70 5.59
Relational linkage 0.01 1.00 0.43 0.44 54,112.60 0.00 -110,172.00 0.11 0.25 4.73
Tightness 0.34 0.59 0.49 0.49 27.62 0.00 -39.81 0.04 0.09 4.03
Tuples 31,734 51,624 39,587.80 39,661.00 2,216,920 MAX VALUE 592.62 3,454.00 0.09 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 25 3.22 2.00 1,868 MAX VALUE 575.63 2.83 0.88 1.34
Value table partitions 5 3,125 217.07 125.00 125,900 MAX VALUE 2,584.76 436.29 2.01 1.22
Tree decomposition
Number of clusters: 3
Number of leaves: 2
Tree depth: 1
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 30 37 33.00 32.00 99 35,520 10.48 2.94 0.09 1.10
Variables per cluster 23 23 23.00 23.00 69 12,167 9.41 0.00 0.00 0.00
Separator constraints 0 24 14.33 19.00 43 0 None 10.34 0.72 1.10
Separator variables 0 22 14.67 22.00 44 0 None 10.37 0.71 0.64
Clusters per var 1 3 2.76 3.00 69 4.18e+10 24.46 0.59 0.21 0.55
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-11/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1,073 1,313 1,192.00 1,191.00 4,768 1.99e+12 28.32 98.96 0.08 1.39
Variables per cluster 48 53 50.50 50.50 202 6,482,110 15.68 2.06 0.04 1.39
Separator constraints 0 1,214 827.75 1,048.50 3,311 0 None 482.92 0.58 1.39
Separator variables 0 51 36.50 47.50 146 0 None 21.12 0.58 1.39
Clusters per variable 1 4 3.61 4.00 202 2.03e+30 69.79 0.77 0.21 0.80
Primal graph
Density: 98.00%
MCB compute time (ms): 8
MCB cycles: 270
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.98 0.99 0.98 0.98 24.50 0.60 -0.51 0.00 0.00 1.05
Degree 22 24 23.52 24.00 588 1.91e+34 78.94 0.64 0.03 0.87
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 810 MAX VALUE 296.62 0.00 0.00 0.00
Triangulated primal graph
Density: 99.00%
MCB compute time (ms): 6
MCB cycles: 276
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.99 1.00 0.99 0.99 24.76 0.79 -0.24 0.00 0.00 0.55
Degree 22 24 23.76 24.00 594 2.47e+34 79.19 0.59 0.02 0.55
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 828 MAX VALUE 303.22 0.00 0.00 0.00
Dual graph
Density: 94.61%
MCB compute time (ms): 48
MCB cycles: 1,402
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.94 0.95 0.95 0.95 52.99 0.05 -3.09 0.00 0.00 3.57
Degree 47 55 52.04 52.00 2,914 MAX VALUE 221.28 1.68 0.03 1.85
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 4,206 MAX VALUE 1,540.25 0.00 0.00 0.00
Minimal dual graph
Density: 21.69%
MCB compute time (ms): 11
MCB cycles: 335
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.09 0.29 0.22 0.24 12.60 0.00 -85.05 0.05 0.21 3.49
Degree 8 17 11.93 12.00 668 MAX VALUE 138.18 1.79 0.15 1.92
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.25 3.00 1,088 MAX VALUE 391.91 0.43 0.13 0.56
Triangulated dual graph
Density: 98.96%
Triangles: 26,910
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.99 1.00 0.99 0.99 55.49 0.60 -0.52 0.00 0.00 0.97
Degree 47 55 54.43 55.00 3,048 MAX VALUE 223.80 1.49 0.03 0.87
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 62.27%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.87 0.86 48.88 0.00 -7.84 0.08 0.09 3.53
Degree 8 48 34.25 42.00 1,918 MAX VALUE 190.53 13.72 0.40 2.85
Eccentricity None None None None None None None None None None
Incidence graph
Density: 12.10%
MCB compute time (ms): 18
MCB cycles: 313
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-11/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 25 9.68 7.00 784 MAX VALUE 177.04 4.56 0.47 1.32
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 1,252 MAX VALUE 433.91 0.00 0.00 0.00