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

Instance comments



Component #1 Number of variables: 243
Number of constraints: 118
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 81 5.49 3.00 648 MAX VALUE 172.48 7.51 1.37 0.66
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 117.00 0.37 -1.01 0.01 0.01 0.66
Tuples 9 81 59.03 81.00 6,966 MAX VALUE 439.44 33.15 0.56 0.62
Domain size 9 81 33.00 9.00 8,019 MAX VALUE 711.90 33.94 1.03 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: 91
Number of leaves: 19
Tree depth: 32
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.30 1.00 118 0 None 0.91 0.70 0.87
Cluster variables 19 132 82.33 98.00 7,492 MAX VALUE 383.65 39.40 0.48 3.51
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 126 79.66 96.00 7,249 0 None 39.78 0.50 3.49
Dual tree decomposition
Number of clusters: 90
Number of leaves: 81
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 18 8.10 7.00 729 MAX VALUE 183.63 3.30 0.41 0.33
Cluster variables 6 21 7.50 6.00 675 MAX VALUE 172.53 4.50 0.60 0.33
Separator constraints 0 2 1.80 2.00 162 0 None 0.60 0.33 0.33
Separator variables 0 19 6.19 5.00 557 0 None 4.04 0.65 0.36
Primal graph
Density: 16.25%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 0.95 0.57 0.37 137.45 0.00 -163.96 0.27 0.48 0.64
Degree 18 82 39.33 18.00 9,558 MAX VALUE 825.18 30.17 0.77 0.64
Eccentricity 2 3 2.67 3.00 648 MAX VALUE 234.12 0.47 0.18 0.64
Triangulated primal graph
Density: 61.87%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.87 0.88 212.13 0.00 -33.90 0.07 0.08 5.09
Degree 18 219 149.72 159.00 36,382 MAX VALUE 1,182.18 55.78 0.37 4.45
Eccentricity 2 3 2.11 2.00 512 MAX VALUE 178.98 0.31 0.15 0.34
Dual graph
Density: 8.21%
MCB compute time (ms): 139
MCB cycles: 528
Triangles: 162
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/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 18.32 0.00 None 0.07 0.43 0.66
Degree 5 81 9.61 5.00 1,134 MAX VALUE 238.81 8.90 0.93 0.66
Eccentricity 2 3 2.31 2.00 272 MAX VALUE 96.39 0.46 0.20 0.62
MCB cycle size 3 4 3.69 4.00 1,950 MAX VALUE 685.36 0.46 0.12 0.62
Minimal dual graph
Density: 5.87%
MCB compute time (ms): 33
MCB cycles: 288
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 81 6.86 5.00 810 MAX VALUE 212.68 7.16 1.04 1.10
Eccentricity 3 4 3.28 3.00 387 MAX VALUE 139.13 0.45 0.14 0.59
MCB cycle size 4 5 4.03 4.00 1,161 MAX VALUE 401.26 0.17 0.04 0.14
Triangulated dual graph
Density: 13.43%
Triangles: 5,028
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.85 1.00 100.63 0.00 -24.19 0.22 0.26 0.87
Degree 5 117 15.71 5.00 1,854 MAX VALUE 264.26 17.99 1.14 0.87
Eccentricity 1 2 1.99 2.00 235 1.66e+35 81.10 0.09 0.05 0.05
Triangulated minimal dual graph
Density: 13.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.86 1.00 100.95 0.00 -23.86 0.22 0.26 1.11
Degree 4 116 15.34 5.00 1,810 MAX VALUE 260.53 17.79 1.16 1.35
Eccentricity 2 3 2.02 2.00 238 7.48e+35 82.60 0.13 0.06 0.09
Incidence graph
Density: 1.00%
MCB compute time (ms): 316
MCB cycles: 288
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-9/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 81 3.59 3.00 1,296 MAX VALUE 406.60 4.51 1.26 0.85
Eccentricity 4 6 5.55 6.00 2,002 MAX VALUE 616.88 0.50 0.09 0.71
MCB cycle size 8 8 8.00 8.00 2,304 MAX VALUE 598.88 0.00 0.00 0.00