Instance: normalized-half-n25-d5-e56-r7-12
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
Component #1
Number of variables: 25Number of constraints: 56
General features
Coarse blocks: 246,916
Value tables: 565
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,855 302.88 71.00 74,786,700 MAX VALUE 1,125,430.00 777.12 2.57 5.72 Relational linkage 0.01 1.00 0.44 0.46 49,219.80 0.00 -97,193.00 0.11 0.26 4.83 Tightness 0.37 0.58 0.48 0.48 27.12 0.00 -40.76 0.04 0.07 4.03 Tuples 32,647 49,483 40,290.70 40,387.00 2,256,280 MAX VALUE 593.69 2,735.71 0.07 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 22 3.28 2.00 1,856 MAX VALUE 576.43 2.74 0.84 1.43 Value table partitions 5 3,125 200.39 125.00 113,220 MAX VALUE 2,486.58 403.21 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-12/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT Cluster constraints 31 36 32.67 31.00 98 34,596 10.45 2.36 0.07 0.64 Variables per cluster 23 23 23.00 23.00 69 12,167 9.41 0.00 0.00 0.00 Separator constraints 0 21 14.00 21.00 42 0 None 9.90 0.71 0.64 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-12/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT Cluster constraints 1,116 1,307 1,235.25 1,259.00 4,941 2.31e+12 28.47 78.63 0.06 1.39 Variables per cluster 49 53 51.50 52.00 206 7,019,690 15.76 1.66 0.03 1.04 Separator constraints 0 1,257 872.00 1,115.50 3,488 0 None 507.87 0.58 1.39 Separator variables 0 52 37.50 49.00 150 0 None 21.70 0.58 1.39 Clusters per variable 1 4 3.68 4.00 206 8.12e+30 71.17 0.71 0.19 0.71
Primal graph
Density: 98.33%
MCB compute time (ms): 5
MCB cycles: 309
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/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.59 0.66 -0.42 0.00 0.00 0.96 Degree 22 24 23.60 24.00 590 2.08e+34 79.02 0.63 0.03 0.81 Eccentricity None None None None None None None None None None MCB cycle size 3 3 3.00 3.00 927 MAX VALUE 339.47 0.00 0.00 0.00
Triangulated primal graph
Density: 99.00%
MCB compute time (ms): 5
MCB cycles: 311
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 933 MAX VALUE 341.67 0.00 0.00 0.00
Dual graph
Density: 94.35%
MCB compute time (ms): 57
MCB cycles: 1,398
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.94 0.95 0.94 0.94 52.86 0.04 -3.23 0.00 0.00 3.56 Degree 48 55 51.89 52.00 2,906 MAX VALUE 221.12 1.79 0.03 1.87 Eccentricity None None None None None None None None None None MCB cycle size 3 3 3.00 3.00 4,194 MAX VALUE 1,535.86 0.00 0.00 0.00
Minimal dual graph
Density: 22.14%
MCB compute time (ms): 14
MCB cycles: 310
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.17 0.35 0.25 0.25 14.15 0.00 -77.72 0.04 0.15 3.44 Degree 9 16 12.18 12.00 682 MAX VALUE 139.53 1.55 0.13 1.83 Eccentricity None None None None None None None None None None MCB cycle size 3 4 3.14 3.00 973 MAX VALUE 352.94 0.35 0.11 0.40
Triangulated dual graph
Density: 99.22%
Triangles: 27,105
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.99 1.00 0.99 0.99 55.61 0.67 -0.40 0.00 0.00 0.82 Degree 48 55 54.57 55.00 3,056 MAX VALUE 223.96 1.19 0.02 0.73 Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 60.45%
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.67 1.00 0.86 0.84 48.38 0.00 -8.51 0.09 0.11 3.42 Degree 9 50 33.25 41.00 1,862 MAX VALUE 188.94 13.61 0.41 2.93 Eccentricity None None None None None None None None None None
Incidence graph
Density: 12.10%
MCB compute time (ms): 21
MCB cycles: 314
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-12/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 22 9.68 7.00 784 MAX VALUE 177.26 4.38 0.45 1.32 Eccentricity None None None None None None None None None None MCB cycle size 4 4 4.00 4.00 1,256 MAX VALUE 435.30 0.00 0.00 0.00
None


