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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 402
General features
Coarse blocks: 16,080
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 804 MAX VALUE 278.64 0.00 0.00 0.00
Coarse blocks size 6 20 15.01 15.00 241,314 MAX VALUE 43,411.50 1.94 0.13 2.07
Relational linkage 0.30 0.75 0.57 0.60 572.25 0.00 -564.99 0.06 0.11 1.66
Tightness 0.18 0.33 0.25 0.25 100.36 0.00 -559.50 0.02 0.09 3.52
Tuples 267 327 300.14 301.00 120,657 MAX VALUE 2,292.93 9.00 0.03 3.52
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 5 26 16.08 16.00 804 MAX VALUE 136.33 4.63 0.29 2.69
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-42_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 102 56.30 54.00 1,295 MAX VALUE 90.96 20.25 0.36 2.93
Cluster variables 6 16 11.96 12.00 275 3.64e+24 56.56 2.35 0.20 2.15
Separator constraints 0 75 38.83 36.00 893 0 None 17.27 0.44 2.87
Separator variables 0 13 9.78 10.00 225 0 None 2.90 0.30 1.82
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 8
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 24 976 417.65 368.50 20,047 MAX VALUE 278.53 250.87 0.60 3.78
Cluster variables 9 105 49.08 41.00 2,356 MAX VALUE 180.07 25.65 0.52 3.58
Separator constraints 0 537 280.17 274.00 13,448 0 None 144.28 0.51 3.76
Separator variables 0 76 40.71 39.50 1,954 0 None 18.60 0.46 3.42
Primal graph
Density: 32.82%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_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 37.12 0.00 -15.88 0.14 0.19 3.72
Degree 5 26 16.08 16.00 804 MAX VALUE 136.33 4.63 0.29 2.69
Eccentricity 2 4 3.18 3.00 159 5.97e+24 57.05 0.55 0.17 0.83
Triangulated primal graph
Density: 39.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.80 0.79 40.02 0.00 -11.99 0.14 0.18 3.29
Degree 5 32 19.40 17.00 970 MAX VALUE 144.23 7.14 0.37 2.83
Eccentricity 2 3 2.64 3.00 132 4.86e+20 47.63 0.48 0.18 0.65
Dual graph
Density: 8.19%
MCB compute time (ms): 5,158
MCB cycles: 6,412
Triangles: 37,896
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_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.52 210.04 0.00 -261.35 0.02 0.05 5.15
Degree 8 48 32.83 33.00 13,198 MAX VALUE 1,393.70 6.77 0.21 3.26
Eccentricity 3 5 3.79 4.00 1,523 MAX VALUE 530.97 0.56 0.15 0.83
MCB cycle size 3 4 3.01 3.00 19,269 MAX VALUE 7,053.80 0.07 0.02 0.03
Minimal dual graph
Density: 0.94%
MCB compute time (ms): 1,202
MCB cycles: 354
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.33 0.00 None 0.01 12.32 0.05
Degree 2 6 3.75 4.00 1,508 MAX VALUE 520.70 0.89 0.24 1.20
Eccentricity 7 10 8.49 8.50 3,411 MAX VALUE 858.25 0.69 0.08 1.05
MCB cycle size 3 10 6.29 6.00 2,227 MAX VALUE 644.04 1.23 0.20 1.62
Triangulated dual graph
Density: 31.43%
Triangles: 900,822
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.80 0.81 320.78 0.00 -96.03 0.12 0.16 4.86
Degree 8 260 126.05 127.00 50,670 MAX VALUE 1,888.21 57.72 0.46 4.38
Eccentricity 2 4 3.29 3.00 1,324 MAX VALUE 474.88 0.49 0.15 0.69
Triangulated minimal dual graph
Density: 8.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.80 0.76 322.60 0.00 -96.03 0.16 0.19 3.75
Degree 2 130 32.33 8.50 12,998 MAX VALUE 1,028.11 40.61 1.26 3.52
Eccentricity 3 5 3.87 4.00 1,555 MAX VALUE 539.59 0.55 0.14 0.82
Incidence graph
Density: 0.79%
MCB compute time (ms): 310
MCB cycles: 353
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/geom/geo50-20-d4-75-42_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 26 3.56 2.00 1,608 MAX VALUE 414.98 4.68 1.31 0.65
Eccentricity 5 10 7.60 8.00 3,434 MAX VALUE 911.98 1.07 0.14 1.21
MCB cycle size 6 6 6.00 6.00 2,118 MAX VALUE 632.49 0.00 0.00 0.00