Instance: normalized-frb59-26-5-ext
Number of variables: 59
Number of constraints: 539
Satisfiable: None
Timestamp: 2017-10-27 10:45:19
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 59
Number of constraints: 539
General features
Coarse blocks: 28,028
Value tables: 59
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 1,078 MAX VALUE 373.61 0.00 0.00 0.00
Coarse blocks size 4 26 18.36 19.00 514,622 MAX VALUE 81,067.30 3.20 0.17 2.52
Relational linkage 0.15 0.69 0.44 0.42 673.23 0.00 -1,298.61 0.09 0.20 2.25
Tightness 0.25 0.67 0.29 0.25 158.36 0.00 -678.88 0.09 0.30 1.17
Tuples 225 507 477.39 507.00 257,311 MAX VALUE 3,319.79 59.03 0.12 1.17
Values 26 26 26.00 26.00 1,534 MAX VALUE 192.23 0.00 0.00 0.00
Value table constraints 9 24 18.27 19.00 1,078 MAX VALUE 170.28 3.41 0.19 2.49
Value table partitions 26 26 26.00 26.00 1,534 MAX VALUE 192.23 0.00 0.00 0.00
Tree decomposition
Number of clusters: 20
Number of leaves: 10
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 19 261 127.40 85.50 2,548 MAX VALUE 90.45 92.46 0.73 2.86
Cluster variables 10 39 24.85 22.00 497 1.03e+27 62.20 10.87 0.44 2.22
Separator constraints 0 248 100.45 37.00 2,009 0 None 89.25 0.89 2.86
Separator variables 0 38 21.90 15.50 438 0 None 11.46 0.52 2.46
Dual tree decomposition
Number of clusters: 57
Number of leaves: 28
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 115 2,939 674.40 431.00 38,441 MAX VALUE 355.05 597.71 0.89 3.97
Cluster variables 21 299 72.67 44.00 4,142 MAX VALUE 230.56 60.65 0.83 3.63
Separator constraints 0 1,635 505.07 385.00 28,789 0 None 358.18 0.71 3.97
Separator variables 0 221 63.21 43.00 3,603 0 None 46.55 0.74 3.61
Primal graph
Density: 31.50%
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 0.38 0.31 0.32 18.57 0.00 -68.66 0.04 0.12 3.93
Degree 9 24 18.27 19.00 1,078 MAX VALUE 170.28 3.41 0.19 2.49
Eccentricity 2 3 2.05 2.00 121 1.95e+18 42.11 0.22 0.11 0.20
Triangulated primal graph
Density: 71.13%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.80 1.00 0.89 0.88 52.71 0.00 -6.78 0.06 0.06 3.64
Degree 9 52 41.25 48.00 2,434 MAX VALUE 214.10 13.53 0.33 2.66
Eccentricity 2 2 2.00 2.00 118 5.76e+17 40.90 0.00 0.00 0.00
Dual graph
Density: 6.66%
MCB compute time (ms): 385,274
MCB cycles: 9,225
Triangles: 57,267
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_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.60 0.50 0.50 271.50 0.00 -369.81 0.01 0.03 5.10
Degree 20 45 35.81 36.00 19,304 MAX VALUE 1,924.08 4.56 0.13 2.88
Eccentricity 3 3 3.00 3.00 1,617 MAX VALUE 592.15 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 27,689 MAX VALUE 10,138.70 0.04 0.01 0.01
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 4,484
MCB cycles: 481
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.67 0.00 None 0.02 14.18 0.04
Degree 2 6 3.78 4.00 2,038 MAX VALUE 703.74 0.82 0.22 1.21
Eccentricity 7 9 7.76 8.00 4,181 MAX VALUE 1,102.89 0.54 0.07 0.79
MCB cycle size 3 10 7.41 8.00 3,563 MAX VALUE 956.88 1.13 0.15 1.49
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.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.84 0.82 453.25 0.00 -99.65 0.13 0.15 3.90
Degree 2 176 52.40 7.00 28,244 MAX VALUE 1,476.66 69.15 1.32 3.47
Eccentricity 3 5 3.76 4.00 2,028 MAX VALUE 708.71 0.53 0.14 0.77
Incidence graph
Density: 0.60%
MCB compute time (ms): 1,854
MCB cycles: 481
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-5_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.61 2.00 2,156 MAX VALUE 543.89 4.97 1.38 0.57
Eccentricity 5 7 5.91 6.00 3,534 MAX VALUE 1,061.57 0.30 0.05 0.33
MCB cycle size 6 8 6.01 6.00 2,890 MAX VALUE 862.41 0.13 0.02 0.03