Instance: rand-2-40-180-84-900-20_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:12
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 84
General features
Number of coarse blocks: 30,060
Number of unique subscopes: 39
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 5 39 17.99 18.00 540,851 MAX VALUE 86,086.10 4.02 0.22 2.80
Relational linkage 0.03 0.14 0.08 0.08 546.59 0.00 -18,069.30 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 75.60 0.00 -8.85 0.00 0.00 4.16
Tuples 3,100 3,350 3,238.20 3,233.50 272,009 MAX VALUE 678.94 53.60 0.02 4.16
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 9 4.28 4.00 167 1.66e+23 53.47 1.74 0.41 1.85
Partitions per subscope 180 180 180.00 180.00 7,020 MAX VALUE 202.53 0.00 0.00 0.00
Tree decomposition
Number of clusters: 30
Number of leaves: 13
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 10 4.10 4.00 123 2.70e+16 37.83 2.20 0.54 2.03
Cluster variables 2 11 5.37 4.50 161 3.83e+20 47.40 2.47 0.46 1.95
Separator constraints 0 7 1.30 0.50 39 0 None 1.86 1.43 1.39
Separator variables 0 9 4.03 3.00 121 0 None 2.36 0.58 1.95
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 44 17.37 15.00 660 MAX VALUE 101.31 9.91 0.57 3.03
Cluster variables 3 24 10.32 9.00 392 2.94e+36 83.97 5.25 0.51 2.52
Separator constraints 0 27 8.61 7.50 327 0 None 5.60 0.65 2.67
Separator variables 0 17 8.11 7.00 308 0 None 4.10 0.51 2.49
Primal graph
Density: 10.77%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 None 0.00 None None None None None 1.73
Degree 1 9 4.20 4.00 168 1.66e+23 53.47 1.79 0.43 1.92
Eccentricity 3 5 4.30 4.00 172 1.55e+25 58.00 0.56 0.13 0.82
Triangulated primal graph
Density: 22.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.78 None None None None None 2.96
Degree 1 23 8.80 6.00 352 7.38e+31 73.38 6.61 0.75 2.48
Eccentricity 2 4 3.33 3.00 133 4.04e+20 47.45 0.57 0.17 0.84
Dual graph
Density: 9.55%
MCB compute time (ms): 55
MCB cycles: 253
Triangles: 432
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.50 0.49 42.22 0.00 None 0.11 0.22 3.14
Degree 2 15 7.93 8.00 666 MAX VALUE 169.15 2.51 0.32 2.26
Eccentricity 3 5 4.27 4.00 359 MAX VALUE 121.52 0.47 0.11 0.66
MCB cycle size 3 6 3.22 3.00 815 MAX VALUE 292.92 0.56 0.17 0.55
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 15
MCB cycles: 45
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 4 3.05 3.00 256 MAX VALUE 91.79 0.62 0.20 0.93
Eccentricity 5 8 6.75 7.00 567 MAX VALUE 160.03 0.63 0.09 0.96
MCB cycle size 4 10 7.04 7.00 317 5.87e+37 86.97 1.33 0.19 1.68
Triangulated dual graph
Density: 26.85%
Triangles: 6,101
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.78 0.76 65.33 0.00 -22.53 0.14 0.18 3.86
Degree 2 49 22.29 19.50 1,872 MAX VALUE 238.82 13.85 0.62 3.43
Eccentricity 2 4 3.02 3.00 254 MAX VALUE 91.80 0.49 0.16 0.71
Triangulated minimal dual graph
Density: 11.96%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.75 0.67 63.03 0.00 -27.44 0.21 0.28 2.62
Degree 2 32 9.93 5.00 834 MAX VALUE 155.90 9.31 0.94 2.71
Eccentricity 3 5 3.73 4.00 313 MAX VALUE 109.57 0.54 0.15 0.80
Incidence graph
Density: 2.20%
MCB compute time (ms): 22
MCB cycles: 45
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.51
Degree 1 9 2.71 2.00 336 MAX VALUE 111.69 1.45 0.53 1.07
Eccentricity 7 11 9.15 9.00 1,134 MAX VALUE 273.81 0.92 0.10 1.32
MCB cycle size 6 12 8.36 8.00 376 MAX VALUE 94.80 1.48 0.18 1.10