Instance: normalized-frb40-19-2-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 2 19 13.34 14.00 162,706 MAX VALUE 31,307.40 2.64 0.20 2.33
Relational linkage 0.11 0.68 0.42 0.42 318.32 0.00 -689.46 0.11 0.25 2.10
Tightness 0.25 0.67 0.30 0.25 95.65 0.00 -401.62 0.10 0.32 1.23
Tuples 119 271 253.44 271.00 81,353 MAX VALUE 1,773.03 34.82 0.14 1.23
DomSize 19 19 19.00 19.00 760 MAX VALUE 117.78 0.00 0.00 0.00
Value table constraints 9 22 16.05 16.00 642 MAX VALUE 110.21 3.15 0.20 2.46
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: 7
Tree depth: 4
CIR: None
Independent Cluster Pairs: None
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/Tree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 22 161 88.29 69.00 1,236 2.13e+26 60.62 44.31 0.50 2.44
Variables per cluster 10 27 19.14 18.00 268 4.60e+17 40.67 5.67 0.30 2.07
Separator constraints 0 143 65.36 54.00 915 0 None 43.87 0.67 2.54
Separator variables 0 26 16.29 16.50 228 0 None 6.91 0.42 2.21
Dual tree decomposition
Number of clusters: 38
Number of leaves: 19
Tree depth: 5
CIR: None
Independent Cluster Pairs: None
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/DualTree1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 92 1,560 474.45 367.50 18,029 MAX VALUE 225.03 361.03 0.76 3.53
Variables per cluster 19 177 57.24 40.00 2,175 MAX VALUE 146.70 39.67 0.69 3.40
Separator constraints 0 911 342.11 285.00 13,000 0 None 211.82 0.62 3.49
Separator variables 0 136 48.79 38.00 1,854 0 None 30.13 0.62 3.33
Primal graph
Density: 41.15%
MCB compute time (ms): None
MCB cycles: None
Triangles: 708
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/Primal1.pdf
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.30 0.56 0.42 0.42 16.89 0.00 -34.73 0.05 0.11 3.47
Degree 9 22 16.05 16.00 642 MAX VALUE 110.21 3.15 0.20 2.46
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: 74.23%
MCB compute time (ms): None
MCB cycles: None
Triangles: 5,002
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.75 1.00 0.88 0.87 35.39 0.01 -5.02 0.07 0.08 3.35
Degree 9 38 28.95 32.50 1,158 MAX VALUE 132.26 8.26 0.29 2.66
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.79%
MCB compute time (ms): 33,192
MCB cycles: 4,865
Triangles: 26,295
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_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.50 162.94 0.00 -217.78 0.01 0.03 4.82
Degree 18 41 31.33 31.00 10,058 MAX VALUE 1,102.58 4.27 0.14 2.82
Eccentricity 3 3 3.00 3.00 963 MAX VALUE 352.65 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 14,609 MAX VALUE 5,348.78 0.05 0.02 0.02
Minimal dual graph
Density: 1.17%
MCB compute time (ms): 585
MCB cycles: 283
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.50 0.00 None 0.02 10.30 0.05
Degree 2 6 3.75 4.00 1,204 MAX VALUE 416.33 0.83 0.22 1.21
Eccentricity 6 8 7.14 7.00 2,291 MAX VALUE 630.20 0.46 0.06 0.66
MCB cycle size 3 9 6.96 7.00 1,969 MAX VALUE 545.11 1.08 0.16 1.45
Triangulated dual graph
Density: 57.47%
Triangles: 1,717,310
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.75 1.00 0.86 0.83 275.47 0.00 -50.12 0.07 0.08 4.74
Degree 18 262 183.89 219.00 59,030 MAX VALUE 1,627.03 74.70 0.41 4.15
Eccentricity 2 3 2.11 2.00 678 MAX VALUE 237.10 0.32 0.15 0.35
Triangulated minimal dual graph
Density: 10.45%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.82 0.79 262.37 0.00 -69.41 0.14 0.17 3.67
Degree 2 108 33.44 7.00 10,734 MAX VALUE 826.75 40.58 1.21 3.36
Eccentricity 3 5 3.79 4.00 1,215 MAX VALUE 423.86 0.54 0.14 0.80
Incidence graph
Density: 0.99%
MCB compute time (ms): 291
MCB cycles: 283
Dot-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/frb40-19/frb40-19-2_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 22 3.56 2.00 1,284 MAX VALUE 332.71 4.53 1.27 0.62
Eccentricity 5 6 5.89 6.00 2,126 MAX VALUE 639.53 0.31 0.05 0.35
MCB cycle size 6 8 6.01 6.00 1,700 MAX VALUE 507.36 0.12 0.02 0.02