Instance: rand-2-40-80-103-800-10_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:55
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 3 32 16.02 16.00 264,000 MAX VALUE 45,276.80 3.58 0.22 2.69
Relational linkage 0.04 0.26 0.15 0.15 483.94 0.00 -6,112.26 0.03 0.20 2.30
Tightness 0.79 0.81 0.80 0.80 82.38 0.00 -23.02 0.01 0.01 4.13
Tuples 1,184 1,353 1,281.55 1,286.00 132,000 MAX VALUE 737.01 34.50 0.03 4.13
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 11 5.15 5.00 206 9.27e+26 62.09 2.12 0.41 2.03
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: 30
Number of leaves: 14
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 2 13 6.17 6.00 185 1.29e+22 50.91 2.97 0.48 2.28
Cluster variables 3 11 6.30 5.50 189 8.50e+22 52.80 2.56 0.41 2.05
Separator constraints 0 9 2.73 2.00 82 0 None 2.59 0.95 1.96
Separator variables 0 10 4.97 4.00 149 0 None 2.58 0.52 2.12
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 6 74 30.45 22.00 1,157 MAX VALUE 120.78 19.82 0.65 3.17
Cluster variables 5 34 13.26 10.50 504 MAX VALUE 92.94 7.44 0.56 2.63
Separator constraints 0 41 16.84 13.00 640 0 None 12.19 0.72 3.19
Separator variables 0 24 10.55 8.50 401 0 None 5.74 0.54 2.69
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.18 0.14 7.14 0.00 None 0.19 1.08 2.50
Degree 2 11 5.15 5.00 206 9.27e+26 62.09 2.12 0.41 2.03
Eccentricity 3 5 3.83 4.00 153 1.25e+23 53.18 0.59 0.15 0.88
Triangulated primal graph
Density: 26.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.77 0.73 30.98 0.00 -11.54 0.19 0.24 2.58
Degree 2 29 10.20 8.00 408 2.70e+35 81.59 7.17 0.70 2.61
Eccentricity 2 4 3.15 3.00 126 4.80e+19 45.32 0.53 0.17 0.78
Dual graph
Density: 9.84%
MCB compute time (ms): 116
MCB cycles: 488
Triangles: 887
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 0.82 0.52 0.50 53.24 0.00 -69.16 0.08 0.16 3.53
Degree 4 18 10.04 10.00 1,034 MAX VALUE 232.75 2.94 0.29 2.44
Eccentricity 3 5 3.94 4.00 406 MAX VALUE 140.68 0.41 0.11 0.57
MCB cycle size 3 7 3.35 3.00 1,636 MAX VALUE 581.43 0.71 0.21 0.73
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 33
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.60 0.00 None 0.04 6.45 0.16
Degree 2 5 3.22 3.00 332 MAX VALUE 117.93 0.71 0.22 1.07
Eccentricity 5 8 6.74 7.00 694 MAX VALUE 196.03 0.64 0.09 0.97
MCB cycle size 3 9 6.59 7.00 422 MAX VALUE 119.13 1.35 0.21 1.60
Triangulated dual graph
Density: 30.48%
Triangles: 15,255
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.79 0.78 81.37 0.00 -25.52 0.12 0.16 4.10
Degree 4 63 31.09 31.00 3,202 MAX VALUE 327.51 18.75 0.60 3.66
Eccentricity 2 4 2.97 3.00 306 MAX VALUE 111.35 0.35 0.12 0.46
Triangulated minimal dual graph
Density: 11.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.76 0.67 78.16 0.00 -31.59 0.19 0.25 2.93
Degree 2 37 11.69 6.00 1,204 MAX VALUE 201.77 11.64 1.00 2.80
Eccentricity 3 5 3.82 4.00 393 MAX VALUE 136.87 0.54 0.14 0.79
Incidence graph
Density: 2.03%
MCB compute time (ms): 40
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 11 2.88 2.00 412 MAX VALUE 133.49 1.80 0.63 1.07
Eccentricity 6 10 8.22 8.00 1,176 MAX VALUE 300.61 0.81 0.10 1.20
MCB cycle size 6 10 7.41 8.00 474 MAX VALUE 127.17 1.31 0.18 0.96