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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 396
General features
Coarse blocks: 15,840
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 792 MAX VALUE 274.49 0.00 0.00 0.00
Coarse blocks size 7 20 14.99 15.00 237,476 MAX VALUE 42,747.00 1.95 0.13 2.08
Relational linkage 0.35 0.85 0.58 0.60 575.70 0.00 -558.42 0.06 0.11 1.63
Tightness 0.18 0.33 0.25 0.25 99.16 0.00 -549.90 0.02 0.09 3.50
Tuples 269 326 299.84 300.00 118,738 MAX VALUE 2,258.32 8.83 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 5 26 15.84 15.00 792 MAX VALUE 135.71 4.58 0.29 2.71
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: 9
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 121 58.92 55.50 1,414 MAX VALUE 95.82 23.29 0.40 3.00
Cluster variables 6 18 13.00 13.00 312 2.65e+26 60.84 2.93 0.23 1.97
Separator constraints 0 105 42.42 42.00 1,018 0 None 20.01 0.47 2.95
Separator variables 0 16 10.92 12.00 262 0 None 3.39 0.31 1.88
Dual tree decomposition
Number of clusters: 48
Number of leaves: 22
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 56 1,221 407.00 330.00 19,536 MAX VALUE 277.66 263.39 0.65 3.87
Cluster variables 14 121 48.69 39.00 2,337 MAX VALUE 179.84 26.15 0.54 3.47
Separator constraints 0 702 273.65 271.00 13,135 0 None 156.44 0.57 3.84
Separator variables 0 84 40.44 36.00 1,941 0 None 19.04 0.47 3.46
Primal graph
Density: 32.33%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.71 0.68 35.69 0.00 -17.76 0.14 0.19 3.60
Degree 5 26 15.84 15.00 792 MAX VALUE 135.71 4.58 0.29 2.71
Eccentricity 2 4 3.22 3.00 161 1.51e+25 57.98 0.46 0.14 0.64
Triangulated primal graph
Density: 43.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.81 0.79 40.35 0.00 -11.40 0.13 0.16 3.56
Degree 5 39 21.52 23.00 1,076 MAX VALUE 149.31 7.81 0.36 2.84
Eccentricity 2 3 2.58 3.00 129 1.44e+20 46.42 0.49 0.19 0.68
Dual graph
Density: 8.18%
MCB compute time (ms): 5,313
MCB cycles: 6,045
Triangles: 36,327
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.68 0.52 0.52 206.80 0.00 -257.62 0.02 0.04 5.23
Degree 13 49 32.33 32.00 12,802 MAX VALUE 1,366.48 6.90 0.21 3.29
Eccentricity 3 4 3.73 4.00 1,477 MAX VALUE 518.19 0.44 0.12 0.58
MCB cycle size 3 4 3.00 3.00 18,136 MAX VALUE 6,641.40 0.01 0.00 0.00
Minimal dual graph
Density: 0.95%
MCB compute time (ms): 1,487
MCB cycles: 347
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.01 0.00 2.83 0.00 None 0.06 8.35 0.18
Degree 2 6 3.75 4.00 1,484 MAX VALUE 513.13 0.85 0.23 1.20
Eccentricity 7 11 8.47 8.00 3,355 MAX VALUE 844.65 0.74 0.09 1.12
MCB cycle size 3 10 6.45 7.00 2,238 MAX VALUE 639.65 1.25 0.19 1.63
Triangulated dual graph
Density: 32.17%
Triangles: 922,102
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.80 0.82 318.31 0.00 -91.66 0.12 0.15 4.88
Degree 13 273 127.07 128.00 50,320 MAX VALUE 1,859.87 59.90 0.47 4.34
Eccentricity 2 4 3.06 3.00 1,213 MAX VALUE 439.53 0.42 0.14 0.58
Triangulated minimal dual graph
Density: 8.03%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.80 0.75 315.96 0.00 -97.08 0.16 0.20 3.77
Degree 2 128 31.71 8.00 12,558 MAX VALUE 1,011.66 39.13 1.23 3.58
Eccentricity 3 6 4.13 4.00 1,634 MAX VALUE 556.80 0.61 0.15 0.93
Incidence graph
Density: 0.80%
MCB compute time (ms): 363
MCB cycles: 347
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-99_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.55 2.00 1,584 MAX VALUE 410.19 4.63 1.30 0.65
Eccentricity 5 9 7.59 8.00 3,385 MAX VALUE 901.49 0.77 0.10 1.02
MCB cycle size 6 6 6.00 6.00 2,082 MAX VALUE 621.74 0.00 0.00 0.00