Instance: scen07-sub4_ext
Number of variables: 44
Number of constraints: 499
Satisfiable: None
Timestamp: 2017-10-27 10:55:11
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 44
Number of constraints: 499
General features
Number of coarse blocks: 41,638
Number of unique subscopes: 44
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 998 MAX VALUE 345.88 0.00 0.00 0.00
Coarse blocks size 1 43 24.94 26.00 1,038,550 MAX VALUE 124,740.00 11.51 0.46 3.45
Relational linkage 0.02 0.03 0.02 0.02 38.34 0.00 -6,051.04 0.00 0.08 0.50
Tightness 0.02 0.98 0.43 0.39 216.70 0.00 -570.03 0.26 0.60 3.97
Tuples 36 1,892 1,040.63 1,136.00 519,276 MAX VALUE 3,360.96 495.44 0.48 3.96
Domain size 36 44 42.18 44.00 1,856 MAX VALUE 164.50 3.35 0.08 0.54
Constraints per subscope 3 36 22.68 23.00 998 MAX VALUE 132.11 8.26 0.36 2.52
Partitions per subscope 36 44 42.18 44.00 1,856 MAX VALUE 164.50 3.35 0.08 0.54
Tree decomposition
Number of clusters: 10
Number of leaves: 3
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 6 202 120.10 138.50 1,201 1.14e+19 43.88 69.79 0.58 2.30
Cluster variables 4 21 15.50 18.00 155 2.47e+11 26.23 5.90 0.38 1.89
Separator constraints 0 155 70.20 77.50 702 0 None 53.75 0.77 2.16
Separator variables 0 19 11.10 13.50 111 0 None 6.39 0.58 2.03
Dual tree decomposition
Number of clusters: 42
Number of leaves: 18
Tree depth: 7
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8 3,400 1,039.10 783.00 43,642 MAX VALUE 272.06 854.84 0.82 3.41
Cluster variables 5 211 76.93 57.00 3,231 MAX VALUE 171.48 53.12 0.69 3.34
Separator constraints 0 2,186 745.76 691.50 31,322 0 None 522.59 0.70 3.41
Separator variables 0 151 65.05 54.00 2,732 0 None 40.06 0.62 3.34
Primal graph
Density: 52.75%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 1.00 0.83 0.82 36.34 0.00 -9.09 0.13 0.16 2.52
Degree 3 36 22.68 23.00 998 MAX VALUE 132.11 8.26 0.36 2.52
Eccentricity 2 3 2.82 3.00 124 3.84e+19 45.10 0.39 0.14 0.47
Triangulated primal graph
Density: 56.34%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.86 0.83 37.64 0.00 -7.19 0.10 0.12 2.47
Degree 3 37 24.23 27.00 1,066 MAX VALUE 135.00 8.54 0.35 2.64
Eccentricity 2 3 2.50 2.50 110 1.32e+17 39.42 0.50 0.20 0.69
Dual graph
Density: 9.92%
MCB compute time (ms): 15,116
MCB cycles: 12,003
Triangles: 107,311
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.76 0.53 0.51 262.35 0.00 -321.92 0.04 0.07 4.00
Degree 4 70 49.38 52.00 24,640 MAX VALUE 1,932.21 9.71 0.20 3.25
Eccentricity 3 4 3.54 4.00 1,764 MAX VALUE 625.02 0.50 0.14 0.69
MCB cycle size 3 4 3.00 3.00 36,014 MAX VALUE 13,188.10 0.02 0.01 0.00
Minimal dual graph
Density: 0.77%
MCB compute time (ms): 2,745
MCB cycles: 458
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.01 0.00 3.07 0.00 None 0.06 8.99 0.14
Degree 2 6 3.82 4.00 1,908 MAX VALUE 655.87 0.90 0.24 1.23
Eccentricity 7 11 9.33 9.00 4,657 MAX VALUE 1,112.58 0.82 0.09 1.21
MCB cycle size 3 11 6.31 6.00 2,889 MAX VALUE 833.32 1.29 0.20 1.64
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 8.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.82 0.78 407.38 0.00 -109.60 0.15 0.18 3.93
Degree 2 158 42.65 9.00 21,282 MAX VALUE 1,343.98 55.34 1.30 3.61
Eccentricity 3 5 3.97 4.00 1,982 MAX VALUE 682.44 0.60 0.15 0.90
Incidence graph
Density: 0.68%
MCB compute time (ms): 502
MCB cycles: 456
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 36 3.68 2.00 1,996 MAX VALUE 477.99 6.11 1.66 0.49
Eccentricity 5 8 7.03 7.00 3,820 MAX VALUE 1,053.83 0.99 0.14 0.95
MCB cycle size 6 8 6.00 6.00 2,738 MAX VALUE 817.33 0.09 0.02 0.02