Instance: normalized-frb40-19-1-mgd-ext
Number of variables: 40
Number of constraints: 321
Satisfiable: None
Timestamp: 2017-10-27 10:45:10
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 321
General features
Coarse blocks: 12,198
Value tables: 40
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 642 MAX VALUE 222.50 0.00 0.00 0.00
Coarse blocks size 1 19 13.33 14.00 162,616 MAX VALUE 31,280.40 2.69 0.20 2.34
Relational linkage 0.05 0.68 0.41 0.42 307.95 0.00 -722.42 0.11 0.28 2.19
Tightness 0.25 0.70 0.30 0.25 95.77 0.00 -402.12 0.10 0.34 1.16
Tuples 109 271 253.30 271.00 81,308 MAX VALUE 1,772.33 36.58 0.14 1.16
DomSize 19 19 19.00 19.00 760 MAX VALUE 117.78 0.00 0.00 0.00
Value table constraints 10 25 16.05 15.00 642 MAX VALUE 109.88 3.87 0.24 2.57
Value table partitions 19 19 19.00 19.00 760 MAX VALUE 117.78 0.00 0.00 0.00
Tree decomposition
Number of clusters: 14
Number of leaves: 8
Tree depth: 3
CIR: None
Independent Cluster Pairs: None
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 30 160 77.14 61.50 1,080 4.11e+25 58.98 40.50 0.53 2.64
Variables per cluster 11 27 17.21 16.00 241 1.11e+17 39.25 5.09 0.30 2.34
Separator constraints 0 135 54.21 41.00 759 0 None 36.30 0.67 2.54
Separator variables 0 24 14.36 14.00 201 0 None 5.86 0.41 2.34
Dual tree decomposition
Number of clusters: 38
Number of leaves: 16
Tree depth: 5
CIR: None
Independent Cluster Pairs: None
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 102 1,596 478.05 352.00 18,166 MAX VALUE 224.73 370.24 0.77 3.60
Variables per cluster 20 176 56.79 41.50 2,158 MAX VALUE 146.27 39.48 0.70 3.42
Separator constraints 0 918 343.05 287.50 13,036 0 None 219.29 0.64 3.60
Separator variables 0 137 48.34 38.50 1,837 0 None 30.00 0.62 3.38
Primal graph
Density: 41.15%
MCB compute time (ms): None
MCB cycles: None
Triangles: 736
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-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.34 0.56 0.44 0.45 17.66 0.00 -33.00 0.05 0.12 3.62
Degree 10 25 16.05 15.00 642 MAX VALUE 109.88 3.87 0.24 2.57
Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 70.77%
MCB compute time (ms): None
MCB cycles: None
Triangles: 4,508
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.87 0.86 34.99 0.00 -5.53 0.08 0.09 3.24
Degree 10 37 27.60 32.00 1,104 MAX VALUE 129.94 8.68 0.31 2.70
Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Dual graph
Density: 9.99%
MCB compute time (ms): 18,885
MCB cycles: 5,539
Triangles: 28,024
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-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.48 0.59 0.51 0.51 165.17 0.00 -213.52 0.02 0.04 5.19
Degree 19 46 31.96 32.00 10,260 MAX VALUE 1,107.64 5.25 0.16 3.04
Eccentricity 3 3 3.00 3.00 963 MAX VALUE 352.65 0.00 0.00 0.00
MCB cycle size 3 4 3.02 3.00 16,722 MAX VALUE 6,115.42 0.14 0.05 0.09
Minimal dual graph
Density: 1.17%
MCB compute time (ms): 756
MCB cycles: 282
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.03 10.70 0.06
Degree 2 7 3.75 4.00 1,204 MAX VALUE 417.31 0.79 0.21 1.16
Eccentricity 6 9 7.20 7.00 2,312 MAX VALUE 633.10 0.48 0.07 0.68
MCB cycle size 3 10 6.91 7.00 1,948 MAX VALUE 540.72 1.14 0.16 1.51
Triangulated dual graph
Density: 56.90%
Triangles: 1,683,810
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.86 0.84 275.01 0.00 -50.66 0.07 0.08 4.94
Degree 19 253 182.09 215.00 58,450 MAX VALUE 1,622.96 74.68 0.41 3.95
Eccentricity 2 3 2.12 2.00 679 MAX VALUE 237.50 0.32 0.15 0.36
Triangulated minimal dual graph
Density: 10.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.83 0.80 264.99 0.00 -65.59 0.13 0.16 3.62
Degree 2 111 34.72 7.00 11,144 MAX VALUE 831.83 42.22 1.22 3.27
Eccentricity 3 5 3.74 4.00 1,199 MAX VALUE 419.90 0.51 0.14 0.73
Incidence graph
Density: 0.99%
MCB compute time (ms): 349
MCB cycles: 283
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-1-mgd_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-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 25 3.56 2.00 1,284 MAX VALUE 332.38 4.59 1.29 0.63
Eccentricity 5 6 5.89 6.00 2,126 MAX VALUE 639.53 0.31 0.05 0.35
MCB cycle size 6 6 6.00 6.00 1,698 MAX VALUE 507.07 0.00 0.00 0.00