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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 374
General features
Coarse blocks: 14,960
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 748 MAX VALUE 259.24 0.00 0.00 0.00
Coarse blocks size 6 20 14.98 15.00 224,046 MAX VALUE 40,356.30 1.94 0.13 2.08
Relational linkage 0.30 0.75 0.58 0.60 576.55 0.00 -557.31 0.06 0.11 1.66
Tightness 0.19 0.31 0.25 0.25 93.94 0.00 -517.96 0.02 0.08 3.46
Tuples 277 325 299.53 299.00 112,023 MAX VALUE 2,132.48 8.17 0.03 3.46
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 6 24 14.96 15.00 748 MAX VALUE 132.95 4.28 0.29 2.67
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: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 18 83 49.04 46.00 1,324 MAX VALUE 102.65 19.58 0.40 2.85
Cluster variables 7 14 11.22 12.00 303 1.16e+28 64.62 2.33 0.21 1.85
Separator constraints 0 70 35.19 33.00 950 0 None 18.28 0.52 3.12
Separator variables 0 13 9.37 10.00 253 0 None 2.78 0.30 1.98
Dual tree decomposition
Number of clusters: 48
Number of leaves: 20
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 41 812 343.83 305.50 16,504 MAX VALUE 270.15 204.58 0.60 3.81
Cluster variables 12 93 44.44 37.50 2,133 MAX VALUE 176.03 22.52 0.51 3.54
Separator constraints 0 459 225.50 215.50 10,824 0 None 121.59 0.54 3.81
Separator variables 0 71 36.65 33.50 1,759 0 None 16.45 0.45 3.63
Primal graph
Density: 30.53%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_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.73 36.18 0.00 -17.07 0.13 0.19 3.75
Degree 6 24 14.96 15.00 748 MAX VALUE 132.95 4.28 0.29 2.67
Eccentricity 2 4 3.50 4.00 175 8.48e+26 62.00 0.54 0.15 0.78
Triangulated primal graph
Density: 37.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.79 0.82 39.57 0.00 -12.56 0.14 0.18 3.49
Degree 6 32 18.36 17.00 918 MAX VALUE 141.45 6.97 0.38 3.09
Eccentricity 2 4 2.96 3.00 148 1.24e+23 53.18 0.60 0.20 0.90
Dual graph
Density: 8.14%
MCB compute time (ms): 3,092
MCB cycles: 5,706
Triangles: 30,173
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.64 0.52 0.52 195.14 0.00 -243.61 0.02 0.04 5.06
Degree 11 43 30.37 31.00 11,360 MAX VALUE 1,266.75 6.53 0.22 3.22
Eccentricity 3 5 3.95 4.00 1,478 MAX VALUE 510.65 0.51 0.13 0.76
MCB cycle size 3 4 3.03 3.00 17,269 MAX VALUE 6,312.12 0.16 0.05 0.12
Minimal dual graph
Density: 1.00%
MCB compute time (ms): 1,001
MCB cycles: 325
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.10 0.00 0.00 0.27 0.00 None 0.01 11.29 0.05
Degree 2 6 3.73 4.00 1,396 MAX VALUE 483.12 0.86 0.23 1.18
Eccentricity 7 11 8.72 9.00 3,262 MAX VALUE 808.79 0.71 0.08 1.07
MCB cycle size 3 10 6.31 6.00 2,052 MAX VALUE 593.33 1.14 0.18 1.54
Triangulated dual graph
Density: 29.61%
Triangles: 648,410
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.80 0.81 298.02 0.00 -89.63 0.12 0.15 4.97
Degree 11 255 110.45 115.00 41,310 MAX VALUE 1,705.64 51.64 0.47 4.61
Eccentricity 2 4 3.11 3.00 1,162 MAX VALUE 421.21 0.39 0.12 0.51
Triangulated minimal dual graph
Density: 8.51%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.80 0.75 300.35 0.00 -88.74 0.15 0.19 3.69
Degree 2 116 31.76 8.00 11,878 MAX VALUE 955.82 39.15 1.23 3.46
Eccentricity 3 5 3.83 4.00 1,432 MAX VALUE 498.00 0.56 0.15 0.83
Incidence graph
Density: 0.83%
MCB compute time (ms): 291
MCB cycles: 325
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-37_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 24 3.53 2.00 1,496 MAX VALUE 392.19 4.43 1.26 0.68
Eccentricity 5 10 8.06 8.00 3,418 MAX VALUE 881.85 0.96 0.12 1.27
MCB cycle size 6 6 6.00 6.00 1,950 MAX VALUE 582.32 0.00 0.00 0.00