Instance: geo50-20-d4-75-86_ext
Number of variables: 50
Number of constraints: 466
Satisfiable: None
Timestamp: 2017-10-27 10:45:22
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 50
Number of constraints: 466
General features
Coarse blocks: 18,640
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 932 MAX VALUE 323.01 0.00 0.00 0.00
Coarse blocks size 7 20 14.98 15.00 279,290 MAX VALUE 50,293.50 1.94 0.13 2.07
Relational linkage 0.35 0.75 0.57 0.55 568.75 0.00 -570.71 0.06 0.11 1.65
Tightness 0.19 0.33 0.25 0.25 116.89 0.00 -646.19 0.02 0.09 3.53
Tuples 269 325 299.67 300.00 139,645 MAX VALUE 2,657.25 8.62 0.03 3.53
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 6 30 18.64 17.00 932 MAX VALUE 142.38 6.91 0.37 3.01
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: 24
Number of leaves: 4
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 20 185 80.33 80.50 1,928 MAX VALUE 100.57 46.62 0.58 3.12
Cluster variables 7 23 14.38 14.00 345 1.44e+27 62.53 4.84 0.34 2.30
Separator constraints 0 165 60.92 65.00 1,462 0 None 40.18 0.66 2.89
Separator variables 0 22 12.29 13.00 295 0 None 5.05 0.41 2.42
Dual tree decomposition
Number of clusters: 48
Number of leaves: 21
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 48 2,192 655.92 497.00 31,484 MAX VALUE 292.87 553.19 0.84 3.84
Cluster variables 13 188 61.35 49.00 2,945 MAX VALUE 187.76 41.56 0.68 3.51
Separator constraints 0 1,476 459.81 366.50 22,071 0 None 350.25 0.76 3.87
Separator variables 0 132 51.65 45.00 2,479 0 None 31.17 0.60 3.64
Primal graph
Density: 38.04%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.93 0.72 0.71 35.81 0.00 -17.16 0.10 0.14 3.75
Degree 6 30 18.64 17.00 932 MAX VALUE 142.38 6.91 0.37 3.01
Eccentricity 2 4 2.92 3.00 146 8.85e+22 52.84 0.48 0.17 0.70
Triangulated primal graph
Density: 50.37%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.82 0.80 41.10 0.00 -10.24 0.11 0.13 3.55
Degree 6 42 24.68 28.50 1,234 MAX VALUE 154.84 10.05 0.41 3.13
Eccentricity 2 3 2.46 2.00 123 1.26e+19 43.98 0.50 0.20 0.69
Dual graph
Density: 8.69%
MCB compute time (ms): 20,481
MCB cycles: 8,958
Triangles: 68,975
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.68 0.53 0.52 246.12 0.00 -298.15 0.03 0.06 5.53
Degree 12 57 40.40 42.00 18,826 MAX VALUE 1,705.00 10.36 0.26 3.64
Eccentricity 3 4 3.30 3.00 1,537 MAX VALUE 551.94 0.46 0.14 0.61
MCB cycle size 3 3 3.00 3.00 26,874 MAX VALUE 9,841.37 0.00 0.00 0.00
Minimal dual graph
Density: 0.81%
MCB compute time (ms): 2,177
MCB cycles: 419
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.67 0.00 None 0.03 9.10 0.08
Degree 2 6 3.79 4.00 1,764 MAX VALUE 607.97 0.89 0.24 1.21
Eccentricity 7 11 8.75 9.00 4,079 MAX VALUE 1,009.33 0.73 0.08 1.10
MCB cycle size 3 10 6.40 6.00 2,682 MAX VALUE 768.94 1.27 0.20 1.65
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 9.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.82 0.79 383.44 0.00 -97.79 0.14 0.17 3.85
Degree 2 148 42.13 9.00 19,632 MAX VALUE 1,248.21 54.28 1.29 3.48
Eccentricity 3 5 4.15 4.00 1,934 MAX VALUE 658.34 0.59 0.14 0.88
Incidence graph
Density: 0.70%
MCB compute time (ms): 508
MCB cycles: 417
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-86_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 30 3.61 2.00 1,864 MAX VALUE 465.39 5.37 1.49 0.61
Eccentricity 5 8 6.81 7.00 3,512 MAX VALUE 985.50 0.86 0.13 1.13
MCB cycle size 6 6 6.00 6.00 2,502 MAX VALUE 747.16 0.00 0.00 0.00