Instance: rand-2-40-180-84-900-50_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:21
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,240
Number of unique subscopes: 40
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 37 18.03 18.00 545,258 MAX VALUE 86,656.10 4.05 0.22 2.81
Relational linkage 0.03 0.15 0.08 0.08 560.42 0.00 -18,531.50 0.02 0.20 2.44
Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.87 0.00 0.00 4.17
Tuples 3,144 3,372 3,245.58 3,245.50 272,629 MAX VALUE 679.13 52.24 0.02 4.17
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.20 4.00 168 6.45e+23 54.82 1.50 0.36 1.73
Partitions per subscope 180 180 180.00 180.00 7,200 MAX VALUE 207.72 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 2 11 4.00 3.00 120 2.78e+16 37.86 2.19 0.55 1.73
Cluster variables 3 11 5.60 5.00 168 2.72e+21 49.35 2.33 0.42 1.89
Separator constraints 0 8 1.20 0.00 36 0 None 2.06 1.71 1.30
Separator variables 0 10 4.27 3.50 128 0 None 2.25 0.53 1.93
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 4 41 16.84 14.00 640 MAX VALUE 101.23 9.39 0.56 3.12
Cluster variables 4 26 10.50 9.00 399 8.20e+36 85.00 5.39 0.51 2.65
Separator constraints 0 23 8.58 7.00 326 0 None 5.95 0.69 2.66
Separator variables 0 18 8.29 7.50 315 0 None 4.15 0.50 2.50
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 0.06 0.00 2.53 0.00 None 0.10 1.53 1.15
Degree 2 8 4.20 4.00 168 6.45e+23 54.82 1.50 0.36 1.73
Eccentricity 3 4 3.88 4.00 155 2.87e+23 54.01 0.33 0.09 0.38
Triangulated primal graph
Density: 23.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.77 0.72 30.64 0.00 -12.05 0.20 0.26 2.47
Degree 2 22 9.15 7.00 366 1.88e+33 76.62 6.55 0.72 2.48
Eccentricity 2 4 3.17 3.00 127 6.40e+19 45.60 0.54 0.17 0.81
Dual graph
Density: 9.01%
MCB compute time (ms): 61
MCB cycles: 235
Triangles: 362
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 0.71 0.49 0.47 40.84 0.00 -61.49 0.07 0.15 2.72
Degree 3 13 7.48 7.50 628 MAX VALUE 165.71 2.04 0.27 2.09
Eccentricity 4 5 4.12 4.00 346 MAX VALUE 118.68 0.32 0.08 0.37
MCB cycle size 3 6 3.27 3.00 768 MAX VALUE 274.84 0.63 0.19 0.60
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 18
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 92.02 0.58 0.19 0.86
Eccentricity 6 8 6.93 7.00 582 MAX VALUE 162.31 0.57 0.08 0.86
MCB cycle size 4 9 7.18 7.00 323 1.54e+38 87.93 1.27 0.18 1.60
Triangulated dual graph
Density: 27.91%
Triangles: 6,741
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.78 0.76 65.67 0.00 -21.93 0.13 0.17 3.87
Degree 3 49 23.17 21.00 1,946 MAX VALUE 242.01 14.46 0.62 3.45
Eccentricity 2 4 2.86 3.00 240 5.12e+37 86.83 0.49 0.17 0.72
Triangulated minimal dual graph
Density: 11.96%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 0.74 0.67 62.56 0.00 -27.94 0.20 0.27 2.75
Degree 2 31 9.93 5.00 834 MAX VALUE 157.57 9.15 0.92 2.69
Eccentricity 3 5 3.75 4.00 315 MAX VALUE 110.21 0.51 0.14 0.74
Incidence graph
Density: 2.20%
MCB compute time (ms): 29
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 8 2.71 2.00 336 MAX VALUE 113.05 1.34 0.49 1.06
Eccentricity 7 10 8.54 8.50 1,059 MAX VALUE 265.54 0.70 0.08 1.05
MCB cycle size 6 12 8.58 8.00 386 MAX VALUE 95.98 1.50 0.17 1.10