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

Instance comments



Component #1 Number of variables: 50
Number of constraints: 375
General features
Coarse blocks: 15,000
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 750 MAX VALUE 259.93 0.00 0.00 0.00
Coarse blocks size 7 20 15.03 15.00 225,478 MAX VALUE 40,522.50 1.93 0.13 2.07
Relational linkage 0.35 0.75 0.58 0.60 578.10 0.00 -553.91 0.06 0.11 1.62
Tightness 0.18 0.30 0.25 0.25 93.15 0.00 -523.66 0.02 0.09 3.50
Tuples 278 327 300.64 300.00 112,739 MAX VALUE 2,139.56 8.52 0.03 3.50
Values 20 20 20.00 20.00 1,000 MAX VALUE 149.79 0.00 0.00 0.00
Value table constraints 7 23 15.00 15.00 750 MAX VALUE 133.39 4.10 0.27 2.55
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: 27
Number of leaves: 4
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 27 79 50.93 50.00 1,375 MAX VALUE 104.49 17.19 0.34 2.87
Cluster variables 8 18 11.89 11.00 321 5.65e+28 66.20 2.62 0.22 2.01
Separator constraints 0 67 37.04 34.00 1,000 0 None 15.69 0.42 2.95
Separator variables 0 15 10.04 10.00 271 0 None 2.91 0.29 2.08
Dual tree decomposition
Number of clusters: 48
Number of leaves: 22
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 55 943 357.29 323.50 17,150 MAX VALUE 272.58 215.02 0.60 3.84
Cluster variables 14 105 45.29 39.50 2,174 MAX VALUE 176.99 23.26 0.51 3.47
Separator constraints 0 628 239.17 223.50 11,480 0 None 131.89 0.55 3.87
Separator variables 0 73 37.48 34.00 1,799 0 None 16.67 0.44 3.40
Primal graph
Density: 30.61%
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.96 0.70 0.70 35.20 0.00 -18.35 0.13 0.18 3.61
Degree 7 23 15.00 15.00 750 MAX VALUE 133.39 4.10 0.27 2.55
Eccentricity 2 4 3.42 3.00 171 2.38e+26 60.74 0.57 0.17 0.83
Triangulated primal graph
Density: 40.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.80 0.80 39.85 0.00 -12.07 0.13 0.17 3.66
Degree 7 35 20.04 19.50 1,002 MAX VALUE 145.38 8.04 0.40 3.07
Eccentricity 2 3 2.54 3.00 127 6.40e+19 45.60 0.50 0.20 0.69
Dual graph
Density: 8.09%
MCB compute time (ms): 4,144
MCB cycles: 5,363
Triangles: 29,883
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.65 0.52 0.52 195.58 0.00 -244.44 0.02 0.04 5.15
Degree 13 42 30.24 30.00 11,340 MAX VALUE 1,269.77 6.24 0.21 3.14
Eccentricity 3 5 3.89 4.00 1,458 MAX VALUE 506.10 0.49 0.13 0.71
MCB cycle size 3 4 3.00 3.00 16,098 MAX VALUE 5,894.45 0.04 0.01 0.01
Minimal dual graph
Density: 1.00%
MCB compute time (ms): 962
MCB cycles: 326
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.04 8.15 0.09
Degree 2 6 3.73 4.00 1,400 MAX VALUE 484.19 0.88 0.23 1.21
Eccentricity 7 10 8.49 8.00 3,184 MAX VALUE 800.50 0.78 0.09 1.17
MCB cycle size 3 10 6.39 6.00 2,082 MAX VALUE 597.80 1.23 0.19 1.60
Triangulated dual graph
Density: 30.87%
Triangles: 716,311
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.39 1.00 0.80 0.80 298.36 0.00 -90.14 0.12 0.15 4.82
Degree 13 304 115.46 120.00 43,298 MAX VALUE 1,726.31 54.91 0.48 4.52
Eccentricity 2 4 2.99 3.00 1,122 MAX VALUE 408.05 0.36 0.12 0.48
Triangulated minimal dual graph
Density: 8.29%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.80 0.75 300.12 0.00 -90.66 0.16 0.20 3.72
Degree 2 122 30.99 8.00 11,622 MAX VALUE 952.00 38.18 1.23 3.52
Eccentricity 3 5 3.91 4.00 1,465 MAX VALUE 506.82 0.57 0.15 0.86
Incidence graph
Density: 0.83%
MCB compute time (ms): 359
MCB cycles: 326
Dot-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/geom/geo50-20-d4-75-91_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,500 MAX VALUE 393.32 4.42 1.25 0.66
Eccentricity 5 10 7.88 8.00 3,351 MAX VALUE 874.12 0.98 0.12 1.23
MCB cycle size 6 6 6.00 6.00 1,956 MAX VALUE 584.11 0.00 0.00 0.00