Instance: rand-2-40-80-103-800-38_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:58
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 5 30 15.99 16.00 262,265 MAX VALUE 45,033.10 3.57 0.22 2.69
Relational linkage 0.06 0.26 0.15 0.15 470.04 0.00 -5,968.59 0.03 0.20 2.28
Tightness 0.79 0.81 0.80 0.80 82.41 0.00 -22.97 0.00 0.01 3.92
Tuples 1,207 1,366 1,279.16 1,279.00 131,753 MAX VALUE 736.83 27.29 0.02 3.92
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.26 5.00 205 7.55e+26 61.89 1.93 0.37 2.01
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: 27
Number of leaves: 13
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 21 7.11 6.00 192 4.43e+19 45.24 5.50 0.77 2.45
Cluster variables 2 14 6.74 6.00 182 8.64e+20 48.21 3.38 0.50 2.24
Separator constraints 0 16 3.30 1.00 89 0 None 4.67 1.42 1.89
Separator variables 0 12 5.26 4.00 142 0 None 3.24 0.62 2.24
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 4 88 31.63 28.50 1,202 MAX VALUE 122.29 20.77 0.66 3.42
Cluster variables 4 39 14.29 11.50 543 MAX VALUE 95.12 8.49 0.59 2.90
Separator constraints 0 55 18.24 16.50 693 0 None 12.55 0.69 3.06
Separator variables 0 27 11.58 10.00 440 0 None 6.57 0.57 2.86
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.39
Degree 1 10 5.15 5.00 206 7.55e+26 61.89 2.02 0.39 2.08
Eccentricity 3 5 3.92 4.00 157 3.94e+23 54.33 0.52 0.13 0.77
Triangulated primal graph
Density: 29.87%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.75 None None None None None 3.01
Degree 1 25 11.65 9.00 466 1.31e+37 85.47 7.87 0.68 2.83
Eccentricity 2 4 2.98 3.00 119 4.50e+18 42.95 0.52 0.18 0.78
Dual graph
Density: 9.69%
MCB compute time (ms): 170
MCB cycles: 430
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.49 52.04 0.00 -71.39 0.08 0.16 3.52
Degree 3 16 9.88 10.00 1,018 MAX VALUE 231.81 2.63 0.27 2.36
Eccentricity 3 4 3.85 4.00 397 MAX VALUE 138.47 0.35 0.09 0.42
MCB cycle size 3 5 3.20 3.00 1,378 MAX VALUE 496.30 0.51 0.16 0.53
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 37
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.02 0.00 2.17 0.00 None 0.11 5.26 0.28
Degree 2 5 3.22 3.00 332 MAX VALUE 118.53 0.62 0.19 0.94
Eccentricity 6 8 6.75 7.00 695 MAX VALUE 196.24 0.60 0.09 0.90
MCB cycle size 3 9 6.84 7.00 438 MAX VALUE 121.85 1.23 0.18 1.52
Triangulated dual graph
Density: 34.84%
Triangles: 20,272
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.80 0.79 82.74 0.00 -23.59 0.11 0.14 4.18
Degree 3 64 35.53 38.00 3,660 MAX VALUE 341.25 20.64 0.58 3.50
Eccentricity 2 3 2.50 2.00 257 MAX VALUE 92.07 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.99%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.76 0.67 78.31 0.00 -31.55 0.19 0.25 2.89
Degree 2 38 12.23 5.00 1,260 MAX VALUE 207.10 11.99 0.98 2.85
Eccentricity 3 5 3.86 4.00 398 MAX VALUE 138.05 0.58 0.15 0.86
Incidence graph
Density: 2.03%
MCB compute time (ms): 51
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.46
Degree 1 10 2.88 2.00 412 MAX VALUE 133.28 1.77 0.62 1.11
Eccentricity 7 10 8.18 8.00 1,170 MAX VALUE 300.03 0.72 0.09 1.08
MCB cycle size 6 10 7.66 8.00 490 MAX VALUE 129.27 1.35 0.18 1.00