Instance: rand-2-40-180-84-900-52_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:29
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,700
Number of unique subscopes: 37
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 5 38 18.04 18.00 535,859 MAX VALUE 85,137.50 4.03 0.22 2.81
Relational linkage 0.03 0.16 0.08 0.08 515.14 0.00 -17,182.10 0.02 0.20 2.43
Tightness 0.90 0.90 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.16
Tuples 3,128 3,361 3,247.20 3,252.00 272,765 MAX VALUE 679.17 52.60 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 7 4.46 5.00 165 1.21e+23 53.15 1.44 0.32 1.71
Partitions per subscope 180 180 180.00 180.00 6,660 MAX VALUE 192.14 0.00 0.00 0.00
Tree decomposition
Number of clusters: 30
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 1 8 3.70 4.00 111 2.64e+15 35.51 1.68 0.45 1.80
Cluster variables 2 11 5.30 4.50 159 2.40e+20 46.93 2.42 0.46 2.01
Separator constraints 0 3 0.90 1.00 27 0 None 0.98 1.09 1.23
Separator variables 0 9 3.97 3.00 119 0 None 2.30 0.58 2.01
Dual tree decomposition
Number of clusters: 38
Number of leaves: 11
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 33 16.74 15.00 636 MAX VALUE 102.25 7.87 0.47 2.96
Cluster variables 4 23 10.05 9.00 382 2.43e+36 83.78 4.84 0.48 2.54
Separator constraints 0 17 8.21 7.50 312 0 None 4.60 0.56 2.66
Separator variables 0 17 7.84 7.00 298 0 None 3.80 0.48 2.39
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.67 None 0.10 None None None None None 2.41
Degree 1 7 4.20 4.00 168 1.21e+23 53.15 1.66 0.40 1.84
Eccentricity 3 5 4.12 4.00 165 2.85e+24 56.31 0.56 0.13 0.83
Triangulated primal graph
Density: 22.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 None 0.73 None None None None None 2.87
Degree 1 21 8.70 6.00 348 3.34e+31 72.59 6.46 0.74 2.64
Eccentricity 3 5 3.55 3.50 142 5.99e+21 50.14 0.59 0.17 0.86
Dual graph
Density: 9.29%
MCB compute time (ms): 43
MCB cycles: 250
Triangles: 380
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.50 0.47 42.11 0.00 -59.62 0.11 0.23 2.89
Degree 3 12 7.71 8.00 648 MAX VALUE 168.26 2.04 0.26 2.04
Eccentricity 3 5 4.13 4.00 347 MAX VALUE 118.71 0.43 0.10 0.60
MCB cycle size 3 6 3.24 3.00 810 MAX VALUE 290.67 0.59 0.18 0.59
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 14
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 4 3.05 3.00 256 MAX VALUE 91.90 0.60 0.20 0.90
Eccentricity 6 8 7.10 7.00 596 MAX VALUE 164.40 0.48 0.07 0.69
MCB cycle size 4 10 6.91 7.00 311 1.43e+37 85.55 1.72 0.25 1.78
Triangulated dual graph
Density: 25.27%
Triangles: 5,399
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.77 0.76 64.85 0.00 -23.19 0.14 0.19 3.92
Degree 3 45 20.98 16.00 1,762 MAX VALUE 234.70 13.28 0.63 3.38
Eccentricity 2 4 2.93 3.00 246 MAX VALUE 89.26 0.43 0.15 0.61
Triangulated minimal dual graph
Density: 11.39%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 0.74 0.67 62.48 0.00 -28.71 0.22 0.30 2.65
Degree 2 30 9.45 5.00 794 MAX VALUE 154.94 8.49 0.90 2.78
Eccentricity 3 5 3.87 4.00 325 MAX VALUE 112.70 0.57 0.15 0.86
Incidence graph
Density: 2.20%
MCB compute time (ms): 23
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.93
Degree 1 7 2.71 2.00 336 MAX VALUE 111.37 1.40 0.52 1.12
Eccentricity 7 11 8.85 9.00 1,097 MAX VALUE 269.71 0.88 0.10 1.27
MCB cycle size 6 12 8.09 8.00 364 MAX VALUE 93.21 1.58 0.19 1.15