Instance: rand-2-40-180-84-900-48_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:24
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 4 39 18.01 18.00 538,056 MAX VALUE 85,597.50 4.01 0.22 2.80
Relational linkage 0.02 0.14 0.08 0.08 530.14 0.00 -17,632.80 0.02 0.20 2.43
Tightness 0.90 0.91 0.90 0.90 75.60 0.00 -8.85 0.00 0.00 4.18
Tuples 3,076 3,356 3,241.19 3,242.50 272,260 MAX VALUE 679.02 53.36 0.02 4.18
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 8 4.37 4.00 166 1.94e+23 53.62 1.53 0.35 1.76
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: 15
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 9 3.69 3.00 107 8.13e+14 34.33 1.78 0.48 1.87
Cluster variables 2 12 5.52 5.00 160 1.54e+20 46.49 2.58 0.47 2.14
Separator constraints 0 6 0.79 0.00 23 0 None 1.27 1.60 1.15
Separator variables 0 10 4.14 4.00 120 0 None 2.40 0.58 2.14
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
Tree depth: 7
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 38 17.84 15.00 678 MAX VALUE 103.28 9.75 0.55 2.97
Cluster variables 5 26 10.61 9.00 403 1.41e+37 85.54 5.44 0.51 2.44
Separator constraints 0 24 9.32 8.50 354 0 None 6.02 0.65 2.71
Separator variables 0 19 8.39 8.00 319 0 None 4.22 0.50 2.33
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.65
Degree 1 8 4.20 4.00 168 1.94e+23 53.62 1.66 0.40 1.87
Eccentricity 3 5 4.15 4.00 166 4.05e+24 56.66 0.48 0.11 0.69
Triangulated primal graph
Density: 23.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 None 0.77 None None None None None 2.70
Degree 1 22 9.30 6.50 372 3.56e+32 74.95 6.96 0.75 2.62
Eccentricity 2 4 3.00 3.00 120 5.33e+18 43.12 0.59 0.20 0.89
Dual graph
Density: 9.29%
MCB compute time (ms): 46
MCB cycles: 250
Triangles: 391
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.49 0.47 41.33 0.00 -60.79 0.10 0.20 2.83
Degree 4 13 7.71 7.00 648 MAX VALUE 167.97 2.24 0.29 2.12
Eccentricity 3 5 4.15 4.00 349 MAX VALUE 119.28 0.39 0.09 0.51
MCB cycle size 3 7 3.33 3.00 833 MAX VALUE 295.60 0.79 0.24 0.69
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.00 None 0.00 None None None None None 0.74
Degree 1 4 3.05 3.00 256 MAX VALUE 91.14 0.69 0.23 1.03
Eccentricity 6 8 6.81 7.00 572 MAX VALUE 160.87 0.55 0.08 0.81
MCB cycle size 4 9 7.02 7.00 316 4.45e+37 86.69 1.44 0.20 1.61
Triangulated dual graph
Density: 28.08%
Triangles: 6,866
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.78 0.76 65.70 0.00 -21.88 0.13 0.17 3.85
Degree 4 51 23.31 19.50 1,958 MAX VALUE 242.92 14.59 0.63 3.31
Eccentricity 2 3 2.62 3.00 220 2.78e+34 79.31 0.49 0.19 0.66
Triangulated minimal dual graph
Density: 11.53%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 None 0.67 None None None None None 2.96
Degree 1 31 9.57 5.00 804 MAX VALUE 152.84 8.95 0.93 2.79
Eccentricity 3 6 4.20 4.00 353 MAX VALUE 119.58 0.65 0.15 0.98
Incidence graph
Density: 2.20%
MCB compute time (ms): 24
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.43
Degree 1 8 2.71 2.00 336 MAX VALUE 111.85 1.40 0.52 1.10
Eccentricity 7 11 8.81 9.00 1,092 MAX VALUE 269.24 0.81 0.09 1.19
MCB cycle size 6 14 8.62 8.00 388 MAX VALUE 95.95 1.83 0.21 1.29