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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 378
General features
Coarse blocks: 15,120
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 756 MAX VALUE 262.01 0.00 0.00 0.00
Coarse blocks size 6 20 15.03 15.00 227,212 MAX VALUE 40,840.00 1.94 0.13 2.07
Relational linkage 0.30 0.75 0.58 0.60 576.20 0.00 -558.22 0.07 0.11 1.67
Tightness 0.18 0.30 0.25 0.25 93.98 0.00 -527.57 0.02 0.09 3.48
Tuples 279 328 300.55 300.00 113,606 MAX VALUE 2,156.56 8.73 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 25 15.12 15.00 756 MAX VALUE 133.59 4.32 0.29 2.74
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: 28
Number of leaves: 4
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 28 97 50.25 51.50 1,407 MAX VALUE 108.03 18.01 0.36 3.02
Cluster variables 8 16 11.75 12.00 329 5.39e+29 68.46 2.25 0.19 2.00
Separator constraints 0 74 36.75 37.50 1,029 0 None 15.26 0.42 3.00
Separator variables 0 13 9.96 10.50 279 0 None 2.72 0.27 1.88
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-21_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 63 897 357.44 296.00 17,157 MAX VALUE 272.34 221.10 0.62 3.76
Cluster variables 15 103 45.02 37.00 2,161 MAX VALUE 176.81 22.94 0.51 3.49
Separator constraints 0 503 236.54 222.00 11,354 0 None 133.67 0.57 3.70
Separator variables 0 76 37.15 34.00 1,783 0 None 16.69 0.45 3.35
Primal graph
Density: 30.86%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.72 0.72 35.82 0.00 -17.54 0.13 0.18 3.68
Degree 7 25 15.12 15.00 756 MAX VALUE 133.59 4.32 0.29 2.74
Eccentricity 2 4 3.36 3.00 168 1.13e+26 59.99 0.52 0.15 0.75
Triangulated primal graph
Density: 39.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.79 0.82 39.65 0.00 -12.36 0.13 0.17 3.62
Degree 7 36 19.40 19.50 970 MAX VALUE 144.30 7.33 0.38 3.15
Eccentricity 2 4 3.12 3.00 156 2.52e+24 56.19 0.52 0.17 0.76
Dual graph
Density: 8.14%
MCB compute time (ms): 10,848
MCB cycles: 5,431
Triangles: 31,256
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_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 197.19 0.00 -246.29 0.02 0.04 5.19
Degree 14 45 30.70 31.50 11,606 MAX VALUE 1,284.33 6.74 0.22 3.27
Eccentricity 3 5 3.69 4.00 1,395 MAX VALUE 489.52 0.53 0.14 0.78
MCB cycle size 3 3 3.00 3.00 16,293 MAX VALUE 5,966.56 0.00 0.00 0.00
Minimal dual graph
Density: 0.99%
MCB compute time (ms): 1,161
MCB cycles: 329
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.50 0.00 None 0.03 7.53 0.13
Degree 2 6 3.74 4.00 1,412 MAX VALUE 489.61 0.81 0.22 1.15
Eccentricity 7 10 8.44 8.00 3,191 MAX VALUE 805.21 0.65 0.08 0.99
MCB cycle size 3 10 6.53 7.00 2,147 MAX VALUE 609.48 1.35 0.21 1.70
Triangulated dual graph
Density: 29.86%
Triangles: 686,912
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.80 0.81 300.69 0.00 -91.30 0.12 0.15 4.81
Degree 14 248 112.58 114.00 42,556 MAX VALUE 1,730.83 53.57 0.48 4.52
Eccentricity 2 4 3.16 3.00 1,196 MAX VALUE 432.29 0.42 0.13 0.56
Triangulated minimal dual graph
Density: 8.29%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.80 0.75 302.78 0.00 -91.17 0.16 0.20 3.71
Degree 2 125 31.25 7.00 11,814 MAX VALUE 966.60 38.08 1.22 3.53
Eccentricity 3 5 3.87 4.00 1,464 MAX VALUE 507.82 0.55 0.14 0.83
Incidence graph
Density: 0.83%
MCB compute time (ms): 309
MCB cycles: 329
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-21_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 25 3.53 2.00 1,512 MAX VALUE 395.60 4.46 1.26 0.68
Eccentricity 5 10 7.65 8.00 3,274 MAX VALUE 867.64 0.92 0.12 1.29
MCB cycle size 6 6 6.00 6.00 1,974 MAX VALUE 589.49 0.00 0.00 0.00