Instance: normalized-bdd-21-133-18-78-24-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.76 0.00 -33.02 0.00 0.00 0.00
Tuples 57,639 57,639 57,639.00 57,639.00 7,665,990 MAX VALUE 1,457.94 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-24-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-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-24-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-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-24-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-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,281
MCB cycles: 8,646
Triangles: 383,306
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-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.56%
MCB compute time (ms): 587
MCB cycles: 2,899
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 0.59 0.43 0.43 57.56 0.00 -112.06 0.04 0.10 4.89
Degree 18 83 39.02 37.00 5,190 MAX VALUE 481.51 11.81 0.30 3.63
Eccentricity 2 3 2.20 2.00 293 MAX VALUE 103.14 0.40 0.18 0.50
MCB cycle size 3 4 3.02 3.00 8,750 MAX VALUE 3,200.12 0.13 0.04 0.09
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: 76.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.83 1.00 0.91 0.91 121.67 0.00 -11.98 0.04 0.05 4.65
Degree 18 124 100.45 114.00 13,360 MAX VALUE 602.45 29.81 0.30 3.39
Eccentricity 2 3 2.02 2.00 268 MAX VALUE 93.00 0.12 0.06 0.08
Incidence graph
Density: 20.32%
MCB compute time (ms): 2,351
MCB cycles: 2,241
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/normalized-bdd-21-133-18-78-24-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.75
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 8,964 MAX VALUE 3,106.69 0.00 0.00 0.00