Instance: rand-2-40-180-84-900-91_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:19
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 4 36 18.04 18.00 539,149 MAX VALUE 85,657.20 4.02 0.22 2.81
Relational linkage 0.02 0.13 0.08 0.08 532.65 0.00 -17,605.00 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.17
Tuples 3,108 3,384 3,247.31 3,253.50 272,774 MAX VALUE 679.18 53.75 0.02 4.17
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 1.23e+23 53.17 1.72 0.39 1.81
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: 30
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.13 4.00 124 3.64e+16 38.13 2.23 0.54 2.04
Cluster variables 2 11 5.33 4.00 160 3.29e+20 47.24 2.44 0.46 2.02
Separator constraints 0 9 1.33 0.00 40 0 None 2.12 1.59 1.38
Separator variables 0 10 4.00 3.00 120 0 None 2.32 0.58 2.06
Dual tree decomposition
Number of clusters: 38
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 4 59 18.50 11.50 703 MAX VALUE 102.35 13.45 0.73 2.69
Cluster variables 4 29 10.79 8.50 410 7.81e+36 84.95 6.25 0.58 2.60
Separator constraints 0 37 9.66 6.00 367 0 None 7.88 0.82 2.70
Separator variables 0 20 8.58 7.00 326 0 None 4.84 0.56 2.56
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.00 None None None None None 1.89
Degree 1 9 4.20 4.00 168 1.23e+23 53.17 1.83 0.44 1.92
Eccentricity 3 5 4.28 4.00 171 1.32e+25 57.84 0.50 0.12 0.72
Triangulated primal graph
Density: 22.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 None 0.80 None None None None None 2.97
Degree 1 21 8.75 6.50 350 3.09e+31 72.51 6.77 0.77 2.51
Eccentricity 2 4 3.38 3.00 135 8.09e+20 48.14 0.53 0.16 0.78
Dual graph
Density: 9.64%
MCB compute time (ms): 52
MCB cycles: 254
Triangles: 447
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.50 43.18 0.00 -57.60 0.11 0.22 2.99
Degree 3 14 8.00 8.00 672 MAX VALUE 170.48 2.46 0.31 2.23
Eccentricity 4 5 4.10 4.00 344 MAX VALUE 118.23 0.29 0.07 0.31
MCB cycle size 3 6 3.22 3.00 817 MAX VALUE 293.56 0.58 0.18 0.53
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 12
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.47
Degree 1 4 3.05 3.00 256 MAX VALUE 91.09 0.67 0.22 0.99
Eccentricity 6 8 6.82 7.00 573 MAX VALUE 161.02 0.54 0.08 0.80
MCB cycle size 4 9 7.07 8.00 318 5.75e+37 86.94 1.44 0.20 1.62
Triangulated dual graph
Density: 30.61%
Triangles: 8,449
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.79 0.77 66.52 0.00 -20.66 0.13 0.16 3.93
Degree 3 49 25.40 26.00 2,134 MAX VALUE 247.92 15.83 0.62 3.43
Eccentricity 2 4 2.94 3.00 247 MAX VALUE 89.55 0.45 0.15 0.64
Triangulated minimal dual graph
Density: 12.19%
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 2.92
Degree 1 31 10.12 5.00 850 MAX VALUE 155.95 9.58 0.95 2.69
Eccentricity 3 5 3.85 4.00 323 MAX VALUE 112.19 0.57 0.15 0.85
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.65
Degree 1 9 2.71 2.00 336 MAX VALUE 111.39 1.46 0.54 1.12
Eccentricity 7 11 8.94 9.00 1,109 MAX VALUE 271.23 0.77 0.09 1.09
MCB cycle size 6 12 8.36 8.00 376 MAX VALUE 94.63 1.65 0.20 1.20