Instance: rand-2-40-40-135-650-13_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:32
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 4 26 14.03 14.00 150,928 MAX VALUE 28,151.40 3.01 0.21 2.52
Relational linkage 0.10 0.40 0.25 0.25 395.60 0.00 -2,171.25 0.05 0.19 2.08
Tightness 0.60 0.67 0.65 0.65 87.67 0.00 -58.29 0.01 0.02 3.83
Tuples 522 638 560.93 560.00 75,726 MAX VALUE 854.44 16.85 0.03 3.83
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.90 7.00 269 5.01e+31 72.99 2.35 0.34 2.06
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: 25
Number of leaves: 13
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 1 33 12.36 8.00 309 2.09e+24 56.00 8.84 0.72 2.61
Cluster variables 2 16 8.48 6.00 212 7.08e+21 50.31 4.16 0.49 2.22
Separator constraints 0 27 6.96 3.00 174 0 None 7.97 1.14 2.24
Separator variables 0 15 6.88 5.00 172 0 None 4.11 0.60 2.30
Dual tree decomposition
Number of clusters: 38
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 16 159 60.97 50.00 2,317 MAX VALUE 149.69 36.44 0.60 3.35
Cluster variables 8 52 19.79 15.50 752 MAX VALUE 108.14 11.41 0.58 3.01
Separator constraints 0 94 37.26 32.00 1,416 0 None 21.45 0.58 3.49
Separator variables 0 38 16.24 13.50 617 0 None 8.64 0.53 2.83
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.60 None 0.20 None None None None None 2.98
Degree 1 11 6.75 6.50 270 5.01e+31 72.99 2.50 0.37 2.13
Eccentricity 3 4 3.33 3.00 133 5.12e+20 47.68 0.47 0.14 0.63
Triangulated primal graph
Density: 37.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 None 0.77 None None None None None 2.93
Degree 1 28 14.60 16.00 584 MAX VALUE 96.20 8.81 0.60 2.71
Eccentricity 2 4 2.80 3.00 112 3.75e+17 40.47 0.51 0.18 0.75
Dual graph
Density: 9.96%
MCB compute time (ms): 460
MCB cycles: 835
Triangles: 2,025
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 1.00 0.52 0.50 70.12 0.00 -89.38 0.07 0.13 3.75
Degree 7 20 13.35 13.00 1,802 MAX VALUE 346.07 3.09 0.23 2.48
Eccentricity 3 4 3.38 3.00 456 MAX VALUE 162.98 0.48 0.14 0.66
MCB cycle size 3 5 3.13 3.00 2,610 MAX VALUE 947.35 0.34 0.11 0.39
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 81
MCB cycles: 96
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.41
Degree 1 5 3.41 3.00 460 MAX VALUE 162.28 0.70 0.21 1.06
Eccentricity 6 8 6.76 7.00 912 MAX VALUE 257.49 0.52 0.08 0.77
MCB cycle size 4 9 6.74 7.00 647 MAX VALUE 181.55 1.18 0.18 1.55
Triangulated dual graph
Density: 37.81%
Triangles: 53,586
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.81 0.78 109.40 0.00 -29.62 0.11 0.14 4.42
Degree 7 89 50.67 52.00 6,840 MAX VALUE 500.07 27.63 0.55 3.80
Eccentricity 2 3 2.44 2.00 330 MAX VALUE 117.90 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 None 0.65 None None None None None 3.43
Degree 1 48 15.97 6.00 2,156 MAX VALUE 295.16 16.26 1.02 3.09
Eccentricity 3 5 3.83 4.00 517 MAX VALUE 179.76 0.56 0.15 0.84
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 None 0.00 None None None None None 0.45
Degree 1 11 3.09 2.00 540 MAX VALUE 166.57 2.32 0.75 1.02
Eccentricity 6 9 7.37 7.00 1,290 MAX VALUE 348.76 0.72 0.10 1.06
MCB cycle size 6 8 6.77 6.00 650 MAX VALUE 182.65 0.97 0.14 0.67