Instance: geo50-20-d4-75-58_ext
Number of variables: 50
Number of constraints: 456
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: 456
General features
Coarse blocks: 18,240
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 912 MAX VALUE 316.07 0.00 0.00 0.00
Coarse blocks size 6 20 14.97 15.00 273,032 MAX VALUE 49,195.60 1.94 0.13 2.08
Relational linkage 0.30 0.70 0.57 0.55 565.55 0.00 -575.93 0.06 0.11 1.60
Tightness 0.19 0.31 0.25 0.25 114.71 0.00 -631.01 0.02 0.09 3.47
Tuples 277 323 299.38 299.00 136,516 MAX VALUE 2,599.79 8.62 0.03 3.47
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 10 30 18.24 18.00 912 MAX VALUE 143.32 4.92 0.27 2.86
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: 29
Number of leaves: 4
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 44 100 73.52 76.00 2,132 MAX VALUE 123.90 15.99 0.22 2.95
Cluster variables 11 18 13.66 14.00 396 6.35e+32 75.53 1.88 0.14 1.83
Separator constraints 0 86 57.79 61.00 1,676 0 None 17.47 0.30 3.04
Separator variables 0 15 11.93 13.00 346 0 None 2.80 0.23 1.80
Dual tree decomposition
Number of clusters: 48
Number of leaves: 23
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 109 1,435 559.42 474.50 26,852 MAX VALUE 293.89 344.91 0.62 3.81
Cluster variables 20 145 58.10 48.00 2,789 MAX VALUE 188.43 31.20 0.54 3.60
Separator constraints 0 794 383.04 348.00 18,386 0 None 197.79 0.52 3.78
Separator variables 0 99 48.60 44.50 2,333 0 None 22.55 0.46 3.52
Primal graph
Density: 37.22%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.74 0.75 37.01 0.00 -15.82 0.13 0.18 3.77
Degree 10 30 18.24 18.00 912 MAX VALUE 143.32 4.92 0.27 2.86
Eccentricity 2 4 3.08 3.00 154 1.26e+24 55.49 0.52 0.17 0.78
Triangulated primal graph
Density: 45.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.81 0.83 40.25 0.00 -11.51 0.13 0.16 3.66
Degree 10 38 22.08 21.00 1,104 MAX VALUE 151.76 7.40 0.34 3.06
Eccentricity 2 3 2.56 3.00 128 9.60e+19 46.01 0.50 0.19 0.69
Dual graph
Density: 8.16%
MCB compute time (ms): 6,801
MCB cycles: 8,029
Triangles: 55,212
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.60 0.52 0.52 237.69 0.00 -297.35 0.02 0.03 5.49
Degree 19 56 37.13 37.00 16,932 MAX VALUE 1,638.00 7.66 0.21 3.41
Eccentricity 3 4 3.55 4.00 1,618 MAX VALUE 572.89 0.50 0.14 0.69
MCB cycle size 3 3 3.00 3.00 24,087 MAX VALUE 8,820.76 0.00 0.00 0.00
Minimal dual graph
Density: 0.83%
MCB compute time (ms): 1,910
MCB cycles: 407
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.67 0.00 None 0.03 9.00 0.08
Degree 2 7 3.78 4.00 1,724 MAX VALUE 594.45 0.88 0.23 1.22
Eccentricity 7 11 8.72 9.00 3,976 MAX VALUE 985.81 0.75 0.09 1.12
MCB cycle size 3 10 6.35 6.00 2,585 MAX VALUE 743.93 1.26 0.20 1.64
Triangulated dual graph
Density: 33.99%
Triangles: 1,558,300
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.80 0.83 364.81 0.00 -106.91 0.12 0.15 5.02
Degree 19 309 154.68 148.00 70,532 MAX VALUE 2,237.96 70.13 0.45 4.54
Eccentricity 2 4 3.03 3.00 1,383 MAX VALUE 503.05 0.34 0.11 0.44
Triangulated minimal dual graph
Density: 8.01%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.81 0.75 367.30 0.00 -106.70 0.15 0.19 3.87
Degree 2 145 36.44 8.00 16,616 MAX VALUE 1,190.56 46.48 1.28 3.61
Eccentricity 3 5 3.86 4.00 1,762 MAX VALUE 611.28 0.57 0.15 0.85
Incidence graph
Density: 0.71%
MCB compute time (ms): 456
MCB cycles: 407
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-58_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 30 3.60 2.00 1,824 MAX VALUE 459.39 5.09 1.41 0.60
Eccentricity 5 9 7.24 8.00 3,663 MAX VALUE 996.82 0.98 0.14 1.22
MCB cycle size 6 6 6.00 6.00 2,442 MAX VALUE 729.25 0.00 0.00 0.00