Instance: rand-2-40-80-103-800-30_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:03
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 4 30 16.05 16.00 263,206 MAX VALUE 45,091.90 3.58 0.22 2.69
Relational linkage 0.05 0.26 0.15 0.15 469.71 0.00 -5,969.48 0.03 0.19 2.26
Tightness 0.79 0.81 0.80 0.80 82.34 0.00 -23.07 0.00 0.01 4.11
Tuples 1,203 1,362 1,283.98 1,285.00 132,250 MAX VALUE 737.22 30.11 0.02 4.11
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 8 5.26 5.00 205 1.57e+27 62.62 1.63 0.31 1.84
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: 26
Number of leaves: 13
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 1 14 5.81 4.50 151 6.57e+17 41.03 3.41 0.59 2.30
Cluster variables 2 15 7.08 6.00 184 5.45e+20 47.75 3.49 0.49 2.32
Separator constraints 0 8 1.85 1.00 48 0 None 2.36 1.28 1.65
Separator variables 0 13 5.54 5.00 144 0 None 3.30 0.60 2.32
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 5 79 29.97 31.00 1,139 MAX VALUE 120.80 17.82 0.59 3.31
Cluster variables 4 40 14.08 12.00 535 MAX VALUE 94.51 8.49 0.60 2.91
Separator constraints 0 46 17.13 16.50 651 0 None 11.34 0.66 3.08
Separator variables 0 29 11.37 10.00 432 0 None 6.62 0.58 2.90
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.10 None None None None None 2.32
Degree 1 8 5.15 5.00 206 1.57e+27 62.62 1.74 0.34 1.91
Eccentricity 3 5 4.05 4.00 162 1.28e+24 55.51 0.59 0.15 0.89
Triangulated primal graph
Density: 31.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.78 None None None None None 2.96
Degree 1 25 12.45 11.00 498 2.91e+38 88.57 8.24 0.66 2.74
Eccentricity 2 4 2.85 3.00 114 8.43e+17 41.28 0.48 0.17 0.69
Dual graph
Density: 9.29%
MCB compute time (ms): 141
MCB cycles: 403
Triangles: 713
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.49 0.47 50.04 0.00 -75.18 0.07 0.15 3.04
Degree 3 14 9.48 10.00 976 MAX VALUE 227.70 2.40 0.25 2.24
Eccentricity 3 5 3.98 4.00 410 MAX VALUE 141.96 0.31 0.08 0.38
MCB cycle size 3 6 3.22 3.00 1,297 MAX VALUE 466.30 0.56 0.17 0.55
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 25
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.67 0.00 None 0.04 6.13 0.15
Degree 2 5 3.22 3.00 332 MAX VALUE 118.82 0.59 0.18 0.88
Eccentricity 6 8 6.96 7.00 717 MAX VALUE 199.54 0.54 0.08 0.80
MCB cycle size 3 10 6.98 7.00 447 MAX VALUE 122.96 1.37 0.20 1.69
Triangulated dual graph
Density: 34.17%
Triangles: 19,965
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.80 0.77 82.71 0.00 -23.56 0.11 0.14 4.10
Degree 3 64 34.85 35.00 3,590 MAX VALUE 338.18 20.87 0.60 3.53
Eccentricity 2 3 2.50 3.00 258 MAX VALUE 92.48 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 12.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.76 0.67 78.60 0.00 -31.01 0.19 0.25 2.92
Degree 2 37 12.74 6.00 1,312 MAX VALUE 212.67 12.04 0.95 2.84
Eccentricity 3 5 3.76 4.00 387 MAX VALUE 135.21 0.55 0.15 0.81
Incidence graph
Density: 2.03%
MCB compute time (ms): 37
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.33
Degree 1 8 2.88 2.00 412 MAX VALUE 134.02 1.69 0.59 1.09
Eccentricity 7 11 8.55 9.00 1,222 MAX VALUE 306.14 0.82 0.10 1.19
MCB cycle size 6 12 7.88 8.00 504 MAX VALUE 130.93 1.49 0.19 1.10