Instance: bdd-21-133-18-78-3_ext
Number of variables: 21
Number of constraints: 133
Satisfiable: None
Timestamp: 2017-10-27 10:41:02
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.81 0.00 -32.96 0.00 0.00 0.00
Tuples 57,535 57,535 57,535.00 57,535.00 7,652,160 MAX VALUE 1,457.70 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-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_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-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_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-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_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,071
MCB cycles: 8,646
Triangles: 383,306
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_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: 33.46%
MCB compute time (ms): 2,165
MCB cycles: 2,893
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 0.54 0.44 0.44 58.24 0.00 -110.20 0.03 0.07 4.86
Degree 23 73 44.17 44.00 5,874 MAX VALUE 500.47 9.72 0.22 3.51
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 8,683 MAX VALUE 3,179.44 0.04 0.01 0.01
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: 81.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.86 1.00 0.93 0.92 123.72 0.00 -9.70 0.03 0.03 4.68
Degree 23 127 107.76 119.00 14,332 MAX VALUE 615.03 26.94 0.25 3.00
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): 752
MCB cycles: 2,241
Dot-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/bddSmall/bdd-21-133-18-78-3_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.97 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