Instance: normalized-geo50-20-d4-75-96-ext
Number of variables: 50
Number of constraints: 429
Satisfiable: None
Timestamp: 2017-10-27 10:45:31
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 50
Number of constraints: 429
General features
Coarse blocks: 17,160
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 858 MAX VALUE 297.36 0.00 0.00 0.00
Coarse blocks size 6 20 15.00 15.00 257,396 MAX VALUE 46,318.40 1.94 0.13 2.07
Relational linkage 0.30 0.80 0.57 0.60 574.70 0.00 -561.18 0.07 0.12 1.72
Tightness 0.20 0.32 0.25 0.25 107.25 0.00 -596.24 0.02 0.08 3.50
Tuples 272 322 300.00 300.00 128,698 MAX VALUE 2,446.74 8.47 0.03 3.50
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 3 28 17.16 17.00 858 MAX VALUE 137.07 6.44 0.38 2.98
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: 24
Number of leaves: 4
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 140 59.67 62.00 1,432 MAX VALUE 91.80 34.61 0.58 2.93
Cluster variables 4 18 11.21 12.00 269 2.74e+24 56.27 3.72 0.33 2.22
Separator constraints 0 123 41.79 44.00 1,003 0 None 28.50 0.68 2.81
Separator variables 0 17 9.12 10.00 219 0 None 3.93 0.43 2.21
Dual tree decomposition
Number of clusters: 48
Number of leaves: 19
Tree depth: 12
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 1,765 509.52 450.00 24,457 MAX VALUE 279.94 412.87 0.81 3.84
Cluster variables 7 153 52.31 46.00 2,511 MAX VALUE 180.01 33.18 0.63 3.61
Separator constraints 0 1,023 343.48 274.00 16,487 0 None 255.98 0.75 3.84
Separator variables 0 113 43.38 42.50 2,082 0 None 25.42 0.59 3.59
Primal graph
Density: 35.02%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.76 0.74 37.80 0.00 -14.63 0.12 0.16 3.68
Degree 3 28 17.16 17.00 858 MAX VALUE 137.07 6.44 0.38 2.98
Eccentricity 3 5 4.04 4.00 202 1.26e+30 69.31 0.56 0.14 0.85
Triangulated primal graph
Density: 37.88%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.79 0.78 39.68 0.00 -12.18 0.12 0.16 3.39
Degree 3 36 18.56 19.00 928 MAX VALUE 140.34 7.48 0.40 2.78
Eccentricity 3 5 3.72 4.00 186 1.74e+28 65.03 0.60 0.16 0.89
Dual graph
Density: 8.68%
MCB compute time (ms): 4,791
MCB cycles: 7,663
Triangles: 52,926
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Dual1.pdf

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.80 0.52 0.51 224.96 0.00 -277.58 0.03 0.06 5.35
Degree 6 53 37.16 39.00 15,940 MAX VALUE 1,533.09 9.21 0.25 3.49
Eccentricity 3 6 4.53 5.00 1,942 MAX VALUE 643.81 0.60 0.13 0.89
MCB cycle size 3 4 3.00 3.00 23,000 MAX VALUE 8,421.83 0.04 0.01 0.01
Minimal dual graph
Density: 0.88%
MCB compute time (ms): 1,403
MCB cycles: 380
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.90 0.00 None 0.03 7.79 0.13
Degree 2 6 3.77 4.00 1,616 MAX VALUE 557.22 0.90 0.24 1.23
Eccentricity 7 11 9.10 9.00 3,904 MAX VALUE 945.36 0.88 0.10 1.27
MCB cycle size 3 10 6.35 6.00 2,413 MAX VALUE 694.00 1.29 0.20 1.66
Triangulated dual graph
Density: 34.02%
Triangles: 1,413,650
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.81 0.81 346.40 0.00 -95.39 0.10 0.13 5.04
Degree 6 297 145.59 138.00 62,456 MAX VALUE 2,060.68 71.45 0.49 4.63
Eccentricity 3 5 4.06 4.00 1,740 MAX VALUE 595.95 0.59 0.15 0.89
Triangulated minimal dual graph
Density: 7.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 0.79 0.75 340.71 0.00 -107.40 0.16 0.20 3.82
Degree 2 136 31.83 8.00 13,654 MAX VALUE 1,093.60 40.09 1.26 3.59
Eccentricity 4 7 4.98 5.00 2,138 MAX VALUE 685.22 0.66 0.13 1.00
Incidence graph
Density: 0.75%
MCB compute time (ms): 374
MCB cycles: 380
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-96_ext/Incidence1.pdf
JSON-file path: None
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 28 3.58 2.00 1,716 MAX VALUE 434.43 5.08 1.42 0.65
Eccentricity 6 12 9.16 10.00 4,389 MAX VALUE 1,057.61 1.08 0.12 1.29
MCB cycle size 6 6 6.00 6.00 2,280 MAX VALUE 680.87 0.00 0.00 0.00