Instance: rand-2-40-40-135-650-26_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:40
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,800
Number of unique subscopes: 40
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 4 26 14.00 14.00 151,148 MAX VALUE 28,236.80 2.99 0.21 2.51
Relational linkage 0.10 0.42 0.25 0.25 406.52 0.00 -2,222.19 0.05 0.19 2.05
Tightness 0.61 0.68 0.65 0.65 87.77 0.00 -58.16 0.01 0.02 4.04
Tuples 512 616 559.81 558.00 75,574 MAX VALUE 854.14 20.27 0.04 4.04
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 11 6.75 7.00 270 2.64e+32 74.65 1.91 0.28 2.03
Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Tree decomposition
Number of clusters: 24
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 24 11.96 11.00 287 1.99e+24 55.95 6.43 0.54 2.34
Cluster variables 4 17 9.67 8.50 232 3.77e+22 51.98 4.35 0.45 2.18
Separator constraints 0 20 6.33 3.00 152 0 None 6.16 0.97 2.27
Separator variables 0 15 8.00 7.00 192 0 None 4.40 0.55 2.18
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 14 161 58.00 53.50 2,204 MAX VALUE 147.40 34.27 0.59 3.38
Cluster variables 7 55 19.63 16.00 746 MAX VALUE 107.64 11.54 0.59 2.98
Separator constraints 0 89 35.66 35.00 1,355 0 None 21.11 0.59 3.19
Separator variables 0 38 16.08 14.00 611 0 None 8.79 0.55 2.95
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.67 0.18 0.17 7.32 0.00 None 0.12 0.63 2.99
Degree 3 11 6.75 7.00 270 2.64e+32 74.65 1.91 0.28 2.03
Eccentricity 3 4 3.08 3.00 123 2.88e+19 44.81 0.26 0.09 0.27
Triangulated primal graph
Density: 42.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.82 0.80 32.63 0.00 -8.72 0.14 0.17 2.93
Degree 3 30 16.40 19.00 656 MAX VALUE 103.24 9.06 0.55 2.81
Eccentricity 2 3 2.40 2.00 96 7.22e+14 34.21 0.49 0.20 0.67
Dual graph
Density: 9.39%
MCB compute time (ms): 427
MCB cycles: 759
Triangles: 1,701
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.69 0.49 0.49 66.78 0.00 -95.44 0.04 0.08 3.70
Degree 6 19 12.58 13.00 1,698 MAX VALUE 338.49 2.67 0.21 2.35
Eccentricity 3 4 3.56 4.00 480 MAX VALUE 169.89 0.50 0.14 0.69
MCB cycle size 3 5 3.14 3.00 2,380 MAX VALUE 862.77 0.38 0.12 0.41
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 60
MCB cycles: 96
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.41 3.00 460 MAX VALUE 162.94 0.65 0.19 0.98
Eccentricity 6 8 7.02 7.00 948 MAX VALUE 262.67 0.58 0.08 0.87
MCB cycle size 4 9 6.67 7.00 640 MAX VALUE 180.24 1.26 0.19 1.59
Triangulated dual graph
Density: 37.67%
Triangles: 53,983
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.81 0.78 109.55 0.00 -29.34 0.11 0.13 4.37
Degree 6 89 50.47 59.00 6,814 MAX VALUE 498.35 27.97 0.55 3.90
Eccentricity 2 3 2.52 3.00 340 MAX VALUE 121.96 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 12.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.78 0.70 105.78 0.00 -36.19 0.17 0.22 3.06
Degree 2 47 16.19 6.00 2,186 MAX VALUE 295.09 16.78 1.04 2.85
Eccentricity 3 5 3.80 4.00 513 MAX VALUE 178.67 0.57 0.15 0.85
Incidence graph
Density: 1.77%
MCB compute time (ms): 74
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 11 3.09 2.00 540 MAX VALUE 168.23 2.19 0.71 1.00
Eccentricity 6 8 7.39 7.00 1,294 MAX VALUE 349.56 0.58 0.08 0.86
MCB cycle size 6 8 7.00 7.00 672 MAX VALUE 185.82 1.00 0.14 0.69