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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 420
General features
Coarse blocks: 16,800
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 840 MAX VALUE 291.12 0.00 0.00 0.00
Coarse blocks size 8 20 15.00 15.00 252,074 MAX VALUE 45,352.90 1.94 0.13 2.07
Relational linkage 0.40 0.75 0.57 0.57 572.25 0.00 -564.38 0.06 0.11 1.62
Tightness 0.17 0.32 0.25 0.25 104.91 0.00 -584.13 0.02 0.08 3.47
Tuples 273 332 300.09 300.00 126,037 MAX VALUE 2,395.55 8.42 0.03 3.47
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 6 28 16.80 17.00 840 MAX VALUE 138.24 5.31 0.32 2.94
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: 8
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 20 109 61.20 57.00 1,530 MAX VALUE 100.13 26.10 0.43 3.00
Cluster variables 7 18 12.16 12.00 304 6.04e+26 61.67 2.91 0.24 2.13
Separator constraints 0 87 44.40 40.00 1,110 0 None 23.32 0.53 3.00
Separator variables 0 15 10.16 11.00 254 0 None 3.33 0.33 2.13
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 9
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 41 1,555 470.42 373.50 22,580 MAX VALUE 282.07 352.42 0.75 3.81
Cluster variables 12 148 51.54 44.00 2,474 MAX VALUE 181.95 30.01 0.58 3.66
Separator constraints 0 852 317.46 234.00 15,238 0 None 218.63 0.69 3.78
Separator variables 0 104 42.79 38.50 2,054 0 None 22.35 0.52 3.51
Primal graph
Density: 34.29%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.75 0.73 37.32 0.00 -15.57 0.15 0.19 3.70
Degree 6 28 16.80 17.00 840 MAX VALUE 138.24 5.31 0.32 2.94
Eccentricity 2 4 3.16 3.00 158 4.48e+24 56.76 0.54 0.17 0.81
Triangulated primal graph
Density: 40.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.80 0.77 39.86 0.00 -12.04 0.13 0.17 3.46
Degree 6 34 20.00 20.50 1,000 MAX VALUE 145.52 7.59 0.38 3.03
Eccentricity 2 3 2.74 3.00 137 3.69e+21 49.66 0.44 0.16 0.57
Dual graph
Density: 8.34%
MCB compute time (ms): 20,601
MCB cycles: 6,951
Triangles: 45,625
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_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 220.21 0.00 -271.60 0.02 0.05 5.38
Degree 11 52 34.96 35.00 14,684 MAX VALUE 1,479.74 8.17 0.23 3.44
Eccentricity 3 5 3.79 4.00 1,593 MAX VALUE 556.25 0.49 0.13 0.70
MCB cycle size 3 3 3.00 3.00 20,853 MAX VALUE 7,636.45 0.00 0.00 0.00
Minimal dual graph
Density: 0.90%
MCB compute time (ms): 1,840
MCB cycles: 372
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.00 0.00 1.50 0.00 None 0.05 14.55 0.05
Degree 2 6 3.76 4.00 1,580 MAX VALUE 546.25 0.85 0.23 1.18
Eccentricity 7 11 8.90 9.00 3,740 MAX VALUE 917.09 0.69 0.08 1.05
MCB cycle size 3 9 6.38 6.00 2,375 MAX VALUE 681.48 1.30 0.20 1.65
Triangulated dual graph
Density: 33.21%
Triangles: 1,251,440
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.80 339.13 0.00 -94.02 0.11 0.14 4.93
Degree 11 304 139.16 128.00 58,446 MAX VALUE 2,001.63 70.97 0.51 4.49
Eccentricity 2 4 3.09 3.00 1,297 MAX VALUE 470.53 0.38 0.12 0.50
Triangulated minimal dual graph
Density: 8.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.80 0.75 337.38 0.00 -99.63 0.15 0.19 3.83
Degree 2 135 34.77 9.00 14,602 MAX VALUE 1,094.40 43.47 1.25 3.57
Eccentricity 3 5 3.95 4.00 1,658 MAX VALUE 571.98 0.58 0.15 0.88
Incidence graph
Density: 0.76%
MCB compute time (ms): 382
MCB cycles: 371
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-68_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 28 3.57 2.00 1,680 MAX VALUE 429.37 4.88 1.37 0.65
Eccentricity 5 10 7.57 8.00 3,558 MAX VALUE 947.26 0.97 0.13 1.06
MCB cycle size 6 6 6.00 6.00 2,226 MAX VALUE 664.74 0.00 0.00 0.00