Instance: rand-2-40-40-135-650-97_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:42
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 135
General features
Number of coarse blocks: 10,760
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 270 MAX VALUE 93.57 0.00 0.00 0.00
Coarse blocks size 3 26 13.97 14.00 150,332 MAX VALUE 28,109.90 3.01 0.22 2.52
Relational linkage 0.07 0.45 0.25 0.25 397.12 0.00 -2,165.13 0.05 0.19 2.09
Tightness 0.61 0.69 0.65 0.65 87.84 0.00 -58.04 0.01 0.02 3.95
Tuples 503 616 558.96 559.00 75,459 MAX VALUE 853.94 19.43 0.03 3.95
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 2 13 6.90 6.00 269 2.58e+31 72.33 2.62 0.38 2.20
Partitions per subscope 40 40 40.00 40.00 1,560 MAX VALUE 143.87 0.00 0.00 0.00
Tree decomposition
Number of clusters: 24
Number of leaves: 11
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 36 12.46 8.50 299 4.26e+22 52.11 9.97 0.80 2.77
Cluster variables 2 16 8.29 7.00 199 5.12e+20 47.68 4.09 0.49 2.39
Separator constraints 0 29 6.83 3.00 164 0 None 8.46 1.24 2.33
Separator variables 0 15 6.62 5.50 159 0 None 3.94 0.59 2.39
Dual tree decomposition
Number of clusters: 38
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 6 196 68.03 45.00 2,585 MAX VALUE 147.25 55.87 0.82 3.35
Cluster variables 5 57 20.34 16.00 773 MAX VALUE 107.00 13.71 0.67 3.14
Separator constraints 0 134 43.63 29.00 1,658 0 None 36.52 0.84 3.48
Separator variables 0 44 16.79 14.00 638 0 None 10.70 0.64 3.04
Primal graph
Density: 17.31%
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.40 None 0.20 None None None None None 3.05
Degree 1 13 6.75 6.00 270 2.58e+31 72.33 2.75 0.41 2.26
Eccentricity 3 4 3.25 3.00 130 2.16e+20 46.82 0.43 0.13 0.56
Triangulated primal graph
Density: 37.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 None 0.81 None None None None None 2.97
Degree 1 29 14.65 15.00 586 MAX VALUE 96.29 8.95 0.61 2.86
Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67
Dual graph
Density: 10.25%
MCB compute time (ms): 281
MCB cycles: 860
Triangles: 2,204
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.50 69.82 0.00 -90.16 0.07 0.14 4.07
Degree 4 23 13.73 14.00 1,854 MAX VALUE 347.87 3.81 0.28 2.68
Eccentricity 3 4 3.36 3.00 453 MAX VALUE 162.12 0.48 0.14 0.65
MCB cycle size 3 5 3.14 3.00 2,703 MAX VALUE 979.09 0.40 0.13 0.43
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 52
MCB cycles: 96
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.02 0.00 2.17 0.00 None 0.10 6.05 0.23
Degree 2 5 3.41 3.00 460 MAX VALUE 162.34 0.71 0.21 1.08
Eccentricity 6 8 6.81 7.00 920 MAX VALUE 258.64 0.55 0.08 0.81
MCB cycle size 3 9 6.69 7.00 642 MAX VALUE 180.40 1.25 0.19 1.54
Triangulated dual graph
Density: 42.40%
Triangles: 69,742
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.83 0.81 111.51 0.00 -26.66 0.09 0.11 4.38
Degree 4 96 56.81 71.00 7,670 MAX VALUE 512.94 30.01 0.53 3.79
Eccentricity 2 3 2.53 3.00 341 MAX VALUE 122.36 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.45%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.76 0.71 103.23 0.00 -39.56 0.17 0.22 3.22
Degree 2 47 15.35 6.00 2,072 MAX VALUE 291.31 15.86 1.03 3.00
Eccentricity 3 5 3.96 4.00 535 MAX VALUE 184.10 0.64 0.16 0.96
Incidence graph
Density: 1.77%
MCB compute time (ms): 61
MCB cycles: 96
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.27
Degree 1 13 3.09 2.00 540 MAX VALUE 165.90 2.39 0.77 1.02
Eccentricity 6 9 7.31 7.00 1,280 MAX VALUE 347.49 0.67 0.09 1.00
MCB cycle size 6 10 6.83 6.00 656 MAX VALUE 183.45 1.03 0.15 0.72