Instance: normalized-ortholatin-5
Number of variables: 75
Number of constraints: 46
Satisfiable: None
Timestamp: 2018-04-21 10:20:49
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 75
Number of constraints: 46
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 25 4.35 3.00 200 2.02e+27 62.87 3.23 0.74 0.78
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.96 1.00 0.98 0.96 44.97 0.35 -1.05 0.02 0.02 0.78
Tuples 5 25 16.30 25.00 750 MAX VALUE 115.88 9.91 0.61 0.68
Domain size 5 25 11.67 5.00 875 MAX VALUE 160.94 9.43 0.81 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: 31
Number of leaves: 11
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.48 1.00 46 0 None 1.13 0.76 1.15
Cluster variables 11 43 25.03 28.00 776 MAX VALUE 96.18 10.82 0.43 2.51
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 38 22.61 26.00 701 0 None 11.04 0.49 2.50
Dual tree decomposition
Number of clusters: 30
Number of leaves: 25
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 10 7.50 7.00 225 1.34e+26 60.16 1.12 0.15 0.45
Cluster variables 6 13 7.17 6.00 215 1.06e+25 57.62 2.61 0.36 0.45
Separator constraints 0 2 1.67 2.00 50 0 None 0.75 0.45 0.45
Separator variables 0 11 5.63 5.00 169 0 None 2.29 0.41 0.53
Primal graph
Density: 20.72%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.29 0.85 0.48 0.29 35.75 0.00 -66.08 0.27 0.56 0.64
Degree 10 26 15.33 10.00 1,150 MAX VALUE 196.58 7.54 0.49 0.64
Eccentricity 2 3 2.67 3.00 200 2.41e+31 72.26 0.47 0.18 0.64
Triangulated primal graph
Density: 60.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.86 0.83 64.56 0.00 -11.55 0.08 0.09 3.80
Degree 10 65 44.67 52.00 3,350 MAX VALUE 275.10 17.34 0.39 3.20
Eccentricity 2 3 2.16 2.00 162 4.90e+24 56.85 0.37 0.17 0.44
Dual graph
Density: 16.91%
MCB compute time (ms): 11
MCB cycles: 152
Triangles: 50
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.16 0.20 7.22 0.00 None 0.05 0.32 0.78
Degree 5 25 7.61 5.00 350 MAX VALUE 89.51 3.57 0.47 0.78
Eccentricity 2 3 2.43 2.00 112 2.34e+17 39.99 0.50 0.20 0.68
MCB cycle size 3 4 3.67 4.00 558 MAX VALUE 196.33 0.47 0.13 0.63
Minimal dual graph
Density: 12.08%
MCB compute time (ms): 3
MCB cycles: 80
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 25 5.43 5.00 250 5.56e+32 75.40 2.96 0.54 0.85
Eccentricity 3 4 3.37 3.00 155 1.18e+24 55.43 0.48 0.14 0.66
MCB cycle size 4 5 4.06 4.00 325 MAX VALUE 112.02 0.24 0.06 0.23
Triangulated dual graph
Density: 28.50%
Triangles: 1,020
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.81 1.00 37.24 0.00 -11.64 0.21 0.27 1.08
Degree 5 45 12.83 5.00 590 MAX VALUE 104.56 9.58 0.75 1.08
Eccentricity 1 2 1.98 2.00 91 3.52e+13 31.19 0.15 0.07 0.10
Triangulated minimal dual graph
Density: 27.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.81 1.00 37.43 0.00 -11.52 0.22 0.27 1.51
Degree 4 44 12.22 5.00 562 MAX VALUE 101.57 9.45 0.77 1.67
Eccentricity 2 3 2.04 2.00 94 1.58e+14 32.70 0.20 0.10 0.18
Incidence graph
Density: 2.75%
MCB compute time (ms): 19
MCB cycles: 80
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-5/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 25 3.31 3.00 400 MAX VALUE 135.13 2.19 0.66 0.96
Eccentricity 4 6 5.57 6.00 674 MAX VALUE 207.28 0.51 0.09 0.72
MCB cycle size 8 8 8.00 8.00 640 MAX VALUE 166.35 0.00 0.00 0.00