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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 428
General features
Coarse blocks: 17,120
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 856 MAX VALUE 296.67 0.00 0.00 0.00
Coarse blocks size 7 20 14.99 15.00 256,700 MAX VALUE 46,204.10 1.94 0.13 2.07
Relational linkage 0.35 0.75 0.57 0.60 572.55 0.00 -564.57 0.07 0.12 1.69
Tightness 0.18 0.31 0.25 0.25 107.12 0.00 -594.22 0.02 0.08 3.44
Tuples 277 326 299.88 300.00 128,350 MAX VALUE 2,440.90 8.03 0.03 3.44
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 5 26 17.12 18.50 856 MAX VALUE 138.82 5.42 0.32 2.78
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: 27
Number of leaves: 4
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 102 73.00 78.00 1,971 MAX VALUE 113.95 22.50 0.31 2.89
Cluster variables 6 20 13.89 14.00 375 3.31e+30 70.27 3.07 0.22 2.17
Separator constraints 0 86 57.15 55.00 1,543 0 None 23.18 0.41 2.87
Separator variables 0 17 12.04 12.00 325 0 None 3.75 0.31 2.11
Dual tree decomposition
Number of clusters: 48
Number of leaves: 22
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 24 1,371 514.19 455.00 24,681 MAX VALUE 285.01 358.17 0.70 3.84
Cluster variables 9 125 54.46 43.00 2,614 MAX VALUE 183.56 31.89 0.59 3.57
Separator constraints 0 821 355.12 369.00 17,046 0 None 215.30 0.61 3.77
Separator variables 0 88 45.54 41.50 2,186 0 None 23.36 0.51 3.48
Primal graph
Density: 34.94%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.73 0.72 36.27 0.00 -16.67 0.12 0.16 3.72
Degree 5 26 17.12 18.50 856 MAX VALUE 138.82 5.42 0.32 2.78
Eccentricity 2 4 3.34 3.00 167 5.96e+25 59.35 0.62 0.19 0.91
Triangulated primal graph
Density: 45.80%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.80 0.77 39.92 0.00 -11.72 0.11 0.14 3.58
Degree 5 35 22.44 23.00 1,122 MAX VALUE 150.85 8.47 0.38 3.10
Eccentricity 2 4 3.12 3.00 156 1.77e+24 55.83 0.62 0.20 0.93
Dual graph
Density: 8.36%
MCB compute time (ms): 6,790
MCB cycles: 7,280
Triangles: 47,843
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.67 0.52 0.51 223.48 0.00 -278.61 0.03 0.05 5.30
Degree 8 49 35.68 37.00 15,270 MAX VALUE 1,517.21 7.82 0.22 3.29
Eccentricity 3 5 3.91 4.00 1,674 MAX VALUE 577.82 0.64 0.16 0.96
MCB cycle size 3 4 3.00 3.00 21,841 MAX VALUE 7,998.19 0.01 0.00 0.00
Minimal dual graph
Density: 0.88%
MCB compute time (ms): 1,336
MCB cycles: 381
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.60 0.00 None 0.01 8.85 0.09
Degree 2 6 3.77 4.00 1,612 MAX VALUE 556.32 0.88 0.23 1.21
Eccentricity 7 10 8.71 9.00 3,729 MAX VALUE 924.98 0.74 0.08 1.11
MCB cycle size 3 9 6.43 7.00 2,448 MAX VALUE 701.85 1.17 0.18 1.55
Triangulated dual graph
Density: 35.55%
Triangles: 1,422,260
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.81 0.81 344.72 0.00 -97.08 0.11 0.14 4.94
Degree 8 286 151.82 159.50 64,978 MAX VALUE 2,086.72 67.21 0.44 4.46
Eccentricity 3 5 3.45 3.00 1,475 MAX VALUE 525.02 0.51 0.15 0.71
Triangulated minimal dual graph
Density: 8.14%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.81 0.76 345.85 0.00 -99.05 0.15 0.19 3.76
Degree 2 137 34.75 8.00 14,872 MAX VALUE 1,109.28 43.44 1.25 3.59
Eccentricity 3 5 3.76 4.00 1,610 MAX VALUE 562.63 0.53 0.14 0.78
Incidence graph
Density: 0.75%
MCB compute time (ms): 394
MCB cycles: 379
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-13_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.58 2.00 1,712 MAX VALUE 435.49 4.95 1.38 0.63
Eccentricity 5 10 7.82 8.00 3,740 MAX VALUE 976.91 1.27 0.16 1.32
MCB cycle size 6 6 6.00 6.00 2,274 MAX VALUE 679.08 0.00 0.00 0.00