Instance: geo50-20-d4-75-90_ext
Number of variables: 50
Number of constraints: 474
Satisfiable: None
Timestamp: 2017-10-27 10:45:32
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 50
Number of constraints: 474
General features
Coarse blocks: 18,960
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 948 MAX VALUE 328.55 0.00 0.00 0.00
Coarse blocks size 6 20 15.01 15.00 284,520 MAX VALUE 51,185.80 1.94 0.13 2.08
Relational linkage 0.30 0.75 0.57 0.55 567.10 0.00 -573.62 0.06 0.11 1.64
Tightness 0.19 0.33 0.25 0.25 118.35 0.00 -659.50 0.02 0.09 3.54
Tuples 270 324 300.13 300.00 142,260 MAX VALUE 2,703.59 8.68 0.03 3.54
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 4 33 18.96 20.00 948 MAX VALUE 143.03 6.79 0.36 3.02
Value table partitions 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Tree decomposition
Number of clusters: 22
Number of leaves: 5
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 137 81.91 82.50 1,802 MAX VALUE 93.76 34.91 0.43 3.03
Cluster variables 5 20 14.23 14.50 313 8.39e+24 57.39 3.80 0.27 2.20
Separator constraints 0 116 60.36 65.00 1,328 0 None 31.62 0.52 2.97
Separator variables 0 18 11.95 13.00 263 0 None 4.40 0.37 2.20
Dual tree decomposition
Number of clusters: 48
Number of leaves: 20
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 35 2,557 682.92 546.50 32,780 MAX VALUE 295.76 559.13 0.82 3.87
Cluster variables 11 188 63.48 48.50 3,047 MAX VALUE 189.25 42.49 0.67 3.58
Separator constraints 0 1,328 481.56 456.50 23,115 0 None 342.59 0.71 3.87
Separator variables 0 142 53.60 45.50 2,573 0 None 32.04 0.60 3.73
Primal graph
Density: 38.69%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.74 0.72 36.80 0.00 -16.03 0.12 0.17 3.68
Degree 4 33 18.96 20.00 948 MAX VALUE 143.03 6.79 0.36 3.02
Eccentricity 2 4 3.02 3.00 151 3.32e+23 54.16 0.62 0.20 0.93
Triangulated primal graph
Density: 47.02%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.82 0.82 40.80 0.00 -10.80 0.13 0.16 3.21
Degree 4 40 23.04 23.50 1,152 MAX VALUE 151.38 9.33 0.40 3.07
Eccentricity 2 3 2.58 3.00 129 1.44e+20 46.42 0.49 0.19 0.68
Dual graph
Density: 8.62%
MCB compute time (ms): 6,335
MCB cycles: 9,548
Triangles: 70,698
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.82 0.53 0.52 250.72 0.00 -302.95 0.04 0.07 5.58
Degree 10 62 40.78 42.00 19,330 MAX VALUE 1,742.66 9.49 0.23 3.57
Eccentricity 3 4 3.46 3.00 1,638 MAX VALUE 582.88 0.50 0.14 0.69
MCB cycle size 3 4 3.00 3.00 28,676 MAX VALUE 10,498.80 0.06 0.02 0.02
Minimal dual graph
Density: 0.80%
MCB compute time (ms): 3,017
MCB cycles: 425
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.10 0.00 0.00 0.23 0.00 None 0.01 12.78 0.04
Degree 2 6 3.79 4.00 1,796 MAX VALUE 618.55 0.90 0.24 1.22
Eccentricity 7 10 8.12 8.00 3,849 MAX VALUE 991.27 0.63 0.08 0.96
MCB cycle size 3 10 6.67 7.00 2,835 MAX VALUE 799.69 1.14 0.17 1.52
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 9.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.83 0.79 391.63 0.00 -96.93 0.14 0.16 3.83
Degree 2 155 44.11 8.00 20,908 MAX VALUE 1,279.84 56.77 1.29 3.45
Eccentricity 3 5 3.75 4.00 1,776 MAX VALUE 621.29 0.52 0.14 0.77
Incidence graph
Density: 0.69%
MCB compute time (ms): 579
MCB cycles: 425
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-90_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 2 33 3.62 2.00 1,896 MAX VALUE 471.59 5.41 1.49 0.60
Eccentricity 5 9 7.01 7.00 3,675 MAX VALUE 1,015.24 1.00 0.14 1.18
MCB cycle size 6 6 6.00 6.00 2,550 MAX VALUE 761.50 0.00 0.00 0.00