Instance: rand-2-40-180-84-900-39_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,700
Number of unique subscopes: 37
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 35 17.99 18.00 534,411 MAX VALUE 85,057.10 4.01 0.22 2.80
Relational linkage 0.02 0.15 0.08 0.08 516.67 0.00 -17,172.40 0.02 0.20 2.47
Tightness 0.90 0.90 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.14
Tuples 3,079 3,336 3,237.68 3,239.50 271,965 MAX VALUE 678.93 52.68 0.02 4.14
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.46 4.00 165 2.95e+22 51.74 1.90 0.43 1.92
Partitions per subscope 180 180 180.00 180.00 6,660 MAX VALUE 192.14 0.00 0.00 0.00
Tree decomposition
Number of clusters: 31
Number of leaves: 11
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 9 4.32 4.00 134 6.37e+16 38.69 2.60 0.60 2.12
Cluster variables 2 10 5.06 4.00 157 2.34e+20 46.90 2.40 0.47 2.03
Separator constraints 0 6 1.61 1.00 50 0 None 1.86 1.15 1.62
Separator variables 0 9 3.77 3.00 117 0 None 2.32 0.62 2.09
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 54 19.29 16.50 733 MAX VALUE 102.49 13.04 0.68 3.17
Cluster variables 3 24 10.08 9.00 383 4.96e+35 82.19 5.69 0.56 2.63
Separator constraints 0 33 10.03 8.50 381 0 None 7.52 0.75 2.99
Separator variables 0 18 7.87 7.00 299 0 None 4.43 0.56 2.55
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.07 None None None None None 2.17
Degree 1 9 4.20 4.00 168 2.95e+22 51.74 2.04 0.49 2.05
Eccentricity 3 5 4.15 4.00 166 3.56e+24 56.53 0.57 0.14 0.86
Triangulated primal graph
Density: 20.77%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.69 None None None None None 2.98
Degree 1 20 8.10 6.00 324 1.33e+30 69.36 6.20 0.76 2.58
Eccentricity 3 5 3.62 4.00 145 1.42e+22 51.01 0.58 0.16 0.85
Dual graph
Density: 10.10%
MCB compute time (ms): 43
MCB cycles: 285
Triangles: 493
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.52 0.49 43.40 0.00 None 0.14 0.26 3.19
Degree 2 15 8.38 8.00 704 MAX VALUE 172.95 2.77 0.33 2.34
Eccentricity 3 5 4.00 4.00 336 MAX VALUE 116.19 0.31 0.08 0.38
MCB cycle size 3 7 3.27 3.00 933 MAX VALUE 333.49 0.67 0.20 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 4 3.05 3.00 256 MAX VALUE 91.90 0.60 0.20 0.90
Eccentricity 5 8 6.73 7.00 565 MAX VALUE 159.74 0.62 0.09 0.95
MCB cycle size 4 10 7.24 7.00 326 1.99e+38 88.19 1.37 0.19 1.64
Triangulated dual graph
Density: 27.34%
Triangles: 6,551
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.78 0.74 65.16 0.00 -22.50 0.13 0.17 3.91
Degree 2 50 22.69 21.00 1,906 MAX VALUE 238.58 14.24 0.63 3.44
Eccentricity 2 4 3.32 3.00 279 MAX VALUE 99.93 0.49 0.15 0.70
Triangulated minimal dual graph
Density: 12.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.74 0.67 62.52 0.00 -27.96 0.20 0.27 2.68
Degree 2 29 10.12 5.00 850 MAX VALUE 158.49 9.24 0.91 2.73
Eccentricity 3 5 3.92 4.00 329 MAX VALUE 113.79 0.56 0.14 0.84
Incidence graph
Density: 2.20%
MCB compute time (ms): 20
MCB cycles: 46
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 1.00
Degree 1 9 2.71 2.00 336 MAX VALUE 109.96 1.55 0.57 1.09
Eccentricity 7 11 8.63 9.00 1,070 MAX VALUE 266.69 0.81 0.09 1.20
MCB cycle size 6 12 7.96 8.00 366 MAX VALUE 94.70 1.41 0.18 1.00