Instance: normalized-ortholatin-15
Number of variables: 675
Number of constraints: 286
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: 675
Number of constraints: 286
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 225 6.29 3.00 1,800 MAX VALUE 415.09 13.85 2.20 0.54
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 1.00 1.00 1.00 1.00 285.00 0.37 -1.00 0.00 0.00 0.52
Tuples 15 225 180.94 225.00 51,750 MAX VALUE 1,386.52 85.50 0.47 0.51
Domain size 15 225 85.00 15.00 57,375 MAX VALUE 2,437.25 98.99 1.16 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: 240
Number of leaves: 31
Tree depth: 93
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.19 1.00 286 0 None 0.73 0.61 0.63
Cluster variables 31 391 246.28 286.50 59,107 MAX VALUE 1,265.38 114.96 0.47 4.76
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 385 243.47 284.50 58,432 0 None 115.58 0.47 4.76
Dual tree decomposition
Number of clusters: 240
Number of leaves: 225
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 30 8.44 7.00 2,025 MAX VALUE 488.85 5.57 0.66 0.23
Cluster variables 6 33 7.69 6.00 1,845 MAX VALUE 455.59 6.54 0.85 0.23
Separator constraints 0 2 1.88 2.00 450 0 None 0.48 0.26 0.23
Separator variables 0 31 6.50 5.00 1,559 0 None 6.11 0.94 0.25
Primal graph
Density: 14.14%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 0.98 0.61 0.42 410.35 0.00 -393.64 0.26 0.44 0.64
Degree 30 226 95.33 30.00 64,350 MAX VALUE 2,750.16 92.40 0.97 0.64
Eccentricity 2 3 2.67 3.00 1,800 MAX VALUE 650.33 0.47 0.18 0.64
Triangulated primal graph
Density: 64.95%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.75 1.00 0.88 0.90 596.86 0.00 -85.19 0.07 0.08 6.21
Degree 30 617 437.77 472.00 295,494 MAX VALUE 4,008.43 152.40 0.35 5.45
Eccentricity 2 3 2.07 2.00 1,399 MAX VALUE 487.74 0.26 0.13 0.26
Dual graph
Density: 3.86%
MCB compute time (ms): 1,987
MCB cycles: 1,512
Triangles: 450
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/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 47.07 0.00 None 0.07 0.41 0.54
Degree 5 225 11.01 5.00 3,150 MAX VALUE 571.61 16.25 1.48 0.54
Eccentricity 2 3 2.21 2.00 632 MAX VALUE 222.57 0.41 0.18 0.51
MCB cycle size 3 4 3.70 4.00 5,598 MAX VALUE 1,966.62 0.46 0.12 0.61
Minimal dual graph
Density: 2.76%
MCB compute time (ms): 306
MCB cycles: 840
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 225 7.87 5.00 2,250 MAX VALUE 527.49 13.54 1.72 0.86
Eccentricity 3 4 3.20 3.00 915 MAX VALUE 330.60 0.40 0.12 0.50
MCB cycle size 4 5 4.02 4.00 3,375 MAX VALUE 1,167.83 0.13 0.03 0.09
Triangulated dual graph
Density: 6.22%
Triangles: 21,160
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.06 1.00 0.89 1.00 255.73 0.00 -43.15 0.21 0.23 0.68
Degree 5 285 17.73 5.00 5,070 MAX VALUE 612.80 28.48 1.61 0.68
Eccentricity 1 2 2.00 2.00 571 MAX VALUE 197.55 0.06 0.03 0.02
Triangulated minimal dual graph
Density: 6.14%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 1.00 0.90 1.00 256.12 0.00 -42.68 0.20 0.23 0.82
Degree 4 284 17.49 5.00 5,002 MAX VALUE 607.82 28.30 1.62 1.01
Eccentricity 2 3 2.01 2.00 574 MAX VALUE 199.05 0.08 0.04 0.04
Incidence graph
Density: 0.39%
MCB compute time (ms): 4,313
MCB cycles: 840
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-15/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 225 3.75 3.00 3,600 MAX VALUE 1,065.42 7.74 2.07 0.77
Eccentricity 4 6 5.53 6.00 5,314 MAX VALUE 1,639.43 0.50 0.09 0.70
MCB cycle size 8 8 8.00 8.00 6,720 MAX VALUE 1,746.73 0.00 0.00 0.00