Instance: rand-2-40-180-84-900-86_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:22
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: 29,880
Number of unique subscopes: 38
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 3 36 17.98 18.00 537,302 MAX VALUE 85,550.30 4.01 0.22 2.81
Relational linkage 0.02 0.15 0.08 0.08 531.14 0.00 -17,628.70 0.02 0.20 2.46
Tightness 0.90 0.91 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.10
Tuples 3,063 3,339 3,236.64 3,241.50 271,878 MAX VALUE 678.90 55.18 0.02 4.10
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.37 4.00 166 7.93e+22 52.73 1.80 0.41 1.88
Partitions per subscope 180 180 180.00 180.00 6,840 MAX VALUE 197.33 0.00 0.00 0.00
Tree decomposition
Number of clusters: 29
Number of leaves: 16
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 8 3.62 3.00 105 1.93e+14 32.89 1.94 0.54 1.93
Cluster variables 2 12 5.07 4.00 147 1.27e+19 43.99 2.48 0.49 1.92
Separator constraints 0 4 0.72 0.00 21 0 None 1.08 1.49 1.10
Separator variables 0 10 3.69 3.00 107 0 None 2.21 0.60 1.92
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 19.24 15.50 731 MAX VALUE 102.69 12.57 0.65 3.09
Cluster variables 3 25 10.58 8.00 402 3.30e+36 84.09 5.89 0.56 2.65
Separator constraints 0 24 10.26 9.00 390 0 None 7.44 0.73 2.85
Separator variables 0 18 8.37 7.00 318 0 None 4.59 0.55 2.58
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 1.00 None 0.00 None None None None None 1.80
Degree 1 9 4.20 4.00 168 7.93e+22 52.73 1.90 0.45 1.99
Eccentricity 3 5 4.22 4.00 169 7.92e+24 57.33 0.52 0.12 0.77
Triangulated primal graph
Density: 22.18%
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.69
Degree 1 22 8.65 5.00 346 9.87e+30 71.37 6.85 0.79 2.61
Eccentricity 3 5 3.62 4.00 145 1.42e+22 51.01 0.58 0.16 0.85
Dual graph
Density: 9.78%
MCB compute time (ms): 37
MCB cycles: 273
Triangles: 461
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.51 0.49 42.59 0.00 None 0.13 0.25 3.23
Degree 2 15 8.12 8.00 682 MAX VALUE 170.54 2.71 0.33 2.30
Eccentricity 3 5 4.08 4.00 343 MAX VALUE 117.95 0.32 0.08 0.38
MCB cycle size 3 7 3.29 3.00 898 MAX VALUE 320.27 0.71 0.21 0.64
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 12
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 5 3.05 3.00 256 MAX VALUE 91.49 0.67 0.22 1.01
Eccentricity 6 8 6.67 7.00 560 MAX VALUE 159.02 0.60 0.09 0.89
MCB cycle size 4 10 7.13 7.00 321 9.62e+37 87.46 1.36 0.19 1.57
Triangulated dual graph
Density: 29.06%
Triangles: 7,375
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.78 0.74 65.89 0.00 -21.59 0.13 0.17 3.88
Degree 2 51 24.12 23.50 2,026 MAX VALUE 243.77 14.86 0.62 3.46
Eccentricity 2 4 3.02 3.00 254 MAX VALUE 91.80 0.49 0.16 0.71
Triangulated minimal dual graph
Density: 12.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.75 0.67 62.77 0.00 -27.57 0.20 0.27 2.73
Degree 2 31 10.12 5.00 850 MAX VALUE 157.42 9.46 0.93 2.67
Eccentricity 3 5 3.80 4.00 319 MAX VALUE 111.17 0.55 0.15 0.82
Incidence graph
Density: 2.20%
MCB compute time (ms): 20
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.78
Degree 1 9 2.71 2.00 336 MAX VALUE 110.95 1.49 0.55 1.09
Eccentricity 7 11 8.78 9.00 1,089 MAX VALUE 268.90 0.81 0.09 1.18
MCB cycle size 6 14 8.31 8.00 374 MAX VALUE 94.21 1.84 0.22 1.25