Instance: rand-2-40-180-84-900-61_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:25
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 4 39 18.00 18.00 541,135 MAX VALUE 86,108.50 4.00 0.22 2.80
Relational linkage 0.02 0.14 0.08 0.08 547.81 0.00 -18,052.90 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.15
Tuples 3,133 3,344 3,240.25 3,243.50 272,181 MAX VALUE 679.00 50.55 0.02 4.15
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 10 4.28 4.00 167 2.51e+23 53.88 1.69 0.40 1.73
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: 15
Tree depth: 5
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 4.03 4.00 121 6.74e+16 38.75 1.78 0.44 1.86
Cluster variables 2 11 5.47 5.00 164 9.37e+20 48.29 2.40 0.44 1.92
Separator constraints 0 6 1.23 0.50 37 0 None 1.61 1.30 1.40
Separator variables 0 10 4.13 3.50 124 0 None 2.31 0.56 1.97
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 4 53 19.03 13.50 723 MAX VALUE 102.46 13.56 0.71 3.09
Cluster variables 4 28 10.79 8.00 410 1.05e+37 85.25 6.09 0.56 2.58
Separator constraints 0 27 10.34 7.50 393 0 None 8.13 0.79 2.79
Separator variables 0 21 8.58 7.00 326 0 None 4.71 0.55 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 0.67 None 0.00 None None None None None 1.66
Degree 1 10 4.20 4.00 168 2.51e+23 53.88 1.75 0.42 1.81
Eccentricity 3 5 4.03 4.00 161 1.17e+24 55.42 0.47 0.12 0.69
Triangulated primal graph
Density: 22.95%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.39 1.00 None 0.75 None None None None None 2.82
Degree 1 24 8.95 5.00 358 1.93e+32 74.34 6.77 0.76 2.51
Eccentricity 2 4 2.90 3.00 116 1.50e+18 41.85 0.54 0.19 0.80
Dual graph
Density: 9.47%
MCB compute time (ms): 48
MCB cycles: 265
Triangles: 436
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.50 0.47 41.62 0.00 -60.50 0.10 0.20 2.96
Degree 3 15 7.86 8.00 660 MAX VALUE 168.49 2.61 0.33 2.28
Eccentricity 3 5 4.08 4.00 343 MAX VALUE 117.88 0.35 0.09 0.45
MCB cycle size 3 6 3.31 3.00 877 MAX VALUE 312.79 0.67 0.20 0.68
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 14
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.67 0.00 None 0.04 5.52 0.18
Degree 2 4 3.05 3.00 256 MAX VALUE 91.67 0.63 0.21 0.95
Eccentricity 6 8 6.82 7.00 573 MAX VALUE 161.00 0.56 0.08 0.84
MCB cycle size 3 9 7.24 8.00 326 2.29e+38 88.33 1.21 0.17 1.47
Triangulated dual graph
Density: 30.26%
Triangles: 8,203
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.79 0.77 66.27 0.00 -20.94 0.12 0.16 3.82
Degree 3 48 25.12 23.50 2,110 MAX VALUE 247.54 15.56 0.62 3.26
Eccentricity 2 4 2.87 3.00 241 6.07e+37 87.00 0.53 0.18 0.79
Triangulated minimal dual graph
Density: 11.93%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.75 0.67 63.04 0.00 -27.36 0.21 0.27 2.53
Degree 2 31 9.90 5.00 832 MAX VALUE 155.75 9.29 0.94 2.71
Eccentricity 3 4 3.60 4.00 302 MAX VALUE 106.67 0.49 0.14 0.67
Incidence graph
Density: 2.20%
MCB compute time (ms): 23
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.60
Degree 1 10 2.71 2.00 336 MAX VALUE 112.10 1.43 0.53 1.08
Eccentricity 7 11 8.55 8.00 1,060 MAX VALUE 265.52 0.82 0.10 1.17
MCB cycle size 6 12 8.40 8.00 378 MAX VALUE 94.96 1.55 0.19 1.14