Instance: normalized-ortholatin-7
Number of variables: 147
Number of constraints: 78
Satisfiable: None
Timestamp: 2018-04-21 10:20:50
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 147
Number of constraints: 78
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 49 5.03 3.00 392 MAX VALUE 112.21 5.36 1.07 0.72
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.98 1.00 0.99 0.98 77.00 0.36 -1.01 0.01 0.01 0.72
Tuples 7 49 33.92 49.00 2,646 MAX VALUE 249.08 20.15 0.59 0.65
Domain size 7 49 21.00 7.00 3,087 MAX VALUE 381.40 19.80 0.94 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: 55
Number of leaves: 14
Tree depth: 18
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.42 1.00 78 0 None 0.97 0.68 1.05
Cluster variables 15 80 48.35 57.00 2,659 MAX VALUE 203.95 23.41 0.48 3.12
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 76 45.67 55.00 2,512 0 None 23.62 0.52 3.10
Dual tree decomposition
Number of clusters: 56
Number of leaves: 49
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 14 7.88 7.00 441 MAX VALUE 113.82 2.32 0.29 0.38
Cluster variables 6 17 7.38 6.00 413 MAX VALUE 107.63 3.64 0.49 0.38
Separator constraints 0 2 1.75 2.00 98 0 None 0.66 0.38 0.38
Separator variables 0 15 5.98 5.00 335 0 None 3.19 0.53 0.43
Primal graph
Density: 17.81%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.34 0.92 0.53 0.34 78.54 0.00 -109.53 0.27 0.51 0.64
Degree 14 50 26.00 14.00 3,822 MAX VALUE 450.32 16.97 0.65 0.64
Eccentricity 2 3 2.67 3.00 392 MAX VALUE 141.63 0.47 0.18 0.64
Triangulated primal graph
Density: 61.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.87 0.86 127.70 0.00 -21.23 0.07 0.09 4.54
Degree 14 130 89.24 102.00 13,118 MAX VALUE 639.56 34.08 0.38 3.85
Eccentricity 2 3 2.14 2.00 314 MAX VALUE 110.00 0.34 0.16 0.40
Dual graph
Density: 11.42%
MCB compute time (ms): 48
MCB cycles: 312
Triangles: 98
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/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 11.95 0.00 None 0.06 0.40 0.72
Degree 5 49 8.79 5.00 686 MAX VALUE 156.65 6.28 0.71 0.72
Eccentricity 2 3 2.36 2.00 184 2.58e+28 65.42 0.48 0.20 0.65
MCB cycle size 3 4 3.69 4.00 1,150 MAX VALUE 404.33 0.46 0.13 0.62
Minimal dual graph
Density: 8.16%
MCB compute time (ms): 12
MCB cycles: 168
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 49 6.28 5.00 490 MAX VALUE 136.52 5.02 0.80 1.21
Eccentricity 3 4 3.32 3.00 259 MAX VALUE 92.88 0.47 0.14 0.63
MCB cycle size 4 5 4.04 4.00 679 MAX VALUE 234.46 0.20 0.05 0.17
Triangulated dual graph
Density: 18.88%
Triangles: 2,520
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 0.83 1.00 64.93 0.00 -17.89 0.22 0.27 0.96
Degree 5 77 14.54 5.00 1,134 MAX VALUE 176.88 13.97 0.96 0.96
Eccentricity 1 2 1.99 2.00 155 1.51e+23 53.37 0.11 0.06 0.07
Triangulated minimal dual graph
Density: 18.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.84 1.00 65.20 0.00 -17.64 0.22 0.27 1.28
Degree 4 76 14.08 5.00 1,098 MAX VALUE 173.54 13.79 0.98 1.52
Eccentricity 2 3 2.03 2.00 158 6.80e+23 54.88 0.16 0.08 0.12
Incidence graph
Density: 1.56%
MCB compute time (ms): 100
MCB cycles: 168
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-7/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 49 3.48 3.00 784 MAX VALUE 253.84 3.37 0.97 0.89
Eccentricity 4 6 5.56 6.00 1,250 MAX VALUE 384.87 0.51 0.09 0.71
MCB cycle size 8 8 8.00 8.00 1,344 MAX VALUE 349.35 0.00 0.00 0.00