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

Instance comments



Component #1 Number of variables: 59
Number of constraints: 556
General features
Coarse blocks: 28,912
Value tables: 59
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 1,112 MAX VALUE 385.39 0.00 0.00 0.00
Coarse blocks size 2 26 18.56 19.00 536,514 MAX VALUE 83,957.90 3.11 0.17 2.48
Relational linkage 0.08 0.69 0.44 0.46 674.92 0.00 -1,306.72 0.10 0.23 2.36
Tightness 0.25 0.75 0.29 0.25 159.17 0.00 -712.92 0.08 0.29 1.01
Tuples 169 507 482.48 507.00 268,257 MAX VALUE 3,430.68 56.38 0.12 1.01
Values 26 26 26.00 26.00 1,534 MAX VALUE 192.23 0.00 0.00 0.00
Value table constraints 10 29 18.85 19.00 1,112 MAX VALUE 172.08 3.67 0.19 2.59
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: 4
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 22 281 123.10 90.50 2,462 MAX VALUE 90.42 88.56 0.72 2.93
Cluster variables 11 40 24.25 21.50 485 8.22e+26 61.97 10.05 0.41 2.55
Separator constraints 0 266 95.30 50.50 1,906 0 None 83.42 0.88 2.93
Separator variables 0 39 21.30 17.00 426 0 None 10.57 0.50 2.65
Dual tree decomposition
Number of clusters: 57
Number of leaves: 27
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 138 3,441 739.54 472.00 42,154 MAX VALUE 359.41 691.89 0.94 3.95
Cluster variables 23 308 75.75 49.00 4,318 MAX VALUE 232.62 64.20 0.85 3.67
Separator constraints 0 2,016 558.49 406.00 31,834 0 None 421.56 0.75 3.99
Separator variables 0 241 66.00 45.00 3,762 0 None 49.42 0.75 3.73
Primal graph
Density: 32.50%
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.24 0.44 0.33 0.33 19.28 0.00 -66.33 0.04 0.11 3.82
Degree 10 29 18.85 19.00 1,112 MAX VALUE 172.08 3.67 0.19 2.59
Eccentricity 2 3 2.08 2.00 123 4.38e+18 42.92 0.28 0.13 0.29
Triangulated primal graph
Density: 70.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.89 0.89 52.45 0.00 -7.11 0.07 0.08 3.63
Degree 10 54 40.88 47.00 2,412 MAX VALUE 213.65 13.59 0.33 2.88
Eccentricity 2 3 2.03 2.00 120 1.30e+18 41.71 0.18 0.09 0.15
Dual graph
Density: 6.69%
MCB compute time (ms): 437,909
MCB cycles: 10,018
Triangles: 63,996
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Dual1.pdf

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.62 0.51 0.50 281.15 0.00 -379.36 0.02 0.03 5.24
Degree 22 53 37.12 37.00 20,640 MAX VALUE 2,004.42 4.97 0.13 2.99
Eccentricity 3 3 3.00 3.00 1,668 MAX VALUE 610.83 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 30,076 MAX VALUE 11,012.20 0.05 0.02 0.02
Minimal dual graph
Density: 0.68%
MCB compute time (ms): 4,827
MCB cycles: 498
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.20 0.00 None 0.02 10.68 0.07
Degree 2 6 3.79 4.00 2,106 MAX VALUE 726.41 0.84 0.22 1.22
Eccentricity 7 9 7.85 8.00 4,362 MAX VALUE 1,144.23 0.48 0.06 0.70
MCB cycle size 3 10 7.42 8.00 3,697 MAX VALUE 991.75 1.12 0.15 1.47
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.78%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.84 0.82 468.53 0.00 -101.77 0.13 0.15 3.94
Degree 2 181 54.26 7.00 30,168 MAX VALUE 1,528.84 71.83 1.32 3.44
Eccentricity 3 5 3.77 4.00 2,097 MAX VALUE 732.44 0.53 0.14 0.77
Incidence graph
Density: 0.59%
MCB compute time (ms): 2,047
MCB cycles: 503
Dot-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/frb59-26/frb59-26-1-mgd_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 29 3.62 2.00 2,224 MAX VALUE 557.47 5.09 1.41 0.56
Eccentricity 5 6 5.91 6.00 3,636 MAX VALUE 1,092.09 0.28 0.05 0.30
MCB cycle size 6 8 6.01 6.00 3,022 MAX VALUE 901.83 0.13 0.02 0.03