Instance: rand-2-40-40-135-650-71_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:38
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 3 25 14.02 14.00 151,390 MAX VALUE 28,249.20 3.01 0.21 2.52
Relational linkage 0.07 0.42 0.25 0.25 406.85 0.00 -2,223.21 0.05 0.19 2.08
Tightness 0.62 0.69 0.65 0.65 87.69 0.00 -58.27 0.01 0.02 3.95
Tuples 504 613 560.70 561.00 75,695 MAX VALUE 854.36 19.12 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.75 6.50 270 9.36e+31 73.62 2.40 0.35 2.22
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: 25
Number of leaves: 14
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 2 24 10.32 9.00 258 2.81e+23 53.99 5.84 0.57 2.62
Cluster variables 3 16 8.24 7.00 206 6.87e+21 50.28 3.65 0.44 2.42
Separator constraints 0 17 4.92 3.00 123 0 None 4.96 1.01 2.32
Separator variables 0 14 6.64 6.00 166 0 None 3.55 0.54 2.42
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 17 198 64.24 50.00 2,441 MAX VALUE 149.55 46.34 0.72 3.44
Cluster variables 8 59 20.39 16.00 775 MAX VALUE 108.29 13.09 0.64 2.96
Separator constraints 0 108 40.79 31.00 1,550 0 None 29.03 0.71 3.16
Separator variables 0 46 16.84 14.00 640 0 None 10.08 0.60 2.94
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.33 0.17 0.17 6.90 0.00 None 0.09 0.50 2.99
Degree 2 13 6.75 6.50 270 9.36e+31 73.62 2.40 0.35 2.22
Eccentricity 2 4 3.08 3.00 123 2.56e+19 44.69 0.35 0.11 0.44
Triangulated primal graph
Density: 36.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.81 0.82 32.56 0.00 -9.08 0.16 0.20 2.63
Degree 2 27 14.30 14.50 572 MAX VALUE 96.09 8.80 0.62 2.71
Eccentricity 2 3 2.48 2.00 99 2.44e+15 35.43 0.50 0.20 0.69
Dual graph
Density: 9.85%
MCB compute time (ms): 464
MCB cycles: 801
Triangles: 1,975
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.85 0.51 0.50 69.46 0.00 -90.54 0.06 0.12 3.97
Degree 7 22 13.20 13.00 1,782 MAX VALUE 344.54 3.14 0.24 2.49
Eccentricity 3 4 3.46 3.00 467 MAX VALUE 166.15 0.50 0.14 0.69
MCB cycle size 3 5 3.12 3.00 2,500 MAX VALUE 907.63 0.34 0.11 0.38
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 75
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.43 0.72 0.21 1.07
Eccentricity 6 8 6.77 7.00 914 MAX VALUE 257.80 0.52 0.08 0.75
MCB cycle size 4 9 6.69 7.00 642 MAX VALUE 180.72 1.20 0.18 1.56
Triangulated dual graph
Density: 41.67%
Triangles: 67,977
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.83 0.80 111.52 0.00 -26.63 0.09 0.11 4.38
Degree 7 94 55.84 70.00 7,538 MAX VALUE 510.92 30.08 0.54 3.89
Eccentricity 2 3 2.40 2.00 324 MAX VALUE 115.47 0.49 0.20 0.67
Triangulated minimal dual graph
Density: 11.68%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.77 0.68 104.06 0.00 -38.53 0.17 0.23 3.12
Degree 2 47 15.64 7.00 2,112 MAX VALUE 295.20 15.92 1.02 2.99
Eccentricity 3 5 3.79 4.00 511 MAX VALUE 178.10 0.58 0.15 0.86
Incidence graph
Density: 1.77%
MCB compute time (ms): 73
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 13 3.09 2.00 540 MAX VALUE 167.19 2.30 0.75 1.01
Eccentricity 5 9 7.28 7.00 1,274 MAX VALUE 346.63 0.67 0.09 1.02
MCB cycle size 6 8 7.02 8.00 674 MAX VALUE 186.10 1.00 0.14 0.69