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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 433
General features
Coarse blocks: 17,320
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 866 MAX VALUE 300.13 0.00 0.00 0.00
Coarse blocks size 7 20 15.01 15.00 259,926 MAX VALUE 46,762.10 1.93 0.13 2.07
Relational linkage 0.35 0.80 0.57 0.60 573.60 0.00 -562.31 0.06 0.11 1.64
Tightness 0.19 0.32 0.25 0.25 108.09 0.00 -602.48 0.02 0.08 3.49
Tuples 274 325 300.14 300.00 129,963 MAX VALUE 2,469.77 8.48 0.03 3.49
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 6 27 17.32 18.00 866 MAX VALUE 139.94 5.37 0.31 2.79
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-46_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 17 123 75.14 74.50 1,653 MAX VALUE 92.97 29.11 0.39 2.97
Cluster variables 7 21 14.55 14.50 320 1.79e+25 58.14 3.64 0.25 2.32
Separator constraints 0 103 55.45 59.00 1,220 0 None 28.48 0.51 2.90
Separator variables 0 18 12.27 12.50 270 0 None 4.35 0.35 2.37
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 80 1,487 523.52 463.00 25,129 MAX VALUE 288.06 361.47 0.69 3.84
Cluster variables 17 143 56.12 44.00 2,694 MAX VALUE 185.50 33.51 0.60 3.61
Separator constraints 0 761 361.29 332.50 17,342 0 None 212.02 0.59 3.81
Separator variables 0 107 47.10 41.50 2,261 0 None 24.67 0.52 3.57
Primal graph
Density: 35.35%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.98 0.72 0.72 36.00 0.00 -17.13 0.12 0.17 3.65
Degree 6 27 17.32 18.00 866 MAX VALUE 139.94 5.37 0.31 2.79
Eccentricity 2 4 2.98 3.00 149 2.99e+23 54.05 0.42 0.14 0.60
Triangulated primal graph
Density: 47.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.81 0.80 40.63 0.00 -10.95 0.12 0.15 3.32
Degree 6 39 23.32 26.00 1,166 MAX VALUE 152.90 8.96 0.38 3.03
Eccentricity 2 3 2.54 3.00 127 6.40e+19 45.60 0.50 0.20 0.69
Dual graph
Density: 8.33%
MCB compute time (ms): 7,479
MCB cycles: 7,548
Triangles: 49,691
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_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.66 0.52 0.52 226.30 0.00 -281.33 0.02 0.04 5.32
Degree 16 52 35.97 37.00 15,574 MAX VALUE 1,538.16 8.33 0.23 3.44
Eccentricity 3 4 3.55 4.00 1,535 MAX VALUE 543.59 0.50 0.14 0.69
MCB cycle size 3 4 3.01 3.00 22,698 MAX VALUE 8,307.86 0.08 0.03 0.04
Minimal dual graph
Density: 0.87%
MCB compute time (ms): 1,693
MCB cycles: 388
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.02 12.45 0.05
Degree 2 6 3.77 4.00 1,632 MAX VALUE 563.81 0.86 0.23 1.20
Eccentricity 7 11 8.59 9.00 3,721 MAX VALUE 929.77 0.74 0.09 1.12
MCB cycle size 3 9 6.58 7.00 2,552 MAX VALUE 723.88 1.19 0.18 1.58
Triangulated dual graph
Density: 36.87%
Triangles: 1,615,650
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.81 0.83 351.16 0.00 -95.79 0.12 0.15 5.00
Degree 16 327 159.28 169.00 68,970 MAX VALUE 2,127.76 76.11 0.48 4.53
Eccentricity 2 4 2.97 3.00 1,284 MAX VALUE 465.26 0.45 0.15 0.65
Triangulated minimal dual graph
Density: 8.87%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.82 0.77 354.08 0.00 -94.03 0.15 0.18 3.76
Degree 2 137 38.30 8.00 16,586 MAX VALUE 1,140.57 48.90 1.28 3.51
Eccentricity 3 5 3.94 4.00 1,704 MAX VALUE 588.60 0.56 0.14 0.85
Incidence graph
Density: 0.74%
MCB compute time (ms): 526
MCB cycles: 384
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-46_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 27 3.59 2.00 1,732 MAX VALUE 440.07 4.98 1.39 0.62
Eccentricity 5 9 7.18 7.00 3,467 MAX VALUE 947.90 0.92 0.13 1.11
MCB cycle size 6 6 6.00 6.00 2,304 MAX VALUE 688.04 0.00 0.00 0.00