Instance: rand-2-40-80-103-800-9_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 4 33 16.02 16.00 261,461 MAX VALUE 44,847.00 3.55 0.22 2.68
Relational linkage 0.05 0.26 0.15 0.15 455.96 0.00 -5,827.80 0.03 0.19 2.26
Tightness 0.79 0.81 0.80 0.80 82.37 0.00 -23.02 0.00 0.01 4.17
Tuples 1,211 1,375 1,281.82 1,278.00 132,027 MAX VALUE 737.04 30.80 0.02 4.17
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.00 204 4.59e+26 61.39 1.93 0.36 1.94
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: 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 12 5.67 5.00 153 8.28e+17 41.26 3.39 0.60 2.26
Cluster variables 2 14 6.30 5.00 170 1.22e+20 46.25 3.22 0.51 2.20
Separator constraints 0 8 1.85 1.00 50 0 None 2.52 1.36 1.61
Separator variables 0 12 4.81 4.00 130 0 None 2.99 0.62 2.20
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 94 33.45 26.50 1,271 MAX VALUE 121.50 23.68 0.71 3.46
Cluster variables 3 41 14.16 11.00 538 MAX VALUE 93.34 9.17 0.65 2.81
Separator constraints 0 48 19.87 17.00 755 0 None 14.62 0.74 3.14
Separator variables 0 29 11.45 10.00 435 0 None 7.17 0.63 3.02
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.30 None 0.10 None None None None None 2.15
Degree 1 10 5.15 5.00 206 4.59e+26 61.39 2.10 0.41 2.04
Eccentricity 3 6 4.40 4.00 176 3.48e+25 58.81 0.66 0.15 1.00
Triangulated primal graph
Density: 28.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.77 None None None None None 2.94
Degree 1 26 11.05 8.00 442 8.96e+35 82.78 7.81 0.71 2.65
Eccentricity 3 5 3.67 4.00 147 2.37e+22 51.52 0.61 0.17 0.90
Dual graph
Density: 9.82%
MCB compute time (ms): 163
MCB cycles: 435
Triangles: 854
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.48 51.89 0.00 -71.93 0.09 0.18 3.37
Degree 2 17 10.02 10.00 1,032 MAX VALUE 231.90 2.88 0.29 2.40
Eccentricity 3 5 4.06 4.00 418 MAX VALUE 143.42 0.52 0.13 0.77
MCB cycle size 3 5 3.19 3.00 1,389 MAX VALUE 500.90 0.49 0.15 0.51
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 34
MCB cycles: 64
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.72
Degree 1 5 3.22 3.00 332 MAX VALUE 118.06 0.67 0.21 1.00
Eccentricity 6 8 6.89 7.00 710 MAX VALUE 198.49 0.57 0.08 0.86
MCB cycle size 4 10 6.88 7.00 440 MAX VALUE 122.14 1.28 0.19 1.59
Triangulated dual graph
Density: 35.92%
Triangles: 22,334
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.81 0.78 83.01 0.00 -23.04 0.10 0.13 4.23
Degree 2 66 36.64 39.00 3,774 MAX VALUE 341.63 21.55 0.59 3.70
Eccentricity 2 4 3.22 3.00 332 MAX VALUE 119.66 0.44 0.14 0.59
Triangulated minimal dual graph
Density: 12.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.67 None None None None None 3.32
Degree 1 38 12.72 6.00 1,310 MAX VALUE 209.69 12.37 0.97 2.85
Eccentricity 3 6 4.18 4.00 431 MAX VALUE 146.30 0.62 0.15 0.93
Incidence graph
Density: 2.03%
MCB compute time (ms): 47
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.76
Degree 1 10 2.88 2.00 412 MAX VALUE 132.78 1.80 0.62 1.12
Eccentricity 7 12 8.90 9.00 1,272 MAX VALUE 311.36 1.15 0.13 1.49
MCB cycle size 6 10 7.56 8.00 484 MAX VALUE 128.73 1.14 0.15 0.85