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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 373
General features
Coarse blocks: 14,920
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 746 MAX VALUE 258.54 0.00 0.00 0.00
Coarse blocks size 7 20 14.99 15.00 223,726 MAX VALUE 40,265.90 1.95 0.13 2.08
Relational linkage 0.35 0.85 0.58 0.60 577.90 0.00 -555.36 0.07 0.12 1.71
Tightness 0.18 0.32 0.25 0.25 93.34 0.00 -518.18 0.02 0.09 3.51
Tuples 271 328 299.90 300.00 111,863 MAX VALUE 2,127.23 8.83 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 4 23 14.92 15.00 746 MAX VALUE 131.46 5.20 0.35 2.78
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: 10
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8 129 48.96 48.00 1,224 MAX VALUE 92.68 28.12 0.57 3.00
Cluster variables 5 20 11.88 13.00 297 1.76e+26 60.43 3.78 0.32 2.05
Separator constraints 0 101 34.04 37.00 851 0 None 21.06 0.62 2.98
Separator variables 0 18 9.88 11.00 247 0 None 3.84 0.39 2.08
Dual tree decomposition
Number of clusters: 48
Number of leaves: 20
Tree depth: 8
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 23 1,141 373.88 328.50 17,946 MAX VALUE 269.08 273.23 0.73 3.87
Cluster variables 9 125 46.17 39.50 2,216 MAX VALUE 175.53 27.65 0.60 3.56
Separator constraints 0 630 251.62 220.50 12,078 0 None 170.35 0.68 3.81
Separator variables 0 88 38.40 35.50 1,843 0 None 20.74 0.54 3.46
Primal graph
Density: 30.45%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.70 0.69 34.87 0.00 -18.71 0.12 0.17 3.70
Degree 4 23 14.92 15.00 746 MAX VALUE 131.46 5.20 0.35 2.78
Eccentricity 3 4 3.48 3.00 174 7.15e+26 61.84 0.50 0.14 0.69
Triangulated primal graph
Density: 41.88%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.81 0.81 40.40 0.00 -11.28 0.12 0.15 3.27
Degree 4 40 20.52 21.00 1,026 MAX VALUE 145.47 8.58 0.42 3.03
Eccentricity 2 4 2.90 3.00 145 4.66e+22 52.20 0.57 0.20 0.86
Dual graph
Density: 8.46%
MCB compute time (ms): 6,557
MCB cycles: 5,511
Triangles: 32,928
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.73 0.53 0.52 196.44 0.00 -239.76 0.03 0.06 5.16
Degree 8 44 31.46 32.00 11,736 MAX VALUE 1,273.05 7.74 0.25 3.32
Eccentricity 3 5 3.92 4.00 1,463 MAX VALUE 505.97 0.55 0.14 0.82
MCB cycle size 3 3 3.00 3.00 16,533 MAX VALUE 6,054.45 0.00 0.00 0.00
Minimal dual graph
Density: 1.00%
MCB compute time (ms): 1,184
MCB cycles: 324
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.07 0.00 None 0.03 9.34 0.10
Degree 2 6 3.73 4.00 1,392 MAX VALUE 481.72 0.86 0.23 1.19
Eccentricity 7 10 8.35 8.00 3,116 MAX VALUE 790.84 0.59 0.07 0.90
MCB cycle size 3 10 6.39 6.00 2,071 MAX VALUE 593.79 1.31 0.20 1.67
Triangulated dual graph
Density: 34.02%
Triangles: 893,266
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.81 0.82 300.55 0.00 -84.51 0.11 0.14 4.81
Degree 8 239 126.55 126.00 47,202 MAX VALUE 1,740.58 62.31 0.49 4.47
Eccentricity 3 4 3.29 3.00 1,226 MAX VALUE 440.56 0.45 0.14 0.60
Triangulated minimal dual graph
Density: 8.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.80 0.73 298.48 0.00 -90.21 0.16 0.20 3.68
Degree 2 114 30.61 8.00 11,416 MAX VALUE 941.70 38.06 1.24 3.44
Eccentricity 3 6 4.31 4.00 1,607 MAX VALUE 540.50 0.64 0.15 0.97
Incidence graph
Density: 0.84%
MCB compute time (ms): 278
MCB cycles: 324
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-69_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.53 2.00 1,492 MAX VALUE 390.00 4.54 1.29 0.69
Eccentricity 6 10 7.94 8.00 3,359 MAX VALUE 872.62 1.06 0.13 1.28
MCB cycle size 6 6 6.00 6.00 1,944 MAX VALUE 580.53 0.00 0.00 0.00