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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 356
General features
Coarse blocks: 14,240
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 712 MAX VALUE 246.76 0.00 0.00 0.00
Coarse blocks size 8 20 15.00 15.00 213,564 MAX VALUE 38,437.00 1.93 0.13 2.07
Relational linkage 0.40 0.75 0.58 0.60 581.35 0.00 -547.94 0.06 0.10 1.60
Tightness 0.19 0.30 0.25 0.25 89.05 0.00 -494.54 0.02 0.08 3.46
Tuples 278 323 299.95 300.00 106,782 MAX VALUE 2,030.35 8.22 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 20 14.24 14.00 712 MAX VALUE 131.00 3.65 0.26 2.48
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: 23
Number of leaves: 4
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 19 92 47.43 47.00 1,091 6.48e+37 87.06 18.29 0.39 2.81
Cluster variables 7 18 11.48 11.00 264 1.51e+24 55.67 2.36 0.21 1.85
Separator constraints 0 68 31.96 33.00 735 0 None 16.01 0.50 3.01
Separator variables 0 15 9.30 9.00 214 0 None 2.77 0.30 1.87
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-39_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 78 849 314.92 300.00 15,116 MAX VALUE 268.04 181.82 0.58 3.78
Cluster variables 17 105 42.06 37.00 2,019 MAX VALUE 174.21 20.53 0.49 3.24
Separator constraints 0 485 209.77 185.00 10,069 0 None 110.50 0.53 3.67
Separator variables 0 73 34.65 34.00 1,663 0 None 14.77 0.43 3.28
Primal graph
Density: 29.06%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.73 0.71 36.27 0.00 -16.91 0.13 0.18 3.77
Degree 6 20 14.24 14.00 712 MAX VALUE 131.00 3.65 0.26 2.48
Eccentricity 2 4 3.50 4.00 175 8.48e+26 62.00 0.54 0.15 0.78
Triangulated primal graph
Density: 38.37%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.80 0.81 40.11 0.00 -11.83 0.14 0.17 3.40
Degree 6 36 18.80 18.00 940 MAX VALUE 142.84 7.10 0.38 3.00
Eccentricity 2 3 2.72 3.00 136 2.46e+21 49.25 0.45 0.17 0.59
Dual graph
Density: 7.99%
MCB compute time (ms): 1,790
MCB cycles: 5,191
Triangles: 24,760
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.65 0.52 0.52 185.50 0.00 -232.38 0.02 0.04 4.92
Degree 16 38 28.35 29.00 10,094 MAX VALUE 1,183.36 5.60 0.20 3.02
Eccentricity 3 5 4.05 4.00 1,442 MAX VALUE 495.67 0.46 0.11 0.66
MCB cycle size 3 4 3.02 3.00 15,659 MAX VALUE 5,727.64 0.13 0.04 0.08
Minimal dual graph
Density: 1.05%
MCB compute time (ms): 677
MCB cycles: 308
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.21 0.15
Degree 2 6 3.72 3.00 1,324 MAX VALUE 458.37 0.87 0.23 1.17
Eccentricity 7 11 8.86 9.00 3,155 MAX VALUE 775.49 0.73 0.08 1.11
MCB cycle size 3 11 6.28 6.00 1,933 MAX VALUE 559.49 1.21 0.19 1.59
Triangulated dual graph
Density: 29.05%
Triangles: 545,023
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.80 0.82 285.19 0.00 -83.83 0.13 0.16 4.73
Degree 16 208 103.13 98.00 36,714 MAX VALUE 1,600.38 49.32 0.48 4.35
Eccentricity 2 4 3.37 3.00 1,201 MAX VALUE 428.31 0.53 0.16 0.78
Triangulated minimal dual graph
Density: 7.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.79 0.75 281.96 0.00 -90.79 0.17 0.21 3.67
Degree 2 118 27.12 7.00 9,656 MAX VALUE 887.57 32.28 1.19 3.43
Eccentricity 3 5 3.98 4.00 1,418 MAX VALUE 488.05 0.59 0.15 0.88
Incidence graph
Density: 0.87%
MCB compute time (ms): 268
MCB cycles: 307
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-39_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 20 3.51 2.00 1,424 MAX VALUE 377.76 4.22 1.20 0.68
Eccentricity 5 10 8.14 8.00 3,305 MAX VALUE 848.54 0.94 0.12 1.14
MCB cycle size 6 6 6.00 6.00 1,842 MAX VALUE 550.07 0.00 0.00 0.00