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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 420
General features
Coarse blocks: 16,800
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 840 MAX VALUE 291.12 0.00 0.00 0.00
Coarse blocks size 7 20 15.01 15.00 252,132 MAX VALUE 45,357.00 1.94 0.13 2.08
Relational linkage 0.35 0.75 0.57 0.60 573.75 0.00 -561.70 0.06 0.11 1.62
Tightness 0.18 0.32 0.25 0.25 104.83 0.00 -584.42 0.02 0.09 3.48
Tuples 273 326 300.16 300.00 126,066 MAX VALUE 2,395.64 8.49 0.03 3.48
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 7 26 16.80 17.00 840 MAX VALUE 138.46 5.16 0.31 2.82
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: 26
Number of leaves: 4
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 28 114 63.46 55.50 1,650 MAX VALUE 105.58 26.11 0.41 2.90
Cluster variables 8 19 12.92 13.00 336 3.62e+28 65.76 3.11 0.24 2.25
Separator constraints 0 88 47.31 41.50 1,230 0 None 24.48 0.52 3.08
Separator variables 0 16 11.00 11.00 286 0 None 3.66 0.33 2.23
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 48 1,603 474.96 382.50 22,798 MAX VALUE 283.18 339.38 0.71 3.84
Cluster variables 13 140 52.25 44.50 2,508 MAX VALUE 182.67 29.77 0.57 3.59
Separator constraints 0 998 322.85 282.50 15,497 0 None 210.22 0.65 3.81
Separator variables 0 103 43.50 39.50 2,088 0 None 21.89 0.50 3.63
Primal graph
Density: 34.29%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.72 0.70 36.15 0.00 -16.97 0.12 0.17 3.77
Degree 7 26 16.80 17.00 840 MAX VALUE 138.46 5.16 0.31 2.82
Eccentricity 2 4 3.04 3.00 152 7.08e+23 54.92 0.49 0.16 0.71
Triangulated primal graph
Density: 42.86%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.80 0.79 40.17 0.00 -11.57 0.12 0.15 3.70
Degree 7 40 21.00 21.00 1,050 MAX VALUE 147.77 8.40 0.40 3.15
Eccentricity 2 3 2.56 3.00 128 9.60e+19 46.01 0.50 0.19 0.69
Dual graph
Density: 8.30%
MCB compute time (ms): 9,039
MCB cycles: 6,921
Triangles: 44,923
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.65 0.52 0.52 219.41 0.00 -273.10 0.02 0.04 5.51
Degree 12 50 34.77 35.00 14,602 MAX VALUE 1,477.80 7.99 0.23 3.40
Eccentricity 3 5 3.60 4.00 1,513 MAX VALUE 534.07 0.50 0.14 0.70
MCB cycle size 3 3 3.00 3.00 20,763 MAX VALUE 7,603.50 0.00 0.00 0.00
Minimal dual graph
Density: 0.90%
MCB compute time (ms): 2,207
MCB cycles: 371
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.01 0.00 2.67 0.00 None 0.06 9.14 0.13
Degree 2 6 3.76 4.00 1,580 MAX VALUE 545.76 0.86 0.23 1.18
Eccentricity 7 10 8.70 9.00 3,652 MAX VALUE 907.13 0.66 0.08 1.01
MCB cycle size 3 10 6.40 6.00 2,374 MAX VALUE 680.27 1.30 0.20 1.66
Triangulated dual graph
Density: 33.72%
Triangles: 1,243,920
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.81 338.26 0.00 -95.48 0.11 0.14 5.00
Degree 12 331 141.29 143.00 59,342 MAX VALUE 2,013.44 68.46 0.48 4.35
Eccentricity 2 4 3.15 3.00 1,325 MAX VALUE 479.53 0.39 0.12 0.51
Triangulated minimal dual graph
Density: 8.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.81 0.76 338.67 0.00 -97.64 0.15 0.19 3.74
Degree 2 132 35.01 8.00 14,706 MAX VALUE 1,089.88 44.04 1.26 3.51
Eccentricity 3 5 4.04 4.00 1,697 MAX VALUE 581.84 0.59 0.15 0.89
Incidence graph
Density: 0.76%
MCB compute time (ms): 579
MCB cycles: 371
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-27_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 26 3.57 2.00 1,680 MAX VALUE 429.58 4.86 1.36 0.64
Eccentricity 5 10 7.29 8.00 3,425 MAX VALUE 929.54 0.92 0.13 1.12
MCB cycle size 6 6 6.00 6.00 2,226 MAX VALUE 664.74 0.00 0.00 0.00