Instance: rand-2-40-180-84-900-28_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:14
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,340
Number of unique subscopes: 35
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 36 17.98 18.00 527,439 MAX VALUE 83,990.20 4.02 0.22 2.81
Relational linkage 0.02 0.16 0.08 0.08 486.28 0.00 -16,282.10 0.02 0.21 2.48
Tightness 0.90 0.90 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.08
Tuples 3,120 3,372 3,236.61 3,239.50 271,875 MAX VALUE 678.90 53.06 0.02 4.08
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.66 4.00 163 7.08e+21 50.31 2.07 0.44 1.98
Partitions per subscope 180 180 180.00 180.00 6,300 MAX VALUE 181.75 0.00 0.00 0.00
Tree decomposition
Number of clusters: 33
Number of leaves: 10
Tree depth: 8
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 11 4.48 4.00 148 7.69e+17 41.18 3.05 0.68 2.17
Cluster variables 2 8 4.94 4.00 163 2.18e+21 49.13 2.17 0.44 1.81
Separator constraints 0 8 1.94 1.00 64 0 None 2.64 1.36 1.68
Separator variables 0 7 3.73 3.00 123 0 None 2.21 0.59 1.90
Dual tree decomposition
Number of clusters: 37
Number of leaves: 14
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 63 20.95 18.00 775 MAX VALUE 106.06 12.76 0.61 3.10
Cluster variables 4 22 10.19 9.00 377 5.88e+35 82.36 4.61 0.45 2.53
Separator constraints 0 35 10.86 8.00 402 0 None 7.25 0.67 2.88
Separator variables 0 16 7.92 7.00 293 0 None 3.51 0.44 2.40
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.12 None None None None None 2.59
Degree 1 10 4.20 4.00 168 7.08e+21 50.31 2.28 0.54 2.11
Eccentricity 3 6 4.40 4.00 176 3.26e+25 58.75 0.70 0.16 1.06
Triangulated primal graph
Density: 19.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None None None None None None None 3.28
Degree 1 24 7.55 6.00 302 2.50e+28 65.39 5.92 0.78 2.42
Eccentricity 2 4 3.35 3.00 134 6.07e+20 47.85 0.53 0.16 0.77
Dual graph
Density: 10.70%
MCB compute time (ms): 38
MCB cycles: 298
Triangles: 590
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.55 0.50 46.36 0.00 -52.39 0.15 0.27 3.55
Degree 3 17 8.88 9.00 746 MAX VALUE 178.67 2.88 0.32 2.38
Eccentricity 3 5 3.95 4.00 332 MAX VALUE 114.52 0.58 0.15 0.86
MCB cycle size 3 6 3.18 3.00 948 MAX VALUE 341.74 0.53 0.17 0.48
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 11
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 1.00 0.00 None 0.06 5.20 0.15
Degree 2 5 3.05 3.00 256 MAX VALUE 91.30 0.71 0.23 1.06
Eccentricity 6 9 7.12 7.00 598 MAX VALUE 164.30 0.84 0.12 1.21
MCB cycle size 3 10 6.73 7.00 303 4.00e+36 84.28 1.68 0.25 1.88
Triangulated dual graph
Density: 25.33%
Triangles: 5,212
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.77 0.76 64.60 0.00 -23.62 0.15 0.19 3.80
Degree 3 45 21.02 17.50 1,766 MAX VALUE 237.22 12.42 0.59 3.42
Eccentricity 2 4 3.14 3.00 264 MAX VALUE 94.91 0.54 0.17 0.80
Triangulated minimal dual graph
Density: 11.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.73 0.67 61.65 0.00 -29.45 0.21 0.29 2.80
Degree 2 29 9.26 5.00 778 MAX VALUE 153.00 8.43 0.91 2.69
Eccentricity 3 5 4.00 4.00 336 MAX VALUE 115.42 0.62 0.15 0.93
Incidence graph
Density: 2.20%
MCB compute time (ms): 19
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 1.19
Degree 1 10 2.71 2.00 336 MAX VALUE 108.54 1.65 0.61 1.13
Eccentricity 6 12 8.81 9.00 1,092 MAX VALUE 268.60 1.20 0.14 1.56
MCB cycle size 6 10 7.64 8.00 344 MAX VALUE 90.76 1.42 0.19 1.03