Instance: normalized-bdd-21-133-18-78-5-ext
Number of variables: 21
Number of constraints: 133
Satisfiable: True
Timestamp: 2025-07-27 21:31:34
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 21
Number of constraints: 133
General features
Coarse blocks: None
Value tables: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 18 18 18.00 18.00 2,394 MAX VALUE 384.42 0.00 0.00 0.00
Coarse blocks size None None None None None None None None None None
Relational linkage None None None None None None None None None None
Tightness 0.78 0.78 0.78 0.78 103.72 0.00 -33.07 0.00 0.00 0.00
Tuples 57,710 57,710 57,710.00 57,710.00 7,675,430 MAX VALUE 1,458.10 0.00 0.00 0.00
Values 2 2 2.00 2.00 42 2,097,150 14.56 0.00 0.00 0.00
Value table constraints None None None None None None None None None None
Value table partitions None None None None None None None None None None
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 133 133 133.00 133.00 133 133 4.89 0.00 0.00 0.00
Variables per cluster 21 21 21.00 21.00 21 21 3.04 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Clusters per var 1 1 1.00 1.00 21 1 0.00 0.00 0.00 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8,778 8,778 8,778.00 8,778.00 8,778 8,778 9.08 0.00 0.00 0.00
Variables per cluster 133 133 133.00 133.00 133 133 4.89 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Clusters per variable 1 1 1.00 1.00 133 1 0.00 0.00 0.00 0.00
Primal graph
Density: 100.00%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Primal1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 21.00 1.00 0.00 0.00 0.00 0.00
Degree 20 20 20.00 20.00 420 2.10e+27 62.91 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 21 1 0.00 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 100.00%
MCB compute time (ms): None
MCB cycles: None
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 21.00 1.00 0.00 0.00 0.00 0.00
Degree 20 20 20.00 20.00 420 2.10e+27 62.91 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 21 1 0.00 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Dual graph
Density: 100.00%
MCB compute time (ms): 4,138
MCB cycles: 8,646
Triangles: 383,306
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 133.00 1.00 0.00 0.00 0.00 0.00
Degree 132 132 132.00 132.00 17,556 MAX VALUE 649.41 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 133 1 0.00 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 25,938 MAX VALUE 9,498.60 0.00 0.00 0.00
Minimal dual graph
Density: 29.90%
MCB compute time (ms): 1,359
MCB cycles: 2,729
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 0.57 0.42 0.42 56.52 0.00 -114.31 0.04 0.09 4.85
Degree 19 69 39.47 38.00 5,250 MAX VALUE 484.50 10.24 0.26 3.47
Eccentricity 2 3 2.17 2.00 289 MAX VALUE 101.51 0.38 0.17 0.46
MCB cycle size 3 4 3.01 3.00 8,203 MAX VALUE 3,002.72 0.08 0.03 0.04
Triangulated dual graph
Density: 100.00%
Triangles: 383,306
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 133.00 1.00 0.00 0.00 0.00 0.00
Degree 132 132 132.00 132.00 17,556 MAX VALUE 649.41 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 133 1 0.00 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 77.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.85 1.00 0.92 0.92 122.79 0.00 -10.73 0.04 0.04 4.65
Degree 19 123 102.48 115.00 13,630 MAX VALUE 605.45 29.71 0.29 3.16
Eccentricity 2 3 2.03 2.00 270 MAX VALUE 93.81 0.17 0.08 0.14
Incidence graph
Density: 20.32%
MCB compute time (ms): 727
MCB cycles: 2,257
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-5-ext/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 18 123 31.09 18.00 4,788 MAX VALUE 483.86 32.99 1.06 0.71
Eccentricity 3 3 3.00 3.00 462 MAX VALUE 169.19 0.00 0.00 0.00
MCB cycle size 4 4 4.00 4.00 9,028 MAX VALUE 3,128.87 0.00 0.00 0.00