Instance: normalized-ortholatin-6
Number of variables: 108
Number of constraints: 61
Satisfiable: None
Timestamp: 2018-04-21 10:20:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 108
Number of constraints: 61
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 36 4.72 3.00 288 2.56e+37 86.14 4.29 0.91 0.75
Coarse blocks size None None None None None None None None None None
Relational linkage None None None None None None None None None None
Tightness 0.97 1.00 0.98 0.97 60.00 0.36 -1.02 0.01 0.01 0.75
Tuples 6 36 24.20 36.00 1,476 MAX VALUE 175.59 14.66 0.61 0.67
Domain size 6 36 16.00 6.00 1,728 MAX VALUE 258.01 14.14 0.88 0.64
Constraints per subscope None None None None None None None None None None
Partitions per subscope None None None None None None None None None None
Tree decomposition
Number of clusters: 44
Number of leaves: 12
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.39 1.00 61 0 None 1.05 0.76 1.19
Cluster variables 13 58 36.84 42.50 1,621 MAX VALUE 152.43 16.60 0.45 2.89
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 55 34.39 40.50 1,513 0 None 16.95 0.49 2.85
Dual tree decomposition
Number of clusters: 42
Number of leaves: 36
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 12 7.71 7.00 324 7.92e+36 84.96 1.75 0.23 0.41
Cluster variables 6 15 7.29 6.00 306 1.17e+35 80.75 3.15 0.43 0.41
Separator constraints 0 2 1.71 2.00 72 0 None 0.70 0.41 0.41
Separator variables 0 13 5.83 5.00 245 0 None 2.74 0.47 0.47
Primal graph
Density: 19.00%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.32 0.89 0.51 0.32 55.13 0.00 -86.45 0.27 0.53 0.64
Degree 12 37 20.33 12.00 2,196 MAX VALUE 308.91 11.79 0.58 0.64
Eccentricity 2 3 2.67 3.00 288 MAX VALUE 104.05 0.47 0.18 0.64
Triangulated primal graph
Density: 61.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.87 0.85 93.57 0.00 -15.90 0.08 0.09 4.32
Degree 12 95 65.39 75.00 7,062 MAX VALUE 437.03 24.87 0.38 3.69
Eccentricity 2 3 2.14 2.00 231 1.42e+35 80.94 0.35 0.16 0.40
Dual graph
Density: 13.77%
MCB compute time (ms): 23
MCB cycles: 225
Triangles: 72
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.15 0.20 9.38 0.00 None 0.06 0.37 0.75
Degree 5 36 8.26 5.00 504 MAX VALUE 121.16 4.94 0.60 0.75
Eccentricity 2 3 2.39 2.00 146 3.88e+22 52.01 0.49 0.20 0.67
MCB cycle size 3 4 3.68 4.00 828 MAX VALUE 291.20 0.47 0.13 0.63
Minimal dual graph
Density: 9.84%
MCB compute time (ms): 6
MCB cycles: 120
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 4 36 5.90 5.00 360 MAX VALUE 104.04 3.97 0.67 1.27
Eccentricity 3 4 3.34 3.00 204 5.35e+31 73.06 0.48 0.14 0.64
MCB cycle size 4 5 4.05 4.00 486 MAX VALUE 167.69 0.22 0.05 0.20
Triangulated dual graph
Density: 22.95%
Triangles: 1,660
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 1.00 0.82 1.00 50.09 0.00 -14.75 0.22 0.27 1.02
Degree 5 60 13.77 5.00 840 MAX VALUE 138.80 11.83 0.86 1.02
Eccentricity 1 2 1.98 2.00 121 1.15e+18 41.59 0.13 0.06 0.08
Triangulated minimal dual graph
Density: 22.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 1.00 0.82 1.00 50.32 0.00 -14.56 0.22 0.27 1.38
Degree 4 59 13.25 5.00 808 MAX VALUE 135.64 11.67 0.88 1.63
Eccentricity 2 3 2.03 2.00 124 5.19e+18 43.09 0.18 0.09 0.14
Incidence graph
Density: 2.03%
MCB compute time (ms): 43
MCB cycles: 120
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-6/Incidence1.pdf
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.41 3.00 576 MAX VALUE 190.19 2.79 0.82 0.92
Eccentricity 4 6 5.56 6.00 940 MAX VALUE 289.27 0.51 0.09 0.72
MCB cycle size 8 8 8.00 8.00 960 MAX VALUE 249.53 0.00 0.00 0.00