Instance: normalized-ortholatin-10
Number of variables: 300
Number of constraints: 141
Satisfiable: None
Timestamp: 2018-04-21 10:20:48
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 300
Number of constraints: 141
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 100 5.67 3.00 800 MAX VALUE 206.57 8.57 1.51 0.64
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.99 1.00 0.99 0.99 140.00 0.37 -1.01 0.00 0.00 0.64
Tuples 10 100 74.47 100.00 10,500 MAX VALUE 557.23 40.57 0.54 0.60
Domain size 10 100 40.00 10.00 12,000 MAX VALUE 921.03 42.43 1.06 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: 109
Number of leaves: 21
Tree depth: 39
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.29 1.00 141 0 None 0.86 0.66 0.79
Cluster variables 21 156 100.03 121.00 10,903 MAX VALUE 479.93 47.83 0.48 3.72
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 151 97.28 119.00 10,603 0 None 48.21 0.50 3.70
Dual tree decomposition
Number of clusters: 110
Number of leaves: 100
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 20 8.18 7.00 900 MAX VALUE 224.55 3.74 0.46 0.30
Cluster variables 6 23 7.55 6.00 830 MAX VALUE 210.53 4.89 0.65 0.30
Separator constraints 0 2 1.82 2.00 200 0 None 0.57 0.32 0.30
Separator variables 0 21 6.26 5.00 689 0 None 4.42 0.71 0.33
Primal graph
Density: 15.72%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 0.96 0.58 0.38 172.92 0.00 -195.31 0.27 0.47 0.64
Degree 20 101 47.00 20.00 14,100 MAX VALUE 1,060.66 38.18 0.81 0.64
Eccentricity 2 3 2.67 3.00 800 MAX VALUE 289.04 0.47 0.18 0.64
Triangulated primal graph
Density: 61.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.87 0.87 261.38 0.00 -42.49 0.08 0.09 5.31
Degree 20 266 182.96 203.50 54,888 MAX VALUE 1,519.02 68.29 0.37 4.53
Eccentricity 2 3 2.10 2.00 629 MAX VALUE 219.70 0.30 0.14 0.32
Dual graph
Density: 7.09%
MCB compute time (ms): 302
MCB cycles: 657
Triangles: 200
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/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 22.11 0.00 None 0.07 0.43 0.64
Degree 5 100 9.93 5.00 1,400 MAX VALUE 285.38 10.18 1.02 0.64
Eccentricity 2 3 2.28 2.00 322 MAX VALUE 113.95 0.45 0.20 0.60
MCB cycle size 3 4 3.70 4.00 2,428 MAX VALUE 853.26 0.46 0.12 0.61
Minimal dual graph
Density: 5.07%
MCB compute time (ms): 59
MCB cycles: 360
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 100 7.09 5.00 1,000 MAX VALUE 256.25 8.23 1.16 1.05
Eccentricity 3 4 3.26 3.00 460 MAX VALUE 165.55 0.44 0.13 0.58
MCB cycle size 4 5 4.03 4.00 1,450 MAX VALUE 501.30 0.16 0.04 0.13
Triangulated dual graph
Density: 11.55%
Triangles: 6,740
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.10 1.00 0.86 1.00 121.48 0.00 -27.35 0.22 0.25 0.83
Degree 5 140 16.17 5.00 2,280 MAX VALUE 313.44 19.88 1.23 0.83
Eccentricity 1 2 1.99 2.00 281 MAX VALUE 97.04 0.08 0.04 0.04
Triangulated minimal dual graph
Density: 11.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.10 1.00 0.86 1.00 121.81 0.00 -26.99 0.22 0.25 1.05
Degree 4 139 15.83 5.00 2,232 MAX VALUE 309.51 19.68 1.24 1.27
Eccentricity 2 3 2.01 2.00 284 MAX VALUE 98.54 0.12 0.06 0.07
Incidence graph
Density: 0.82%
MCB compute time (ms): 696
MCB cycles: 360
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-10/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 100 3.63 3.00 1,600 MAX VALUE 495.61 5.06 1.39 0.83
Eccentricity 4 6 5.54 6.00 2,444 MAX VALUE 753.30 0.50 0.09 0.70
MCB cycle size 8 8 8.00 8.00 2,880 MAX VALUE 748.60 0.00 0.00 0.00