Instance: rand-2-40-80-103-800-29_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:02
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,320
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 3 30 16.01 16.00 261,312 MAX VALUE 44,817.90 3.63 0.23 2.70
Relational linkage 0.04 0.29 0.15 0.15 452.88 0.00 -5,852.39 0.03 0.20 2.29
Tightness 0.79 0.81 0.80 0.80 82.39 0.00 -23.00 0.01 0.01 4.25
Tuples 1,202 1,357 1,280.92 1,282.00 131,935 MAX VALUE 736.96 36.12 0.03 4.25
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.37 5.50 204 3.81e+26 61.20 1.94 0.36 1.95
Partitions per subscope 80 80 80.00 80.00 3,040 MAX VALUE 166.52 0.00 0.00 0.00
Tree decomposition
Number of clusters: 27
Number of leaves: 12
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 17 5.89 5.00 159 2.08e+18 42.18 3.64 0.62 2.36
Cluster variables 2 14 6.15 5.00 166 1.07e+20 46.12 2.88 0.47 2.14
Separator constraints 0 8 2.07 1.00 56 0 None 2.21 1.07 1.69
Separator variables 0 11 4.67 4.00 126 0 None 2.60 0.56 2.14
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 91 31.95 33.00 1,214 MAX VALUE 119.73 21.83 0.68 3.24
Cluster variables 4 38 13.68 12.00 520 MAX VALUE 92.41 8.59 0.63 2.82
Separator constraints 0 46 18.34 17.50 697 0 None 13.35 0.73 3.19
Separator variables 0 28 10.97 10.50 417 0 None 6.75 0.61 2.84
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.50 None 0.10 None None None None None 2.69
Degree 1 10 5.15 5.00 206 3.81e+26 61.20 2.12 0.41 2.05
Eccentricity 3 6 4.30 4.00 172 1.34e+25 57.85 0.68 0.16 1.01
Triangulated primal graph
Density: 27.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 None 0.74 None None None None None 3.02
Degree 1 25 10.85 8.00 434 9.10e+35 82.80 7.53 0.69 2.81
Eccentricity 3 5 3.62 4.00 145 1.42e+22 51.01 0.58 0.16 0.85
Dual graph
Density: 9.84%
MCB compute time (ms): 158
MCB cycles: 461
Triangles: 849
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.50 0.49 52.00 0.00 -71.87 0.10 0.19 3.41
Degree 3 16 10.04 11.00 1,034 MAX VALUE 232.20 2.87 0.29 2.39
Eccentricity 3 5 3.98 4.00 410 MAX VALUE 141.63 0.44 0.11 0.63
MCB cycle size 3 6 3.25 3.00 1,500 MAX VALUE 538.14 0.57 0.17 0.61
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 42
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 6.01 0.15
Degree 2 5 3.22 3.00 332 MAX VALUE 118.47 0.64 0.20 0.97
Eccentricity 6 8 6.79 7.00 699 MAX VALUE 196.89 0.55 0.08 0.82
MCB cycle size 3 9 6.80 7.00 435 MAX VALUE 121.39 1.24 0.18 1.52
Triangulated dual graph
Density: 33.43%
Triangles: 18,968
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.80 0.77 82.24 0.00 -24.14 0.11 0.14 4.14
Degree 3 64 34.10 37.00 3,512 MAX VALUE 334.87 20.37 0.60 3.68
Eccentricity 2 4 3.13 3.00 322 MAX VALUE 116.54 0.41 0.13 0.56
Triangulated minimal dual graph
Density: 11.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.77 0.67 78.83 0.00 -30.89 0.19 0.25 2.80
Degree 2 37 11.88 5.00 1,224 MAX VALUE 204.24 11.75 0.99 2.71
Eccentricity 3 5 3.89 4.00 401 MAX VALUE 138.78 0.59 0.15 0.89
Incidence graph
Density: 2.03%
MCB compute time (ms): 50
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.80
Degree 1 10 2.88 2.00 412 MAX VALUE 132.60 1.80 0.63 1.13
Eccentricity 7 12 8.73 9.00 1,248 MAX VALUE 308.81 1.05 0.12 1.39
MCB cycle size 6 10 7.59 8.00 486 MAX VALUE 128.76 1.33 0.18 0.98