Instance: rand-2-40-180-84-900-53_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:21
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,880
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 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 3 35 17.95 18.00 536,292 MAX VALUE 85,477.40 4.05 0.23 2.81
Relational linkage 0.02 0.16 0.08 0.08 528.25 0.00 -17,669.30 0.02 0.21 2.46
Tightness 0.90 0.90 0.90 0.90 75.62 0.00 -8.82 0.00 0.00 4.13
Tuples 3,104 3,378 3,230.76 3,228.00 271,384 MAX VALUE 678.75 48.99 0.02 4.13
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 8 4.37 4.00 166 1.42e+23 53.31 1.68 0.38 1.78
Partitions per subscope 180 180 180.00 180.00 6,840 MAX VALUE 197.33 0.00 0.00 0.00
Tree decomposition
Number of clusters: 31
Number of leaves: 15
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 9 3.97 4.00 123 3.90e+16 38.20 1.99 0.50 1.86
Cluster variables 2 10 5.29 5.00 164 1.03e+21 48.38 2.40 0.45 1.93
Separator constraints 0 7 1.26 1.00 39 0 None 1.76 1.40 1.44
Separator variables 0 9 4.00 3.00 124 0 None 2.36 0.59 1.99
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
Tree depth: 7
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 42 18.29 16.00 695 MAX VALUE 101.09 10.75 0.59 2.97
Cluster variables 2 25 10.45 9.00 397 2.06e+36 83.62 5.64 0.54 2.57
Separator constraints 0 31 9.53 8.50 362 0 None 6.99 0.73 2.85
Separator variables 0 19 8.24 7.50 313 0 None 4.43 0.54 2.52
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 0.33 None 0.04 None None None None None 1.78
Degree 1 8 4.20 4.00 168 1.42e+23 53.31 1.79 0.43 1.89
Eccentricity 4 7 5.33 5.00 213 6.72e+28 66.38 0.85 0.16 1.23
Triangulated primal graph
Density: 21.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.80 None None None None None 2.93
Degree 1 21 8.45 5.00 338 9.55e+30 71.33 6.54 0.77 2.51
Eccentricity 3 5 4.45 4.50 178 5.90e+25 59.34 0.59 0.13 0.86
Dual graph
Density: 9.55%
MCB compute time (ms): 53
MCB cycles: 267
Triangles: 431
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.49 None None None None None 3.17
Degree 1 14 7.93 8.00 666 MAX VALUE 168.82 2.44 0.31 2.22
Eccentricity 4 6 4.87 5.00 409 MAX VALUE 132.13 0.69 0.14 1.01
MCB cycle size 3 5 3.30 3.00 881 MAX VALUE 314.60 0.64 0.19 0.64
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 18
MCB cycles: 45
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.75
Degree 1 4 3.05 3.00 256 MAX VALUE 91.62 0.62 0.20 0.92
Eccentricity 6 9 7.13 7.00 599 MAX VALUE 164.46 0.83 0.12 1.20
MCB cycle size 4 9 7.18 7.00 323 1.43e+38 87.85 1.32 0.18 1.61
Triangulated dual graph
Density: 27.91%
Triangles: 6,819
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.78 None None None None None 4.10
Degree 1 49 23.17 22.00 1,946 MAX VALUE 240.27 14.60 0.63 3.53
Eccentricity 3 5 4.24 4.00 356 MAX VALUE 120.46 0.59 0.14 0.88
Triangulated minimal dual graph
Density: 12.36%
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.01
Degree 1 31 10.26 5.00 862 MAX VALUE 157.00 9.86 0.96 2.66
Eccentricity 3 6 4.68 5.00 393 MAX VALUE 128.94 0.58 0.12 0.87
Incidence graph
Density: 2.20%
MCB compute time (ms): 30
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.72
Degree 1 8 2.71 2.00 336 MAX VALUE 111.53 1.45 0.53 1.13
Eccentricity 8 14 10.69 11.00 1,325 MAX VALUE 292.46 1.52 0.14 1.74
MCB cycle size 6 10 8.31 8.00 374 MAX VALUE 94.56 1.46 0.18 1.05