Instance: rand-2-40-180-84-900-3_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:27
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 84
General features
Number of coarse blocks: 29,520
Number of unique subscopes: 36
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 3 37 17.98 18.00 530,689 MAX VALUE 84,495.10 4.06 0.23 2.82
Relational linkage 0.02 0.14 0.08 0.08 499.40 0.00 -16,752.70 0.02 0.21 2.46
Tightness 0.90 0.90 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.16
Tuples 3,120 3,366 3,236.73 3,232.00 271,885 MAX VALUE 678.90 56.24 0.02 4.16
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 10 4.56 4.00 164 2.20e+22 51.44 1.94 0.42 1.86
Partitions per subscope 180 180 180.00 180.00 6,480 MAX VALUE 186.95 0.00 0.00 0.00
Tree decomposition
Number of clusters: 32
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 1 9 3.91 4.00 125 2.03e+16 37.55 2.11 0.54 2.01
Cluster variables 2 9 5.09 5.00 163 8.49e+20 48.19 2.36 0.46 2.03
Separator constraints 0 5 1.28 1.00 41 0 None 1.53 1.19 1.47
Separator variables 0 8 3.84 3.50 123 0 None 2.36 0.61 2.10
Dual tree decomposition
Number of clusters: 37
Number of leaves: 12
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 1 56 20.54 15.00 760 MAX VALUE 99.16 15.38 0.75 3.26
Cluster variables 2 27 10.35 8.00 383 4.92e+34 79.88 6.30 0.61 2.72
Separator constraints 0 34 10.84 8.00 401 0 None 8.95 0.83 2.89
Separator variables 0 21 8.08 7.00 299 0 None 5.06 0.63 2.74
Primal graph
Density: 10.77%
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 None 0.17 None None None None None 2.57
Degree 1 10 4.20 4.00 168 2.20e+22 51.44 2.12 0.51 2.00
Eccentricity 4 6 4.83 5.00 193 1.49e+27 62.57 0.67 0.14 0.99
Triangulated primal graph
Density: 20.38%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.75 None None None None None 3.33
Degree 1 22 7.95 6.00 318 4.67e+29 68.32 6.19 0.78 2.53
Eccentricity 3 6 4.47 4.00 179 6.96e+25 59.50 0.67 0.15 0.98
Dual graph
Density: 10.30%
MCB compute time (ms): 45
MCB cycles: 280
Triangles: 543
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 None 0.50 None None None None None 3.38
Degree 1 17 8.55 9.00 718 MAX VALUE 172.37 3.20 0.37 2.52
Eccentricity 4 5 4.39 4.00 369 MAX VALUE 123.81 0.49 0.11 0.67
MCB cycle size 3 6 3.15 3.00 881 MAX VALUE 318.79 0.44 0.14 0.43
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 13
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 None 0.00 None None None None None 0.43
Degree 1 4 3.05 3.00 256 MAX VALUE 91.09 0.67 0.22 0.99
Eccentricity 6 9 7.31 7.00 614 MAX VALUE 166.61 0.79 0.11 1.16
MCB cycle size 3 9 6.84 8.00 308 7.01e+36 84.84 1.70 0.25 1.72
Triangulated dual graph
Density: 28.43%
Triangles: 7,420
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 3.97
Degree 1 46 23.60 21.50 1,982 MAX VALUE 238.76 15.23 0.65 3.41
Eccentricity 3 5 3.65 4.00 307 MAX VALUE 107.78 0.59 0.16 0.87
Triangulated minimal dual graph
Density: 11.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.67 None None None None None 3.26
Degree 1 31 9.60 5.00 806 MAX VALUE 154.40 8.80 0.92 2.79
Eccentricity 3 6 4.75 5.00 399 MAX VALUE 129.93 0.70 0.15 1.06
Incidence graph
Density: 2.20%
MCB compute time (ms): 21
MCB cycles: 45
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.85
Degree 1 10 2.71 2.00 336 MAX VALUE 109.67 1.59 0.58 1.14
Eccentricity 8 12 9.69 9.00 1,201 MAX VALUE 280.73 1.12 0.12 1.45
MCB cycle size 6 12 7.64 8.00 344 MAX VALUE 90.72 1.48 0.19 1.07