Instance: normalized-half-n25-d5-e56-r7-14
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,742
Value tables: 567
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,441 264.08 67.00 74,138,400 MAX VALUE 1,231,410.00 722.31 2.74 5.49
Relational linkage 0.01 0.96 0.44 0.46 56,450.90 0.00 -109,570.00 0.10 0.24 4.61
Tightness 0.40 0.60 0.49 0.49 27.36 0.00 -40.25 0.04 0.07 4.03
Tuples 31,560 46,581 39,953.00 40,086.50 2,237,370 MAX VALUE 593.21 2,746.87 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.27 2.00 1,855 MAX VALUE 574.31 2.78 0.85 1.41
Value table partitions 5 3,125 226.59 125.00 128,475 MAX VALUE 2,538.08 457.45 2.02 1.24
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-14/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 24 36 31.67 35.00 95 30,240 10.32 5.44 0.17 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 25 13.00 14.00 39 0 None 10.23 0.79 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: 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-14/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1,061 1,302 1,205.75 1,230.00 4,823 2.08e+12 28.37 100.80 0.08 1.39
Variables per cluster 48 53 51.00 51.50 204 6,741,600 15.72 2.12 0.04 1.04
Separator constraints 0 1,250 844.25 1,063.50 3,377 0 None 494.58 0.59 1.39
Separator variables 0 52 37.00 48.00 148 0 None 21.44 0.58 1.39
Clusters per variable 1 4 3.64 4.00 204 4.57e+30 70.60 0.72 0.20 0.76
Primal graph
Density: 98.33%
MCB compute time (ms): 4
MCB cycles: 334
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.98 1.00 0.98 0.98 24.62 0.68 -0.39 0.01 0.01 0.87
Degree 21 24 23.60 24.00 590 2.07e+34 79.02 0.80 0.03 0.79
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 1,002 MAX VALUE 366.94 0.00 0.00 0.00
Triangulated primal graph
Density: 98.67%
MCB compute time (ms): 4
MCB cycles: 337
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 1,011 MAX VALUE 370.23 0.00 0.00 0.00
Dual graph
Density: 93.90%
MCB compute time (ms): 59
MCB cycles: 1,391
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/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.59 0.03 -3.52 0.00 0.00 3.50
Degree 47 55 51.64 52.00 2,892 MAX VALUE 220.85 1.68 0.03 1.84
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: 20.65%
MCB compute time (ms): 11
MCB cycles: 328
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.07 0.36 0.23 0.24 13.06 0.00 -84.10 0.06 0.27 3.50
Degree 8 16 11.36 11.00 636 MAX VALUE 135.25 1.93 0.17 2.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.33 3.00 1,091 MAX VALUE 391.13 0.47 0.14 0.63
Triangulated dual graph
Density: 99.09%
Triangles: 27,009
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.99 1.00 0.99 0.99 55.55 0.64 -0.45 0.00 0.00 0.91
Degree 47 55 54.50 55.00 3,052 MAX VALUE 223.88 1.36 0.03 0.79
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 59.61%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.86 0.84 48.35 0.00 -8.47 0.08 0.10 3.50
Degree 8 47 32.79 41.00 1,836 MAX VALUE 187.69 13.64 0.42 2.87
Eccentricity None None None None None None None None None None
Incidence graph
Density: 12.10%
MCB compute time (ms): 24
MCB cycles: 316
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/dag-half/normalized-half-n25-d5-e56-r7-14/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.17 4.44 0.46 1.25
Eccentricity None None None None None None None None None None
MCB cycle size 4 4 4.00 4.00 1,264 MAX VALUE 438.07 0.00 0.00 0.00