Instance: rand-2-40-80-103-800-41_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:50
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 5 30 16.10 16.00 264,010 MAX VALUE 45,140.50 3.59 0.22 2.69
Relational linkage 0.06 0.29 0.15 0.15 473.65 0.00 -5,949.66 0.03 0.20 2.32
Tightness 0.79 0.81 0.80 0.80 82.27 0.00 -23.14 0.01 0.01 4.07
Tuples 1,187 1,356 1,287.82 1,291.00 132,645 MAX VALUE 737.52 32.41 0.03 4.07
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 9 5.26 5.00 205 5.37e+26 61.55 1.98 0.38 1.98
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: 11
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 19 6.48 5.00 175 4.62e+18 42.98 4.87 0.75 2.41
Cluster variables 2 14 6.52 6.00 176 3.44e+20 47.29 3.26 0.50 2.19
Separator constraints 0 13 2.67 1.00 72 0 None 3.73 1.40 1.73
Separator variables 0 12 5.04 5.00 136 0 None 3.07 0.61 2.19
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
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 87 32.79 29.00 1,246 MAX VALUE 120.30 23.27 0.71 3.30
Cluster variables 4 40 14.13 12.50 537 MAX VALUE 94.10 8.69 0.61 2.81
Separator constraints 0 49 19.29 17.50 733 0 None 14.28 0.74 3.10
Separator variables 0 28 11.42 10.50 434 0 None 6.71 0.59 2.74
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 0.33 None 0.13 None None None None None 2.23
Degree 1 9 5.15 5.00 206 5.37e+26 61.55 2.07 0.40 2.05
Eccentricity 3 5 3.98 4.00 159 6.57e+23 54.84 0.52 0.13 0.78
Triangulated primal graph
Density: 29.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 None 0.75 None None None None None 2.83
Degree 1 27 11.35 9.00 454 4.07e+36 84.30 7.71 0.68 2.63
Eccentricity 2 4 3.38 3.00 135 8.09e+20 48.14 0.53 0.16 0.78
Dual graph
Density: 9.77%
MCB compute time (ms): 164
MCB cycles: 452
Triangles: 829
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.50 0.49 51.95 0.00 -71.46 0.08 0.15 3.25
Degree 3 15 9.96 10.00 1,026 MAX VALUE 231.78 2.76 0.28 2.26
Eccentricity 3 5 3.95 4.00 407 MAX VALUE 141.03 0.38 0.10 0.51
MCB cycle size 3 6 3.26 3.00 1,472 MAX VALUE 527.47 0.60 0.19 0.60
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 46
MCB cycles: 64
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 5 3.22 3.00 332 MAX VALUE 118.64 0.62 0.19 0.92
Eccentricity 6 8 6.92 7.00 713 MAX VALUE 198.95 0.55 0.08 0.83
MCB cycle size 4 10 6.75 7.00 432 MAX VALUE 121.15 1.22 0.18 1.60
Triangulated dual graph
Density: 35.05%
Triangles: 20,702
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.80 0.77 82.65 0.00 -23.65 0.11 0.14 4.06
Degree 3 62 35.75 36.00 3,682 MAX VALUE 341.39 20.75 0.58 3.51
Eccentricity 2 4 2.87 3.00 296 MAX VALUE 107.18 0.48 0.17 0.69
Triangulated minimal dual graph
Density: 12.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.76 0.67 78.30 0.00 -31.48 0.19 0.25 2.88
Degree 2 39 12.54 6.00 1,292 MAX VALUE 210.97 12.11 0.97 2.82
Eccentricity 3 5 3.78 4.00 389 MAX VALUE 135.85 0.52 0.14 0.76
Incidence graph
Density: 2.03%
MCB compute time (ms): 59
MCB cycles: 64
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.14
Degree 1 9 2.88 2.00 412 MAX VALUE 132.94 1.79 0.62 1.07
Eccentricity 7 11 8.45 8.00 1,208 MAX VALUE 304.45 0.83 0.10 1.20
MCB cycle size 6 12 7.56 8.00 484 MAX VALUE 128.31 1.48 0.20 1.07