Instance: geo50-20-d4-75-64-ext
Number of variables: 50
Number of constraints: 361
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: 361
General features
Coarse blocks: 14,440
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 722 MAX VALUE 250.23 0.00 0.00 0.00
Coarse blocks size 7 20 14.99 15.00 216,488 MAX VALUE 38,972.90 1.92 0.13 2.06
Relational linkage 0.35 0.75 0.58 0.60 580.80 0.00 -549.38 0.06 0.11 1.63
Tightness 0.20 0.32 0.25 0.25 90.39 0.00 -501.23 0.02 0.09 3.48
Tuples 274 320 299.85 301.00 108,244 MAX VALUE 2,058.73 8.61 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 23 14.44 14.00 722 MAX VALUE 131.38 4.09 0.28 2.50
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: 4
Tree depth: 9
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 21 86 46.36 40.00 1,159 MAX VALUE 93.93 19.02 0.41 2.94
Cluster variables 8 15 11.04 11.00 276 8.63e+25 59.72 1.78 0.16 1.73
Separator constraints 0 69 31.92 30.00 798 0 None 16.44 0.52 2.87
Separator variables 0 13 9.04 9.00 226 0 None 2.42 0.27 1.88
Dual tree decomposition
Number of clusters: 48
Number of leaves: 22
Tree depth: 9
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 71 1,143 324.90 279.50 15,595 MAX VALUE 267.27 227.51 0.70 3.81
Cluster variables 16 111 42.00 37.50 2,016 MAX VALUE 173.80 21.51 0.51 3.39
Separator constraints 0 621 215.08 168.50 10,324 0 None 139.97 0.65 3.70
Separator variables 0 80 34.48 33.00 1,655 0 None 15.78 0.46 3.29
Primal graph
Density: 29.47%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.74 0.75 36.87 0.00 -16.16 0.14 0.19 3.62
Degree 7 23 14.44 14.00 722 MAX VALUE 131.38 4.09 0.28 2.50
Eccentricity 2 4 3.36 3.00 168 1.01e+26 59.87 0.56 0.17 0.82
Triangulated primal graph
Density: 36.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.80 0.80 39.87 0.00 -12.21 0.15 0.18 3.35
Degree 7 30 17.72 18.50 886 MAX VALUE 140.50 6.08 0.34 2.78
Eccentricity 2 4 2.94 3.00 147 1.33e+23 53.24 0.47 0.16 0.67
Dual graph
Density: 8.11%
MCB compute time (ms): 3,711
MCB cycles: 4,983
Triangles: 27,057
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.64 0.52 0.52 188.76 0.00 -234.37 0.02 0.04 4.97
Degree 15 42 29.20 29.00 10,542 MAX VALUE 1,208.42 6.52 0.22 3.18
Eccentricity 3 5 3.91 4.00 1,412 MAX VALUE 490.41 0.39 0.10 0.53
MCB cycle size 3 4 3.00 3.00 14,958 MAX VALUE 5,476.97 0.04 0.01 0.01
Minimal dual graph
Density: 1.03%
MCB compute time (ms): 884
MCB cycles: 312
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.03 11.36 0.05
Degree 2 6 3.72 4.00 1,344 MAX VALUE 465.95 0.83 0.22 1.14
Eccentricity 7 11 9.03 9.00 3,259 MAX VALUE 792.82 0.82 0.09 1.21
MCB cycle size 3 12 6.30 6.00 1,965 MAX VALUE 567.24 1.31 0.21 1.67
Triangulated dual graph
Density: 28.85%
Triangles: 579,834
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 1.00 0.81 0.82 291.74 0.00 -81.43 0.12 0.15 4.71
Degree 15 299 103.87 96.00 37,496 MAX VALUE 1,625.46 51.15 0.49 4.14
Eccentricity 2 4 3.10 3.00 1,119 MAX VALUE 405.90 0.37 0.12 0.49
Triangulated minimal dual graph
Density: 7.02%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.79 0.75 284.74 0.00 -94.05 0.17 0.21 3.66
Degree 2 115 25.26 7.00 9,120 MAX VALUE 883.83 30.31 1.20 3.45
Eccentricity 3 5 3.92 4.00 1,416 MAX VALUE 489.69 0.55 0.14 0.82
Incidence graph
Density: 0.86%
MCB compute time (ms): 236
MCB cycles: 312
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-64_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 23 3.51 2.00 1,444 MAX VALUE 381.60 4.31 1.23 0.67
Eccentricity 5 10 7.89 8.00 3,241 MAX VALUE 846.19 0.85 0.11 1.07
MCB cycle size 6 6 6.00 6.00 1,872 MAX VALUE 559.03 0.00 0.00 0.00