Instance: geo50-20-d4-75-35-ext
Number of variables: 50
Number of constraints: 453
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: 453
General features
Coarse blocks: 18,120
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 906 MAX VALUE 314.00 0.00 0.00 0.00
Coarse blocks size 6 20 14.97 15.00 271,276 MAX VALUE 48,873.20 1.95 0.13 2.08
Relational linkage 0.30 0.75 0.57 0.55 568.00 0.00 -572.98 0.07 0.12 1.69
Tightness 0.19 0.33 0.25 0.25 113.91 0.00 -627.19 0.02 0.09 3.54
Tuples 270 325 299.42 299.00 135,638 MAX VALUE 2,582.74 8.95 0.03 3.54
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 4 29 18.12 18.00 906 MAX VALUE 141.59 5.99 0.33 2.84
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-35_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 162 81.13 74.00 1,866 MAX VALUE 97.58 39.48 0.49 2.95
Cluster variables 5 22 14.65 13.00 337 2.00e+26 60.56 4.35 0.30 2.43
Separator constraints 0 133 61.43 51.00 1,413 0 None 35.28 0.57 3.08
Separator variables 0 20 12.48 12.00 287 0 None 4.73 0.38 2.48
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 7
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 54 2,092 602.48 451.50 28,919 MAX VALUE 292.28 465.72 0.77 3.87
Cluster variables 13 171 59.92 48.50 2,876 MAX VALUE 187.48 38.79 0.65 3.56
Separator constraints 0 1,236 422.21 380.50 20,266 0 None 284.81 0.67 3.84
Separator variables 0 124 50.48 44.50 2,423 0 None 28.67 0.57 3.59
Primal graph
Density: 36.98%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_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.40 0.00 -17.81 0.11 0.15 3.75
Degree 4 29 18.12 18.00 906 MAX VALUE 141.59 5.99 0.33 2.84
Eccentricity 2 4 3.22 3.00 161 1.51e+25 57.98 0.46 0.14 0.64
Triangulated primal graph
Density: 50.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.81 0.80 40.53 0.00 -10.88 0.10 0.13 3.49
Degree 4 38 24.56 28.00 1,228 MAX VALUE 155.13 9.21 0.38 3.00
Eccentricity 2 4 2.86 3.00 143 2.62e+22 51.62 0.53 0.19 0.78
Dual graph
Density: 8.45%
MCB compute time (ms): 52,008
MCB cycles: 8,216
Triangles: 58,947
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.70 0.52 0.51 237.43 0.00 -293.17 0.03 0.05 5.60
Degree 12 55 38.20 39.00 17,306 MAX VALUE 1,635.77 9.00 0.24 3.52
Eccentricity 3 4 3.41 3.00 1,546 MAX VALUE 551.47 0.49 0.14 0.68
MCB cycle size 3 3 3.00 3.00 24,648 MAX VALUE 9,026.20 0.00 0.00 0.00
Minimal dual graph
Density: 0.84%
MCB compute time (ms): 1,940
MCB cycles: 404
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.80 0.00 None 0.01 7.87 0.11
Degree 2 6 3.78 4.00 1,712 MAX VALUE 590.26 0.89 0.24 1.21
Eccentricity 7 10 8.26 8.00 3,744 MAX VALUE 955.26 0.66 0.08 1.01
MCB cycle size 3 10 6.65 7.00 2,685 MAX VALUE 758.01 1.19 0.18 1.58
Triangulated dual graph
Density: 40.21%
Triangles: 2,268,720
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.81 0.80 368.51 0.00 -97.25 0.10 0.13 5.02
Degree 12 321 181.75 216.00 82,334 MAX VALUE 2,278.54 86.98 0.48 4.56
Eccentricity 2 4 2.84 3.00 1,287 MAX VALUE 465.77 0.48 0.17 0.70
Triangulated minimal dual graph
Density: 9.21%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.82 0.79 371.52 0.00 -96.53 0.14 0.17 3.82
Degree 2 149 41.63 8.00 18,860 MAX VALUE 1,212.47 53.00 1.27 3.56
Eccentricity 3 5 3.79 4.00 1,715 MAX VALUE 598.28 0.54 0.14 0.80
Incidence graph
Density: 0.72%
MCB compute time (ms): 428
MCB cycles: 404
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-35_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 29 3.60 2.00 1,812 MAX VALUE 455.58 5.18 1.44 0.61
Eccentricity 5 9 7.29 7.00 3,665 MAX VALUE 995.73 0.82 0.11 1.21
MCB cycle size 6 6 6.00 6.00 2,424 MAX VALUE 723.87 0.00 0.00 0.00