Instance: rand-2-40-180-84-900-34_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:10
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 36 18.00 18.00 537,926 MAX VALUE 85,575.90 4.04 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 530.69 0.00 -17,635.70 0.02 0.20 2.46
Tightness 0.90 0.91 0.90 0.90 75.60 0.00 -8.85 0.00 0.00 4.16
Tuples 3,075 3,380 3,240.08 3,238.00 272,167 MAX VALUE 678.99 57.54 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 8 4.37 4.00 166 1.49e+23 53.36 1.60 0.37 1.79
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: 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 0 10 4.16 4.00 129 0 None 2.53 0.61 2.06
Cluster variables 2 10 5.16 5.00 160 6.64e+20 47.94 2.29 0.44 2.00
Separator constraints 0 8 1.45 1.00 45 0 None 2.00 1.38 1.43
Separator variables 0 9 3.87 3.00 120 0 None 2.23 0.57 2.06
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 3 42 16.79 14.00 638 MAX VALUE 98.07 10.92 0.65 3.10
Cluster variables 3 23 9.63 8.50 366 1.95e+35 81.26 4.98 0.52 2.62
Separator constraints 0 23 8.16 7.00 310 0 None 6.43 0.79 2.80
Separator variables 0 18 7.42 6.50 282 0 None 3.94 0.53 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.10 None None None None None 2.21
Degree 1 8 4.20 4.00 168 1.49e+23 53.36 1.72 0.41 1.90
Eccentricity 4 6 4.85 5.00 194 1.87e+27 62.79 0.65 0.13 0.97
Triangulated primal graph
Density: 21.15%
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.09
Degree 1 20 8.25 6.00 330 1.88e+31 72.01 5.84 0.71 2.65
Eccentricity 3 5 3.92 4.00 157 3.25e+23 54.14 0.65 0.16 0.97
Dual graph
Density: 9.41%
MCB compute time (ms): 47
MCB cycles: 256
Triangles: 409
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.28 0.00 -59.25 0.11 0.21 3.10
Degree 2 13 7.81 8.00 656 MAX VALUE 167.56 2.47 0.32 2.28
Eccentricity 4 6 4.60 5.00 386 MAX VALUE 127.44 0.58 0.13 0.85
MCB cycle size 3 6 3.21 3.00 823 MAX VALUE 296.02 0.55 0.17 0.55
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 16
MCB cycles: 47
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.96 0.60 0.20 0.89
Eccentricity 6 10 7.43 7.00 624 MAX VALUE 167.79 0.94 0.13 1.33
MCB cycle size 3 10 6.81 7.00 320 MAX VALUE 88.90 1.45 0.21 1.72
Triangulated dual graph
Density: 24.41%
Triangles: 5,113
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.77 0.76 64.40 0.00 -23.72 0.14 0.18 3.75
Degree 2 45 20.26 16.00 1,702 MAX VALUE 231.06 12.72 0.63 3.42
Eccentricity 3 5 3.57 3.00 300 MAX VALUE 105.64 0.64 0.18 0.92
Triangulated minimal dual graph
Density: 11.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 1.00 0.73 0.67 60.91 0.00 -30.42 0.20 0.28 2.78
Degree 2 29 9.26 5.00 778 MAX VALUE 157.02 7.83 0.85 2.77
Eccentricity 3 5 4.11 4.00 345 MAX VALUE 117.62 0.64 0.15 0.95
Incidence graph
Density: 2.20%
MCB compute time (ms): 25
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.49
Degree 1 8 2.71 2.00 336 MAX VALUE 111.58 1.42 0.52 1.11
Eccentricity 8 13 9.95 10.00 1,234 MAX VALUE 284.13 1.13 0.11 1.50
MCB cycle size 6 12 7.82 8.00 352 MAX VALUE 91.57 1.68 0.21 1.18