Instance: rand-2-40-80-103-800-22_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:57
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,480
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 4 30 15.88 16.00 261,718 MAX VALUE 45,136.40 3.55 0.22 2.68
Relational linkage 0.05 0.30 0.15 0.15 480.15 0.00 -6,137.04 0.03 0.20 2.29
Tightness 0.79 0.82 0.80 0.80 82.55 0.00 -22.79 0.01 0.01 4.16
Tuples 1,178 1,361 1,270.48 1,275.00 130,859 MAX VALUE 736.12 33.59 0.03 4.16
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.15 5.00 206 8.36e+26 61.99 2.02 0.39 1.99
Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Tree decomposition
Number of clusters: 26
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 2 15 6.04 5.00 157 2.93e+18 42.52 3.41 0.57 2.23
Cluster variables 3 14 6.54 6.00 170 1.05e+20 46.10 3.02 0.46 2.27
Separator constraints 0 8 2.08 2.00 54 0 None 2.16 1.04 1.67
Separator variables 0 11 5.00 4.50 130 0 None 2.86 0.57 2.36
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 3 68 31.32 30.00 1,190 MAX VALUE 121.43 18.48 0.59 3.17
Cluster variables 3 35 13.63 11.00 518 MAX VALUE 93.23 7.83 0.57 2.97
Separator constraints 0 38 17.92 17.50 681 0 None 11.16 0.62 3.33
Separator variables 0 25 10.92 9.50 415 0 None 6.04 0.55 2.87
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 0.19 0.14 7.52 0.00 None 0.23 1.24 2.48
Degree 2 9 5.15 5.00 206 8.36e+26 61.99 2.02 0.39 1.99
Eccentricity 3 5 3.70 4.00 148 3.37e+22 51.87 0.56 0.15 0.82
Triangulated primal graph
Density: 28.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.79 0.76 31.56 0.00 -10.51 0.18 0.22 2.68
Degree 2 23 11.15 10.00 446 3.73e+36 84.21 7.48 0.67 2.69
Eccentricity 2 4 3.23 3.00 129 1.28e+20 46.30 0.52 0.16 0.77
Dual graph
Density: 9.69%
MCB compute time (ms): 133
MCB cycles: 465
Triangles: 821
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.51 0.48 52.45 0.00 -70.84 0.09 0.18 3.37
Degree 2 16 9.88 10.00 1,018 MAX VALUE 231.08 2.72 0.28 2.37
Eccentricity 3 5 4.02 4.00 414 MAX VALUE 142.85 0.37 0.09 0.49
MCB cycle size 3 5 3.33 3.00 1,547 MAX VALUE 550.97 0.68 0.20 0.65
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.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.27 0.68 0.21 1.00
Eccentricity 5 8 6.60 7.00 680 MAX VALUE 193.91 0.64 0.10 0.97
MCB cycle size 4 9 7.03 7.00 450 MAX VALUE 123.71 1.24 0.18 1.58
Triangulated dual graph
Density: 32.04%
Triangles: 16,782
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.79 0.77 81.57 0.00 -25.22 0.12 0.15 4.22
Degree 2 64 32.68 34.00 3,366 MAX VALUE 332.49 19.21 0.59 3.69
Eccentricity 2 4 3.17 3.00 326 MAX VALUE 117.69 0.44 0.14 0.62
Triangulated minimal dual graph
Density: 12.32%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.76 0.67 78.20 0.00 -31.23 0.18 0.24 2.93
Degree 2 40 12.56 5.00 1,294 MAX VALUE 209.55 12.25 0.97 2.82
Eccentricity 3 5 3.75 4.00 386 MAX VALUE 134.99 0.53 0.14 0.79
Incidence graph
Density: 2.03%
MCB compute time (ms): 58
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 9 2.88 2.00 412 MAX VALUE 133.38 1.77 0.62 1.01
Eccentricity 7 10 8.21 8.00 1,174 MAX VALUE 300.45 0.77 0.09 1.10
MCB cycle size 6 10 7.38 8.00 472 MAX VALUE 127.01 1.22 0.17 0.90