Instance: rand-2-40-180-84-900-0_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:27
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: 30,060
Number of unique subscopes: 39
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 542,338 MAX VALUE 86,170.00 4.02 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 552.45 0.00 -18,000.90 0.02 0.21 2.48
Tightness 0.89 0.90 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.10
Tuples 3,142 3,403 3,247.71 3,246.50 272,808 MAX VALUE 679.19 50.02 0.02 4.10
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.28 4.00 167 7.93e+22 52.73 1.93 0.45 1.88
Partitions per subscope 180 180 180.00 180.00 7,020 MAX VALUE 202.53 0.00 0.00 0.00
Tree decomposition
Number of clusters: 30
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 13 4.37 3.00 131 1.73e+16 37.39 3.14 0.72 1.93
Cluster variables 2 11 5.10 4.50 153 7.68e+19 45.79 2.48 0.49 1.83
Separator constraints 0 10 1.57 0.50 47 0 None 2.54 1.62 1.49
Separator variables 0 10 3.77 3.00 113 0 None 2.33 0.62 1.87
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 2 54 19.00 16.50 722 MAX VALUE 101.29 13.56 0.71 3.10
Cluster variables 3 28 10.47 8.00 398 1.87e+36 83.52 6.08 0.58 2.67
Separator constraints 0 28 9.87 9.00 375 0 None 7.42 0.75 2.85
Separator variables 0 20 8.26 7.00 314 0 None 4.76 0.58 2.69
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.63
Degree 1 10 4.20 4.00 168 7.93e+22 52.73 1.98 0.47 1.95
Eccentricity 3 5 4.08 4.00 163 1.71e+24 55.80 0.57 0.14 0.85
Triangulated primal graph
Density: 21.54%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 None 0.70 None None None None None 2.74
Degree 1 22 8.40 5.00 336 6.52e+30 70.95 6.51 0.78 2.61
Eccentricity 3 4 3.33 3.00 133 5.12e+20 47.68 0.47 0.14 0.63
Dual graph
Density: 9.95%
MCB compute time (ms): 44
MCB cycles: 271
Triangles: 493
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 0.51 0.50 42.52 0.00 None 0.11 0.22 3.12
Degree 2 16 8.26 8.00 694 MAX VALUE 171.53 2.88 0.35 2.39
Eccentricity 3 5 4.11 4.00 345 MAX VALUE 118.33 0.38 0.09 0.50
MCB cycle size 3 6 3.22 3.00 873 MAX VALUE 313.74 0.57 0.18 0.56
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 5 3.05 3.00 256 MAX VALUE 91.96 0.60 0.20 0.89
Eccentricity 6 8 6.71 7.00 564 MAX VALUE 159.67 0.55 0.08 0.81
MCB cycle size 4 9 7.16 7.00 322 1.32e+38 87.78 1.25 0.17 1.55
Triangulated dual graph
Density: 29.15%
Triangles: 7,661
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.78 0.77 65.79 0.00 -21.53 0.12 0.16 3.94
Degree 2 47 24.19 22.00 2,032 MAX VALUE 243.38 15.28 0.63 3.39
Eccentricity 2 4 3.20 3.00 269 MAX VALUE 96.70 0.51 0.16 0.74
Triangulated minimal dual graph
Density: 12.42%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.74 0.67 62.42 0.00 -28.06 0.20 0.27 2.71
Degree 2 31 10.31 5.00 866 MAX VALUE 160.05 9.44 0.92 2.77
Eccentricity 3 5 3.83 4.00 322 MAX VALUE 112.03 0.53 0.14 0.79
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.31
Degree 1 10 2.71 2.00 336 MAX VALUE 110.95 1.52 0.56 1.02
Eccentricity 7 10 8.64 9.00 1,071 MAX VALUE 266.81 0.81 0.09 1.18
MCB cycle size 6 12 8.18 8.00 368 MAX VALUE 93.85 1.45 0.18 1.09