Instance: rand-2-40-80-103-800-89_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:56
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 103
General features
Number of coarse blocks: 16,400
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 4 30 16.06 16.00 263,455 MAX VALUE 45,109.20 3.58 0.22 2.69
Relational linkage 0.05 0.29 0.15 0.15 474.25 0.00 -5,943.65 0.03 0.20 2.31
Tightness 0.78 0.81 0.80 0.80 82.32 0.00 -23.09 0.01 0.01 4.08
Tuples 1,192 1,391 1,285.00 1,286.00 132,355 MAX VALUE 737.29 34.81 0.03 4.08
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 10 5.26 5.00 205 3.70e+26 61.18 2.14 0.41 2.01
Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 0.00 0.00 0.00
Tree decomposition
Number of clusters: 27
Number of leaves: 14
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 16 6.37 4.00 172 6.51e+18 43.32 4.35 0.68 2.39
Cluster variables 2 14 6.33 6.00 171 1.40e+20 46.39 3.32 0.52 2.11
Separator constraints 0 13 2.56 1.00 69 0 None 3.49 1.37 1.64
Separator variables 0 12 4.85 4.00 131 0 None 3.11 0.64 2.11
Dual tree decomposition
Number of clusters: 38
Number of leaves: 16
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 74 32.13 27.00 1,221 MAX VALUE 124.02 19.52 0.61 3.21
Cluster variables 4 35 13.92 11.50 529 MAX VALUE 94.77 7.75 0.56 2.83
Separator constraints 0 42 18.29 16.50 695 0 None 11.16 0.61 3.12
Separator variables 0 26 11.21 10.00 426 0 None 5.95 0.53 2.78
Primal graph
Density: 13.21%
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.10 None None None None None 2.51
Degree 1 10 5.15 5.00 206 3.70e+26 61.18 2.22 0.43 2.07
Eccentricity 3 4 3.55 4.00 142 6.82e+21 50.27 0.50 0.14 0.69
Triangulated primal graph
Density: 28.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 None 0.80 None None None None None 2.84
Degree 1 23 11.10 7.50 444 7.14e+35 82.56 7.86 0.71 2.71
Eccentricity 2 4 3.00 3.00 120 6.00e+18 43.24 0.55 0.18 0.82
Dual graph
Density: 10.01%
MCB compute time (ms): 74
MCB cycles: 433
Triangles: 902
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.52 0.49 53.33 0.00 -69.28 0.10 0.18 3.51
Degree 3 18 10.21 10.00 1,052 MAX VALUE 234.85 2.91 0.28 2.40
Eccentricity 3 5 3.76 4.00 387 MAX VALUE 135.47 0.47 0.13 0.67
MCB cycle size 3 5 3.13 3.00 1,357 MAX VALUE 491.87 0.39 0.12 0.41
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 19
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.01 0.00 1.50 0.00 None 0.10 7.15 0.16
Degree 2 5 3.22 3.00 332 MAX VALUE 118.89 0.57 0.18 0.86
Eccentricity 6 8 6.60 7.00 680 MAX VALUE 194.07 0.53 0.08 0.76
MCB cycle size 3 9 7.08 7.00 453 MAX VALUE 124.48 0.99 0.14 1.28
Triangulated dual graph
Density: 32.59%
Triangles: 17,259
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.80 0.78 81.90 0.00 -24.83 0.12 0.15 4.07
Degree 3 63 33.24 27.00 3,424 MAX VALUE 335.52 19.37 0.58 3.61
Eccentricity 2 3 2.66 3.00 274 MAX VALUE 98.97 0.47 0.18 0.64
Triangulated minimal dual graph
Density: 13.17%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.77 0.71 79.30 0.00 -29.74 0.18 0.23 2.97
Degree 2 39 13.44 6.00 1,384 MAX VALUE 215.19 13.03 0.97 2.83
Eccentricity 3 5 3.74 4.00 385 MAX VALUE 134.70 0.54 0.14 0.80
Incidence graph
Density: 2.03%
MCB compute time (ms): 26
MCB cycles: 66
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.46
Degree 1 10 2.88 2.00 412 MAX VALUE 132.57 1.84 0.64 1.08
Eccentricity 6 10 7.80 8.00 1,116 MAX VALUE 293.29 0.67 0.09 1.00
MCB cycle size 6 10 7.45 8.00 492 MAX VALUE 131.74 1.18 0.16 0.88