Instance: bdd-21-133-18-78-22_ext
Number of variables: 21
Number of constraints: 133
Satisfiable: None
Timestamp: 2017-10-27 10:41:01
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.69 0.00 -33.10 0.00 0.00 0.00
Tuples 57,760 57,760 57,760.00 57,760.00 7,682,080 MAX VALUE 1,458.22 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
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Tree1.pdf
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
Cluster variables 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
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/DualTree1.pdf
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
Cluster variables 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
Primal graph
Density: 100.00%
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Primal1.pdf
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
Triangulated primal graph
Density: 100.00%
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
Dual graph
Density: 100.00%
MCB compute time (ms): 4,002
MCB cycles: 8,646
Triangles: 383,306
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Dual1.pdf

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: 30.42%
MCB compute time (ms): 3,399
MCB cycles: 2,617
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.50 0.41 0.41 54.89 0.00 -118.07 0.03 0.07 4.87
Degree 24 68 40.15 41.00 5,340 MAX VALUE 487.95 8.68 0.22 3.39
Eccentricity 2 3 2.06 2.00 274 MAX VALUE 95.43 0.24 0.12 0.23
MCB cycle size 3 4 3.00 3.00 7,857 MAX VALUE 2,876.79 0.05 0.02 0.02
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: 79.86%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.85 1.00 0.93 0.92 123.50 0.00 -9.93 0.03 0.04 4.62
Degree 24 126 105.41 117.00 14,020 MAX VALUE 610.56 28.51 0.27 2.95
Eccentricity 2 2 2.00 2.00 266 MAX VALUE 92.19 0.00 0.00 0.00
Incidence graph
Density: 20.32%
MCB compute time (ms): 731
MCB cycles: 2,241
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-22_ext/Incidence1.pdf
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 120 31.09 18.00 4,788 MAX VALUE 483.87 32.98 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 8,964 MAX VALUE 3,106.69 0.00 0.00 0.00