Instance: bdd-21-133-18-78-17_ext
Number of variables: 21
Number of constraints: 133
Satisfiable: None
Timestamp: 2017-10-27 10:41:03
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.62 0.00 -33.20 0.00 0.00 0.00
Tuples 57,906 57,906 57,906.00 57,906.00 7,701,500 MAX VALUE 1,458.55 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-17_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_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-17_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_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-17_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_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,161
MCB cycles: 8,646
Triangles: 383,306
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_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.41%
MCB compute time (ms): 822
MCB cycles: 3,082
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.34 0.56 0.43 0.43 57.32 0.00 -112.49 0.04 0.09 4.87
Degree 20 69 40.14 39.00 5,338 MAX VALUE 485.95 11.07 0.28 3.57
Eccentricity 2 3 2.20 2.00 292 MAX VALUE 102.73 0.40 0.18 0.49
MCB cycle size 3 4 3.01 3.00 9,285 MAX VALUE 3,397.14 0.11 0.04 0.07
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.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.83 1.00 0.91 0.90 121.03 0.00 -12.68 0.04 0.05 4.71
Degree 20 125 101.64 114.00 13,518 MAX VALUE 605.62 28.25 0.28 3.55
Eccentricity 2 3 2.04 2.00 271 MAX VALUE 94.22 0.19 0.09 0.16
Incidence graph
Density: 20.32%
MCB compute time (ms): 715
MCB cycles: 2,241
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-17_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.86 32.99 1.06 0.73
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