Instance: normalized-frb50-23-1-ext
Number of variables: 50
Number of constraints: 430
Satisfiable: None
Timestamp: 2017-10-27 10:45:14
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 50
Number of constraints: 430
General features
Coarse blocks: 19,780
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 860 MAX VALUE 298.05 0.00 0.00 0.00
Coarse blocks size 3 23 16.16 17.00 319,696 MAX VALUE 54,641.10 2.97 0.18 2.45
Relational linkage 0.13 0.70 0.43 0.43 493.78 0.00 -1,010.11 0.10 0.24 2.25
Tightness 0.25 0.69 0.30 0.25 127.83 0.00 -537.50 0.09 0.31 1.24
Tuples 163 397 371.74 397.00 159,848 MAX VALUE 2,540.46 48.05 0.13 1.24
Values 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00
Value table constraints 11 24 17.20 17.00 860 MAX VALUE 141.33 3.24 0.19 2.40
Value table partitions 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00
Tree decomposition
Number of clusters: 17
Number of leaves: 9
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 25 204 92.76 65.00 1,577 7.72e+31 73.42 58.98 0.64 2.75
Cluster variables 12 34 20.88 18.00 355 8.85e+21 50.54 7.66 0.37 2.31
Separator constraints 0 169 67.47 43.00 1,147 0 None 53.54 0.79 2.75
Separator variables 0 31 17.94 15.00 305 0 None 8.25 0.46 2.31
Dual tree decomposition
Number of clusters: 48
Number of leaves: 23
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 136 2,336 576.77 373.00 27,685 MAX VALUE 292.45 486.83 0.84 3.78
Cluster variables 23 244 65.75 43.00 3,156 MAX VALUE 190.38 51.28 0.78 3.53
Separator constraints 0 1,311 426.19 323.50 20,457 0 None 288.21 0.68 3.81
Separator variables 0 181 56.79 40.50 2,726 0 None 39.20 0.69 3.56
Primal graph
Density: 35.10%
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 0.48 0.35 0.34 17.25 0.00 -53.64 0.04 0.13 3.53
Degree 11 24 17.20 17.00 860 MAX VALUE 141.33 3.24 0.19 2.40
Eccentricity 2 3 2.04 2.00 102 2.53e+15 35.47 0.20 0.10 0.17
Triangulated primal graph
Density: 70.69%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.88 0.86 44.14 0.00 -6.38 0.07 0.08 3.49
Degree 11 44 34.64 40.00 1,732 MAX VALUE 173.28 11.18 0.32 2.54
Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 0.00 0.00 0.00
Dual graph
Density: 7.84%
MCB compute time (ms): 95,878
MCB cycles: 7,215
Triangles: 40,397
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Dual1.pdf

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.57 0.50 0.50 217.08 0.00 -294.05 0.01 0.03 5.11
Degree 22 46 33.62 34.00 14,456 MAX VALUE 1,507.59 4.45 0.13 2.88
Eccentricity 3 3 3.00 3.00 1,290 MAX VALUE 472.40 0.00 0.00 0.00
MCB cycle size 3 4 3.01 3.00 21,705 MAX VALUE 7,943.75 0.09 0.03 0.05
Minimal dual graph
Density: 0.88%
MCB compute time (ms): 2,012
MCB cycles: 381
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 6 3.77 4.00 1,620 MAX VALUE 560.56 0.80 0.21 1.18
Eccentricity 6 8 7.43 7.00 3,193 MAX VALUE 861.14 0.50 0.07 0.71
MCB cycle size 4 9 7.29 8.00 2,776 MAX VALUE 752.86 0.97 0.13 1.29
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: 10.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.83 0.80 358.66 0.00 -83.43 0.13 0.16 3.81
Degree 2 142 43.16 7.50 18,560 MAX VALUE 1,149.82 55.32 1.28 3.40
Eccentricity 3 5 3.75 4.00 1,613 MAX VALUE 564.03 0.53 0.14 0.78
Incidence graph
Density: 0.75%
MCB compute time (ms): 860
MCB cycles: 384
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-1_ext/Incidence1.pdf
JSON-file path: None
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 24 3.58 2.00 1,720 MAX VALUE 439.38 4.76 1.33 0.58
Eccentricity 5 6 5.90 6.00 2,832 MAX VALUE 851.29 0.30 0.05 0.33
MCB cycle size 6 8 6.01 6.00 2,308 MAX VALUE 688.61 0.14 0.02 0.03