Instance: rand-2-40-40-135-650-42_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:36
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 135
General features
Number of coarse blocks: 10,800
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 270 MAX VALUE 93.57 0.00 0.00 0.00
Coarse blocks size 4 26 14.06 14.00 151,858 MAX VALUE 28,278.10 3.05 0.22 2.53
Relational linkage 0.10 0.40 0.26 0.25 409.70 0.00 -2,211.93 0.05 0.19 2.10
Tightness 0.61 0.68 0.65 0.65 87.54 0.00 -58.49 0.01 0.02 3.96
Tuples 513 617 562.44 563.00 75,929 MAX VALUE 854.78 18.43 0.03 3.96
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 12 6.75 6.00 270 9.97e+31 73.68 2.44 0.36 2.18
Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Tree decomposition
Number of clusters: 25
Number of leaves: 12
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 3 28 10.64 8.00 266 5.58e+23 54.68 6.73 0.63 2.39
Cluster variables 4 16 8.16 7.00 204 7.38e+21 50.35 3.48 0.43 2.38
Separator constraints 0 20 5.24 3.00 131 0 None 5.37 1.02 2.32
Separator variables 0 14 6.56 6.00 164 0 None 3.37 0.51 2.38
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 9 145 59.95 51.50 2,278 MAX VALUE 144.87 40.95 0.68 3.56
Cluster variables 6 52 19.61 16.00 745 MAX VALUE 106.64 12.07 0.62 2.91
Separator constraints 0 84 36.39 29.00 1,383 0 None 25.24 0.69 3.33
Separator variables 0 40 16.05 14.00 610 0 None 9.25 0.58 3.11
Primal graph
Density: 17.31%
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.19 0.20 7.59 0.00 None 0.10 0.51 2.78
Degree 3 12 6.75 6.00 270 9.97e+31 73.68 2.44 0.36 2.18
Eccentricity 3 4 3.15 3.00 126 6.83e+19 45.67 0.36 0.11 0.42
Triangulated primal graph
Density: 36.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.80 0.79 31.99 0.00 -9.71 0.15 0.19 2.79
Degree 3 27 14.20 13.00 568 MAX VALUE 96.70 8.52 0.60 2.86
Eccentricity 2 3 2.55 3.00 102 8.23e+15 36.65 0.50 0.20 0.69
Dual graph
Density: 9.89%
MCB compute time (ms): 457
MCB cycles: 794
Triangles: 2,005
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 0.73 0.51 0.50 68.98 0.00 -91.26 0.05 0.10 3.96
Degree 5 21 13.26 13.00 1,790 MAX VALUE 343.87 3.40 0.26 2.61
Eccentricity 3 4 3.50 3.00 472 MAX VALUE 167.59 0.50 0.14 0.69
MCB cycle size 3 5 3.10 3.00 2,462 MAX VALUE 894.92 0.33 0.10 0.34
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 58
MCB cycles: 96
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.41 3.00 460 MAX VALUE 162.57 0.69 0.20 1.05
Eccentricity 6 8 6.78 7.00 915 MAX VALUE 257.91 0.54 0.08 0.80
MCB cycle size 4 9 6.57 7.00 631 MAX VALUE 178.93 1.23 0.19 1.57
Triangulated dual graph
Density: 38.50%
Triangles: 55,915
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.81 0.79 109.83 0.00 -29.00 0.11 0.13 4.44
Degree 5 94 51.59 62.00 6,964 MAX VALUE 501.20 27.97 0.54 3.87
Eccentricity 2 3 2.55 3.00 344 MAX VALUE 123.58 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.77 0.69 104.48 0.00 -38.11 0.18 0.23 2.99
Degree 2 48 15.29 6.00 2,064 MAX VALUE 291.02 15.69 1.03 2.97
Eccentricity 3 5 3.89 4.00 525 MAX VALUE 181.93 0.55 0.14 0.83
Incidence graph
Density: 1.77%
MCB compute time (ms): 73
MCB cycles: 96
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 12 3.09 2.00 540 MAX VALUE 167.25 2.31 0.75 1.04
Eccentricity 6 8 7.34 7.00 1,284 MAX VALUE 348.12 0.62 0.08 0.91
MCB cycle size 6 10 6.92 6.00 664 MAX VALUE 184.60 1.04 0.15 0.74