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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 384
General features
Coarse blocks: 15,360
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 768 MAX VALUE 266.17 0.00 0.00 0.00
Coarse blocks size 7 20 14.99 15.00 230,278 MAX VALUE 41,452.60 1.94 0.13 2.08
Relational linkage 0.35 0.75 0.58 0.60 575.85 0.00 -557.91 0.06 0.11 1.61
Tightness 0.19 0.32 0.25 0.25 96.15 0.00 -533.19 0.02 0.09 3.51
Tuples 272 325 299.84 300.00 115,139 MAX VALUE 2,189.89 8.74 0.03 3.51
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 6 27 15.36 14.50 768 MAX VALUE 133.85 4.96 0.32 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: 25
Number of leaves: 5
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 21 128 56.36 39.00 1,409 MAX VALUE 97.30 30.66 0.54 3.00
Cluster variables 7 20 12.36 12.00 309 8.29e+26 61.98 3.26 0.26 2.16
Separator constraints 0 91 41.00 29.00 1,025 0 None 26.77 0.65 3.11
Separator variables 0 15 10.36 10.00 259 0 None 3.58 0.35 2.11
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 56 1,325 396.79 305.00 19,046 MAX VALUE 273.86 307.58 0.78 3.84
Cluster variables 14 133 47.27 39.00 2,269 MAX VALUE 177.81 27.64 0.58 3.48
Separator constraints 0 753 269.10 201.00 12,917 0 None 189.66 0.70 3.84
Separator variables 0 92 39.27 36.00 1,885 0 None 20.40 0.52 3.56
Primal graph
Density: 31.35%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.72 0.73 35.97 0.00 -17.22 0.12 0.17 3.77
Degree 6 27 15.36 14.50 768 MAX VALUE 133.85 4.96 0.32 2.86
Eccentricity 3 4 3.28 3.00 164 4.03e+25 58.96 0.45 0.14 0.59
Triangulated primal graph
Density: 42.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.80 0.83 40.21 0.00 -11.69 0.14 0.17 3.46
Degree 6 38 20.64 19.00 1,032 MAX VALUE 146.49 8.46 0.41 3.02
Eccentricity 2 3 2.72 3.00 136 2.46e+21 49.25 0.45 0.17 0.59
Dual graph
Density: 8.33%
MCB compute time (ms): 6,169
MCB cycles: 5,777
Triangles: 35,136
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.66 0.52 0.52 201.30 0.00 -248.35 0.02 0.04 5.41
Degree 13 51 31.92 33.00 12,258 MAX VALUE 1,316.35 8.08 0.25 3.44
Eccentricity 3 5 3.97 4.00 1,523 MAX VALUE 527.11 0.39 0.10 0.53
MCB cycle size 3 4 3.00 3.00 17,332 MAX VALUE 6,346.97 0.01 0.00 0.00
Minimal dual graph
Density: 0.98%
MCB compute time (ms): 1,059
MCB cycles: 335
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.45 0.05
Degree 2 6 3.74 4.00 1,436 MAX VALUE 496.88 0.85 0.23 1.18
Eccentricity 7 10 8.29 8.00 3,184 MAX VALUE 811.17 0.62 0.08 0.95
MCB cycle size 3 9 6.50 7.00 2,176 MAX VALUE 620.39 1.22 0.19 1.59
Triangulated dual graph
Density: 33.69%
Triangles: 970,619
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.81 0.81 309.50 0.00 -87.34 0.12 0.15 4.85
Degree 13 251 129.03 142.00 49,546 MAX VALUE 1,800.11 64.50 0.50 4.48
Eccentricity 2 4 3.07 3.00 1,180 MAX VALUE 425.56 0.51 0.17 0.75
Triangulated minimal dual graph
Density: 9.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.81 0.76 312.10 0.00 -86.25 0.15 0.19 3.67
Degree 2 125 34.65 7.50 13,306 MAX VALUE 992.10 43.33 1.25 3.46
Eccentricity 3 5 3.85 4.00 1,478 MAX VALUE 513.52 0.55 0.14 0.82
Incidence graph
Density: 0.82%
MCB compute time (ms): 317
MCB cycles: 335
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-95_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 27 3.54 2.00 1,536 MAX VALUE 400.02 4.59 1.30 0.69
Eccentricity 6 10 7.92 8.00 3,438 MAX VALUE 896.25 0.75 0.09 0.88
MCB cycle size 6 8 6.01 6.00 2,012 MAX VALUE 600.53 0.11 0.02 0.02