Instance: normalized-half-n25-d5-e56-r7-9
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: 280,018
Value tables: 579
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,426 266.28 69.00 74,563,800 MAX VALUE 1,200,140.00 712.17 2.67 5.59
Relational linkage 0.01 1.00 0.44 0.45 54,884.00 0.00 -109,753.00 0.12 0.27 4.75
Tightness 0.42 0.55 0.49 0.49 27.47 0.00 -40.03 0.03 0.07 4.00
Tuples 35,101 45,594 39,805.20 39,492.50 2,229,090 MAX VALUE 593.02 2,622.44 0.07 4.00
Values 5 5 5.00 5.00 125 2.98e+17 40.24 0.00 0.00 0.00
Value table constraints 2 23 3.23 2.00 1,871 MAX VALUE 580.08 2.78 0.86 1.38
Value table partitions 5 15,238 224.68 125.00 130,088 MAX VALUE 2,584.73 722.39 3.22 1.21
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-9/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 24 39 31.33 31.00 94 29,016 10.28 6.13 0.20 1.10
Variables per cluster 22 23 22.67 23.00 68 11,638 9.36 0.47 0.02 0.64
Separator constraints 0 26 12.67 12.00 38 0 None 10.62 0.84 1.10
Separator variables 0 22 14.33 21.00 43 0 None 10.14 0.71 1.10
Clusters per var 1 3 2.72 3.00 68 2.79e+10 24.05 0.60 0.22 0.64
Dual tree decomposition
Number of clusters: 5
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-9/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 976 1,254 1,188.80 1,252.00 5,944 2.32e+15 35.38 107.68 0.09 1.33
Variables per cluster 46 52 50.60 52.00 253 329,866,000 19.61 2.33 0.05 0.95
Separator constraints 0 1,204 899.60 1,160.00 4,498 0 None 461.04 0.51 1.61
Separator variables 0 51 39.40 50.00 197 0 None 19.83 0.50 1.33
Clusters per variable 1 5 4.52 5.00 253 4.29e+35 82.05 0.98 0.22 0.88
Primal graph
Density: 97.33%
MCB compute time (ms): 5
MCB cycles: 279
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.97 0.99 0.98 0.97 24.38 0.53 -0.63 0.01 0.01 1.22
Degree 21 24 23.36 24.00 584 1.59e+34 78.75 0.97 0.04 1.04
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 837 MAX VALUE 306.51 0.00 0.00 0.00
Triangulated primal graph
Density: 98.67%
MCB compute time (ms): 5
MCB cycles: 293
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.69 0.74 -0.31 0.00 0.00 0.71
Degree 21 24 23.68 24.00 592 2.26e+34 79.10 0.73 0.03 0.69
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 879 MAX VALUE 321.89 0.00 0.00 0.00
Dual graph
Density: 93.90%
MCB compute time (ms): 51
MCB cycles: 1,391
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.93 0.95 0.94 0.94 52.61 0.03 -3.50 0.00 0.00 3.58
Degree 45 55 51.64 52.00 2,892 MAX VALUE 220.85 1.86 0.04 1.90
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 4,173 MAX VALUE 1,528.17 0.00 0.00 0.00
Minimal dual graph
Density: 21.75%
MCB compute time (ms): 9
MCB cycles: 557
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.14 0.33 0.24 0.24 13.63 0.00 -79.97 0.04 0.17 3.30
Degree 8 15 11.96 12.00 670 MAX VALUE 138.51 1.53 0.13 1.82
Eccentricity None None None None None None None None None None
MCB cycle size 3 5 3.52 4.00 1,963 MAX VALUE 695.74 0.51 0.14 0.72
Triangulated dual graph
Density: 98.90%
Triangles: 26,865
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.54 0.00 0.00 1.01
Degree 45 55 54.39 55.00 3,046 MAX VALUE 223.76 1.58 0.03 0.90
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 61.69%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.86 0.84 48.43 0.00 -8.37 0.08 0.09 3.61
Degree 8 48 33.93 41.00 1,900 MAX VALUE 190.47 13.37 0.39 2.93
Eccentricity None None None None None None None None None None
Incidence graph
Density: 12.10%
MCB compute time (ms): 16
MCB cycles: 369
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-9/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 176.83 4.66 0.48 1.35
Eccentricity None None None None None None None None None None
MCB cycle size 4 6 4.01 4.00 1,478 MAX VALUE 511.95 0.10 0.03 0.02