Instance: normalized-os-taillard-7-100-6_ext
Number of variables: 49
Number of constraints: 294
Satisfiable: None
Timestamp: 2018-04-21 10:24:36
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 49
Number of constraints: 294
General features
Number of coarse blocks: 216,648
Number of unique subscopes: 49
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 588 MAX VALUE 203.78 0.00 0.00 0.00
Coarse blocks size 133 412 271.97 272.00 58,920,900 MAX VALUE 1,209,740.00 55.45 0.20 5.27
Relational linkage 0.41 0.98 0.63 0.62 11,341.70 0.00 -8,736.81 0.12 0.20 6.05
Tightness 0.02 0.50 0.27 0.26 79.69 0.00 -409.32 0.10 0.36 5.54
Tuples 53,592 170,156 100,206.00 100,172.00 29,460,400 MAX VALUE 3,377.32 23,456.70 0.23 4.67
Domain size 324 418 368.45 364.00 18,054 MAX VALUE 289.42 28.04 0.08 3.60
Constraints per subscope 12 12 12.00 12.00 588 MAX VALUE 121.76 0.00 0.00 0.00
Partitions per subscope 324 418 368.45 364.00 18,054 MAX VALUE 289.42 28.04 0.08 3.60
Tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 42 116 59.50 42.00 714 8.62e+20 48.21 23.90 0.40 1.08
Cluster variables 13 32 18.08 13.00 217 5.99e+14 34.03 6.58 0.36 1.08
Separator constraints 0 60 35.00 30.00 420 0 None 15.00 0.43 1.08
Separator variables 0 24 14.00 12.00 168 0 None 6.00 0.43 1.08
Dual tree decomposition
Number of clusters: 47
Number of leaves: 24
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 137 489 207.28 137.00 9,742 MAX VALUE 247.18 86.12 0.42 1.70
Cluster variables 23 116 39.45 23.00 1,854 MAX VALUE 166.56 23.15 0.59 1.67
Separator constraints 0 261 138.47 115.00 6,508 0 None 42.52 0.31 1.70
Separator variables 0 90 33.19 22.00 1,560 0 None 17.08 0.51 1.62
Primal graph
Density: 25.00%
Dot-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.45 0.45 0.45 22.27 0.00 -38.63 0.00 0.00 0.00
Degree 12 12 12.00 12.00 588 MAX VALUE 121.76 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Triangulated primal graph
Density: 68.45%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.87 0.85 42.51 0.00 -7.09 0.06 0.07 1.70
Degree 12 41 32.86 37.00 1,610 MAX VALUE 167.56 10.24 0.31 1.70
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Dual graph
Density: 7.51%
MCB compute time (ms): 1,744
MCB cycles: 4,386
Triangles: 11,270
Dot-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.50 0.50 0.50 146.36 0.00 -205.06 0.00 0.00 0.00
Degree 22 22 22.00 22.00 6,468 MAX VALUE 908.77 0.00 0.00 0.00
Eccentricity 3 3 3.00 3.00 882 MAX VALUE 322.99 0.00 0.00 0.00
MCB cycle size 3 5 3.39 3.00 14,849 MAX VALUE 5,291.43 0.58 0.17 0.78
Minimal dual graph
Density: 1.25%
MCB compute time (ms): 593
MCB cycles: 248
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.03 10.24 0.06
Degree 2 6 3.67 4.00 1,078 MAX VALUE 375.76 0.77 0.21 1.11
Eccentricity 7 9 7.96 8.00 2,341 MAX VALUE 609.12 0.61 0.08 0.91
MCB cycle size 3 10 6.43 7.00 1,595 MAX VALUE 454.53 1.47 0.23 1.75
Triangulated dual graph
Density: 37.77%
Triangles: 560,468
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.82 0.77 240.13 0.00 -62.30 0.11 0.14 3.49
Degree 22 187 110.66 109.00 32,534 MAX VALUE 1,324.78 59.80 0.54 3.11
Eccentricity 2 3 2.36 2.00 694 MAX VALUE 246.76 0.48 0.20 0.65
Triangulated minimal dual graph
Density: 9.51%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.80 0.76 236.49 0.00 -69.36 0.15 0.19 3.56
Degree 2 94 27.87 7.50 8,194 MAX VALUE 732.52 33.49 1.20 3.31
Eccentricity 3 6 4.47 4.00 1,314 MAX VALUE 437.43 0.60 0.13 0.90
Incidence graph
Density: 1.00%
MCB compute time (ms): 510
MCB cycles: 246
Dot-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-7ExtConvert/normalized-os-taillard-7-100-6_ext/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 12 3.43 2.00 1,176 MAX VALUE 325.55 3.50 1.02 0.41
Eccentricity 5 6 5.86 6.00 2,009 MAX VALUE 605.64 0.35 0.06 0.41
MCB cycle size 6 8 6.29 6.00 1,548 MAX VALUE 451.13 0.71 0.11 0.42