Instance: rand-2-40-180-84-900-1_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:17
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 37 17.97 18.00 537,031 MAX VALUE 85,536.20 4.01 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 531.94 0.00 -17,614.70 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.16
Tuples 3,126 3,359 3,234.87 3,232.50 271,729 MAX VALUE 678.85 54.92 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 9 4.37 4.00 166 7.43e+22 52.66 1.88 0.43 1.88
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 10 4.06 3.00 126 5.02e+16 38.45 2.46 0.61 1.81
Cluster variables 2 10 5.00 4.00 155 2.73e+20 47.06 2.21 0.44 1.97
Separator constraints 0 7 1.35 1.00 42 0 None 1.98 1.46 1.42
Separator variables 0 9 3.71 3.00 115 0 None 2.13 0.57 2.01
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
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 3 53 17.79 13.00 676 MAX VALUE 99.95 12.45 0.70 3.00
Cluster variables 3 23 9.92 8.00 377 4.84e+35 82.17 5.23 0.53 2.60
Separator constraints 0 31 8.66 7.00 329 0 None 6.55 0.76 2.75
Separator variables 0 16 7.71 6.50 293 0 None 4.05 0.52 2.54
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.15 None None None None None 2.16
Degree 1 9 4.20 4.00 168 7.43e+22 52.66 1.98 0.47 1.98
Eccentricity 3 6 4.60 5.00 184 2.12e+26 60.62 0.66 0.14 1.00
Triangulated primal graph
Density: 20.51%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.67 None None None None None 3.06
Degree 1 23 8.00 5.00 320 2.13e+30 69.83 6.02 0.75 2.56
Eccentricity 3 5 4.08 4.00 163 1.50e+24 55.67 0.65 0.16 0.97
Dual graph
Density: 9.95%
MCB compute time (ms): 27
MCB cycles: 277
Triangles: 502
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.52 0.50 43.71 0.00 -56.62 0.12 0.22 3.25
Degree 2 15 8.26 8.50 694 MAX VALUE 171.16 2.98 0.36 2.43
Eccentricity 3 5 4.32 4.00 363 MAX VALUE 122.41 0.49 0.11 0.70
MCB cycle size 3 5 3.22 3.00 893 MAX VALUE 320.80 0.57 0.18 0.52
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 9
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.73
Degree 1 5 3.05 3.00 256 MAX VALUE 91.55 0.63 0.21 0.95
Eccentricity 6 9 7.20 7.00 605 MAX VALUE 165.38 0.77 0.11 1.14
MCB cycle size 4 10 6.96 7.00 313 4.47e+37 86.69 1.09 0.16 1.46
Triangulated dual graph
Density: 26.05%
Triangles: 5,757
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.77 0.77 65.03 0.00 -22.97 0.14 0.18 3.81
Degree 2 54 21.62 20.00 1,816 MAX VALUE 236.04 13.59 0.63 3.48
Eccentricity 2 4 3.29 3.00 276 MAX VALUE 99.07 0.48 0.15 0.67
Triangulated minimal dual graph
Density: 11.96%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.67 None None None None None 3.01
Degree 1 29 9.93 5.00 834 MAX VALUE 157.33 9.00 0.91 2.77
Eccentricity 3 6 4.30 4.00 361 MAX VALUE 121.43 0.67 0.16 1.01
Incidence graph
Density: 2.20%
MCB compute time (ms): 15
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.68
Degree 1 9 2.71 2.00 336 MAX VALUE 110.89 1.52 0.56 1.11
Eccentricity 7 12 9.43 9.00 1,169 MAX VALUE 277.39 1.09 0.12 1.45
MCB cycle size 6 10 7.69 8.00 346 MAX VALUE 90.92 1.52 0.20 1.07