Instance: frb50-23-2_ext
Number of variables: 50
Number of constraints: 445
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: 445
General features
Coarse blocks: 20,470
Value tables: 50
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 890 MAX VALUE 308.45 0.00 0.00 0.00
Coarse blocks size 4 23 16.32 17.00 334,008 MAX VALUE 56,795.90 2.83 0.17 2.41
Relational linkage 0.17 0.70 0.45 0.43 515.57 0.00 -949.29 0.09 0.20 2.16
Tightness 0.25 0.60 0.29 0.25 129.30 0.00 -564.39 0.08 0.29 1.12
Tuples 212 397 375.29 397.00 167,004 MAX VALUE 2,634.21 44.02 0.12 1.12
Values 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00
Value table constraints 10 27 17.80 18.00 890 MAX VALUE 143.13 3.19 0.18 2.42
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: 16
Number of leaves: 7
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 28 229 107.62 93.00 1,722 1.11e+31 71.49 66.34 0.62 2.77
Cluster variables 11 35 21.94 21.50 351 1.00e+21 48.35 7.81 0.36 2.60
Separator constraints 0 214 79.81 61.50 1,277 0 None 61.31 0.77 2.77
Separator variables 0 34 18.81 18.00 301 0 None 8.56 0.46 2.69
Dual tree decomposition
Number of clusters: 48
Number of leaves: 23
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 149 2,438 635.85 427.50 30,521 MAX VALUE 296.92 546.38 0.86 3.84
Cluster variables 24 239 69.17 44.00 3,320 MAX VALUE 192.60 54.63 0.79 3.45
Separator constraints 0 1,422 474.79 364.00 22,790 0 None 327.03 0.69 3.81
Separator variables 0 191 59.90 42.00 2,875 0 None 42.09 0.70 3.55
Primal graph
Density: 36.33%
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.31 0.43 0.36 0.36 18.07 0.00 -51.06 0.03 0.08 3.65
Degree 10 27 17.80 18.00 890 MAX VALUE 143.13 3.19 0.18 2.42
Eccentricity 2 3 2.04 2.00 102 2.53e+15 35.47 0.20 0.10 0.17
Triangulated primal graph
Density: 73.14%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.89 0.88 44.47 0.00 -5.99 0.06 0.07 3.53
Degree 10 46 35.84 41.00 1,792 MAX VALUE 175.43 10.83 0.30 2.73
Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 0.00 0.00 0.00
Dual graph
Density: 7.83%
MCB compute time (ms): 161,473
MCB cycles: 7,402
Triangles: 44,640
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.62 0.50 0.50 224.59 0.00 -304.45 0.01 0.03 4.99
Degree 23 48 34.75 35.00 15,462 MAX VALUE 1,575.27 4.39 0.13 2.87
Eccentricity 3 3 3.00 3.00 1,335 MAX VALUE 488.88 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 22,214 MAX VALUE 8,134.23 0.03 0.01 0.01
Minimal dual graph
Density: 0.85%
MCB compute time (ms): 2,211
MCB cycles: 396
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.78 4.00 1,680 MAX VALUE 579.34 0.87 0.23 1.24
Eccentricity 7 9 7.56 8.00 3,364 MAX VALUE 899.10 0.52 0.07 0.74
MCB cycle size 4 10 7.15 7.00 2,833 MAX VALUE 773.94 1.11 0.16 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.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.84 0.81 372.80 0.00 -84.45 0.13 0.16 3.74
Degree 2 146 43.96 7.00 19,562 MAX VALUE 1,182.51 57.11 1.30 3.38
Eccentricity 3 5 3.76 4.00 1,672 MAX VALUE 584.67 0.51 0.14 0.75
Incidence graph
Density: 0.73%
MCB compute time (ms): 929
MCB cycles: 398
Dot-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/frb50-23/frb50-23-2_ext/Incidence1.pdf
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 27 3.60 2.00 1,780 MAX VALUE 451.58 4.87 1.35 0.57
Eccentricity 5 6 5.90 6.00 2,922 MAX VALUE 878.17 0.30 0.05 0.32
MCB cycle size 6 6 6.00 6.00 2,388 MAX VALUE 713.12 0.00 0.00 0.00