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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 386
General features
Coarse blocks: 15,440
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 772 MAX VALUE 267.56 0.00 0.00 0.00
Coarse blocks size 7 20 14.99 15.00 231,380 MAX VALUE 41,658.10 1.96 0.13 2.09
Relational linkage 0.35 0.80 0.57 0.60 573.35 0.00 -563.21 0.07 0.12 1.69
Tightness 0.18 0.32 0.25 0.25 96.78 0.00 -535.63 0.02 0.09 3.57
Tuples 272 327 299.71 300.00 115,690 MAX VALUE 2,201.11 9.16 0.03 3.57
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 4 26 15.44 16.00 772 MAX VALUE 133.50 4.85 0.31 2.68
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: 28
Number of leaves: 4
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 9 100 52.75 46.50 1,477 MAX VALUE 106.78 24.37 0.46 3.07
Cluster variables 5 15 11.79 12.00 330 3.78e+29 68.10 2.74 0.23 1.92
Separator constraints 0 86 38.96 34.50 1,091 0 None 22.51 0.58 3.02
Separator variables 0 14 10.00 10.00 280 0 None 3.30 0.33 1.97
Dual tree decomposition
Number of clusters: 48
Number of leaves: 20
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 937 389.60 360.00 18,701 MAX VALUE 272.05 244.26 0.63 3.77
Cluster variables 7 104 46.96 38.00 2,254 MAX VALUE 176.70 25.80 0.55 3.57
Separator constraints 0 530 261.25 260.00 12,540 0 None 143.12 0.55 3.72
Separator variables 0 75 38.92 36.00 1,868 0 None 18.96 0.49 3.42
Primal graph
Density: 31.51%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.73 0.74 36.33 0.00 -16.73 0.12 0.17 3.63
Degree 4 26 15.44 16.00 772 MAX VALUE 133.50 4.85 0.31 2.68
Eccentricity 3 5 3.60 4.00 180 3.31e+27 63.37 0.60 0.17 0.88
Triangulated primal graph
Density: 38.61%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.80 0.80 40.10 0.00 -11.83 0.14 0.17 3.57
Degree 4 36 18.92 19.00 946 MAX VALUE 142.27 7.29 0.39 2.95
Eccentricity 2 3 2.74 3.00 137 3.69e+21 49.66 0.44 0.16 0.57
Dual graph
Density: 8.29%
MCB compute time (ms): 4,042
MCB cycles: 5,778
Triangles: 34,462
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Dual1.pdf

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.65 0.52 0.52 200.99 0.00 -252.17 0.02 0.04 5.18
Degree 6 47 31.92 33.00 12,322 MAX VALUE 1,324.68 7.02 0.22 3.25
Eccentricity 3 5 4.14 4.00 1,598 MAX VALUE 546.06 0.46 0.11 0.65
MCB cycle size 3 3 3.00 3.00 17,334 MAX VALUE 6,347.78 0.00 0.00 0.00
Minimal dual graph
Density: 0.97%
MCB compute time (ms): 1,001
MCB cycles: 338
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.03 11.75 0.05
Degree 2 7 3.74 4.00 1,444 MAX VALUE 499.25 0.87 0.23 1.21
Eccentricity 7 11 8.87 9.00 3,425 MAX VALUE 841.36 0.73 0.08 1.09
MCB cycle size 3 9 6.22 6.00 2,104 MAX VALUE 610.72 1.26 0.20 1.62
Triangulated dual graph
Density: 31.94%
Triangles: 830,147
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.80 0.82 310.62 0.00 -89.02 0.12 0.15 4.92
Degree 6 309 122.97 123.00 47,466 MAX VALUE 1,799.78 57.92 0.47 4.36
Eccentricity 2 4 3.16 3.00 1,220 MAX VALUE 441.08 0.41 0.13 0.56
Triangulated minimal dual graph
Density: 8.27%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.80 0.75 308.04 0.00 -94.49 0.16 0.20 3.74
Degree 2 125 31.84 8.00 12,290 MAX VALUE 986.35 39.62 1.24 3.56
Eccentricity 3 5 4.15 4.00 1,602 MAX VALUE 544.63 0.63 0.15 0.95
Incidence graph
Density: 0.81%
MCB compute time (ms): 333
MCB cycles: 337
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-80_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 26 3.54 2.00 1,544 MAX VALUE 401.06 4.59 1.30 0.66
Eccentricity 6 11 8.34 8.00 3,635 MAX VALUE 922.07 0.92 0.11 1.11
MCB cycle size 6 6 6.00 6.00 2,022 MAX VALUE 603.82 0.00 0.00 0.00