Instance: rand-2-40-180-84-900-29_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,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 3 37 18.03 18.00 535,500 MAX VALUE 85,110.30 4.04 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 516.07 0.00 -17,174.90 0.02 0.20 2.45
Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.87 0.00 0.00 4.19
Tuples 3,132 3,364 3,245.36 3,246.50 272,610 MAX VALUE 679.13 53.57 0.02 4.19
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.46 4.00 165 4.95e+22 52.26 1.82 0.41 1.90
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: 29
Number of leaves: 14
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 9 3.97 4.00 115 1.20e+15 34.72 2.19 0.55 2.06
Cluster variables 2 12 5.00 4.00 145 9.71e+18 43.72 2.36 0.47 2.03
Separator constraints 0 4 1.07 1.00 31 0 None 1.17 1.10 1.36
Separator variables 0 9 3.62 3.00 105 0 None 2.07 0.57 2.03
Dual tree decomposition
Number of clusters: 38
Number of leaves: 11
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 2 42 18.42 15.00 700 MAX VALUE 100.08 12.46 0.68 2.92
Cluster variables 4 26 10.18 8.50 387 9.11e+35 82.80 5.68 0.56 2.71
Separator constraints 0 22 9.29 8.50 353 0 None 6.97 0.75 2.78
Separator variables 0 19 7.97 7.00 303 0 None 4.45 0.56 2.62
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 None None None 0.10 None None None None None 2.50
Degree 1 9 4.20 4.00 168 4.95e+22 52.26 1.98 0.47 2.02
Eccentricity 3 5 4.40 4.00 176 4.03e+25 58.96 0.54 0.12 0.78
Triangulated primal graph
Density: 21.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.72 None None None None None 3.01
Degree 1 20 8.55 6.00 342 9.61e+30 71.34 6.59 0.77 2.62
Eccentricity 3 5 3.60 4.00 144 1.06e+22 50.72 0.58 0.16 0.86
Dual graph
Density: 9.95%
MCB compute time (ms): 38
MCB cycles: 279
Triangles: 489
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.49 43.32 0.00 -57.63 0.12 0.24 3.34
Degree 3 15 8.26 8.00 694 MAX VALUE 171.54 2.87 0.35 2.37
Eccentricity 3 5 4.27 4.00 359 MAX VALUE 121.45 0.50 0.12 0.71
MCB cycle size 3 6 3.20 3.00 893 MAX VALUE 321.77 0.51 0.16 0.54
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.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 5 3.05 3.00 256 MAX VALUE 91.84 0.62 0.20 0.93
Eccentricity 6 8 6.90 7.00 580 MAX VALUE 161.94 0.65 0.09 0.97
MCB cycle size 4 9 6.93 7.00 312 2.69e+37 86.18 1.36 0.20 1.60
Triangulated dual graph
Density: 27.48%
Triangles: 6,665
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.78 0.76 65.32 0.00 -22.29 0.13 0.17 4.00
Degree 3 48 22.81 20.00 1,916 MAX VALUE 239.45 14.54 0.64 3.50
Eccentricity 2 4 3.25 3.00 273 MAX VALUE 98.21 0.46 0.14 0.64
Triangulated minimal dual graph
Density: 11.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.74 0.67 62.57 0.00 -28.12 0.21 0.28 2.78
Degree 2 31 9.74 5.00 818 MAX VALUE 156.56 8.94 0.92 2.71
Eccentricity 3 5 3.92 4.00 329 MAX VALUE 113.85 0.54 0.14 0.80
Incidence graph
Density: 2.20%
MCB compute time (ms): 17
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 None None None 0.00 None None None None None 0.91
Degree 1 9 2.71 2.00 336 MAX VALUE 110.48 1.52 0.56 1.15
Eccentricity 7 11 9.22 9.00 1,143 MAX VALUE 274.75 0.96 0.10 1.34
MCB cycle size 6 12 7.78 8.00 350 MAX VALUE 91.34 1.65 0.21 1.16