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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 406
General features
Coarse blocks: 16,240
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 812 MAX VALUE 281.42 0.00 0.00 0.00
Coarse blocks size 8 20 14.97 15.00 243,054 MAX VALUE 43,801.40 1.92 0.13 2.06
Relational linkage 0.40 0.75 0.57 0.60 571.30 0.00 -566.40 0.06 0.11 1.66
Tightness 0.17 0.31 0.25 0.25 102.18 0.00 -561.65 0.02 0.09 3.50
Tuples 276 330 299.33 300.00 121,527 MAX VALUE 2,314.65 8.71 0.03 3.50
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 5 25 16.24 16.50 812 MAX VALUE 137.09 4.52 0.28 2.64
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: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 96 62.35 67.00 1,434 MAX VALUE 93.37 20.83 0.33 2.87
Cluster variables 6 18 13.00 13.00 299 2.27e+25 58.38 2.80 0.22 2.01
Separator constraints 0 73 44.70 45.00 1,028 0 None 18.98 0.42 3.01
Separator variables 0 15 10.83 12.00 249 0 None 3.24 0.30 2.07
Dual tree decomposition
Number of clusters: 48
Number of leaves: 22
Tree depth: 7
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 78 1,161 445.06 374.50 21,363 MAX VALUE 282.37 275.84 0.62 3.76
Cluster variables 17 121 51.58 40.50 2,476 MAX VALUE 182.33 28.57 0.55 3.45
Separator constraints 0 676 305.52 299.00 14,665 0 None 161.69 0.53 3.81
Separator variables 0 85 43.12 37.50 2,070 0 None 20.63 0.48 3.52
Primal graph
Density: 33.14%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.71 0.71 35.31 0.00 -18.14 0.12 0.17 3.67
Degree 5 25 16.24 16.50 812 MAX VALUE 137.09 4.52 0.28 2.64
Eccentricity 3 4 3.38 3.00 169 1.70e+26 60.40 0.49 0.14 0.66
Triangulated primal graph
Density: 44.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.80 0.79 40.01 0.00 -11.76 0.12 0.16 3.50
Degree 5 35 21.60 22.00 1,080 MAX VALUE 149.65 7.83 0.36 3.12
Eccentricity 2 4 2.90 3.00 145 4.66e+22 52.20 0.57 0.20 0.86
Dual graph
Density: 8.15%
MCB compute time (ms): 3,827
MCB cycles: 6,674
Triangles: 38,437
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.71 0.52 0.51 211.66 0.00 -264.88 0.03 0.05 5.21
Degree 16 47 33.00 34.00 13,396 MAX VALUE 1,410.61 6.55 0.20 3.23
Eccentricity 3 5 3.71 4.00 1,506 MAX VALUE 527.99 0.52 0.14 0.77
MCB cycle size 3 4 3.02 3.00 20,135 MAX VALUE 7,364.65 0.13 0.04 0.09
Minimal dual graph
Density: 0.93%
MCB compute time (ms): 1,465
MCB cycles: 357
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 8.49 0.09
Degree 2 6 3.75 4.00 1,524 MAX VALUE 526.76 0.85 0.23 1.19
Eccentricity 7 10 8.66 9.00 3,517 MAX VALUE 875.08 0.74 0.09 1.10
MCB cycle size 3 10 6.43 7.00 2,295 MAX VALUE 656.50 1.28 0.20 1.63
Triangulated dual graph
Density: 34.54%
Triangles: 1,141,660
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.80 0.81 325.47 0.00 -94.66 0.12 0.15 4.98
Degree 16 282 139.88 146.00 56,790 MAX VALUE 1,945.04 66.12 0.47 4.55
Eccentricity 2 4 2.84 3.00 1,154 MAX VALUE 418.44 0.45 0.16 0.63
Triangulated minimal dual graph
Density: 8.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.80 0.75 325.65 0.00 -97.03 0.15 0.19 3.77
Degree 2 131 32.79 8.00 13,314 MAX VALUE 1,039.70 41.32 1.26 3.55
Eccentricity 3 5 3.97 4.00 1,613 MAX VALUE 555.54 0.58 0.15 0.88
Incidence graph
Density: 0.78%
MCB compute time (ms): 358
MCB cycles: 357
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-66_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.56 2.00 1,624 MAX VALUE 418.51 4.69 1.32 0.63
Eccentricity 6 10 7.69 8.00 3,506 MAX VALUE 927.12 0.87 0.11 1.23
MCB cycle size 6 6 6.00 6.00 2,142 MAX VALUE 639.66 0.00 0.00 0.00