Instance: normalized-os-taillard-5-105-5_ext
Number of variables: 25
Number of constraints: 100
Satisfiable: None
Timestamp: 2018-04-21 10:24:16
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 25
Number of constraints: 100
General features
Number of coarse blocks: 54,576
Number of unique subscopes: 25
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00
Coarse blocks size 45 320 177.68 176.00 9,697,300 MAX VALUE 280,034.00 52.90 0.30 5.13
Relational linkage 0.19 0.98 0.52 0.52 3,537.32 0.00 -4,864.91 0.17 0.32 6.06
Tightness 0.02 0.64 0.36 0.36 36.37 0.00 -110.03 0.13 0.35 4.58
Tuples 19,740 102,720 48,486.50 47,524.00 4,848,650 MAX VALUE 1,073.46 16,021.50 0.33 4.25
Domain size 231 325 272.88 269.00 6,822 MAX VALUE 140.09 28.60 0.10 3.16
Constraints per subscope 8 8 8.00 8.00 200 3.78e+22 51.99 0.00 0.00 0.00
Partitions per subscope 231 325 272.88 269.00 6,822 MAX VALUE 140.09 28.60 0.10 3.16
Tree decomposition
Number of clusters: 8
Number of leaves: 5
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 20 36 24.50 20.00 196 1.04e+11 25.36 6.06 0.25 0.90
Cluster variables 9 16 11.12 9.00 89 185,178,000 19.04 2.80 0.25 0.90
Separator constraints 0 18 12.00 12.00 96 0 None 5.20 0.43 0.90
Separator variables 0 12 8.00 8.00 64 0 None 3.46 0.43 0.90
Dual tree decomposition
Number of clusters: 23
Number of leaves: 12
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 59 144 76.48 59.00 1,759 MAX VALUE 98.94 21.73 0.28 1.43
Cluster variables 15 48 21.83 15.00 502 1.20e+30 69.26 9.07 0.42 1.35
Separator constraints 0 72 46.04 45.00 1,059 0 None 13.33 0.29 1.43
Separator variables 0 32 17.48 14.00 402 0 None 6.98 0.40 1.23
Primal graph
Density: 33.33%
Dot-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.43 0.43 0.43 10.71 0.00 -21.18 0.00 0.00 0.00
Degree 8 8 8.00 8.00 200 3.78e+22 51.99 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Triangulated primal graph
Density: 70.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.86 0.83 21.43 0.02 -3.94 0.08 0.09 1.34
Degree 8 21 16.80 19.00 420 1.07e+30 69.14 4.82 0.29 1.34
Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 0.00 0.00 0.00
Dual graph
Density: 14.14%
MCB compute time (ms): 106
MCB cycles: 809
Triangles: 1,500
Dot-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.49 0.49 0.49 49.45 0.00 -70.42 0.00 0.00 0.00
Degree 14 14 14.00 14.00 1,400 MAX VALUE 263.91 0.00 0.00 0.00
Eccentricity 3 3 3.00 3.00 300 MAX VALUE 109.86 0.00 0.00 0.00
MCB cycle size 3 5 3.31 3.00 2,681 MAX VALUE 959.91 0.54 0.16 0.70
Minimal dual graph
Density: 3.54%
MCB compute time (ms): 26
MCB cycles: 76
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 5.92 0.15
Degree 2 5 3.50 3.00 350 MAX VALUE 123.26 0.70 0.20 1.05
Eccentricity 6 8 6.70 7.00 670 MAX VALUE 189.88 0.54 0.08 0.79
MCB cycle size 3 9 5.82 6.00 442 MAX VALUE 131.34 1.45 0.25 1.68
Triangulated dual graph
Density: 46.46%
Triangles: 31,132
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.82 0.74 82.05 0.00 -20.64 0.11 0.13 2.02
Degree 14 69 46.00 49.00 4,600 MAX VALUE 369.22 20.84 0.45 2.02
Eccentricity 2 3 2.38 2.00 238 6.23e+36 84.72 0.49 0.20 0.66
Triangulated minimal dual graph
Density: 13.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.75 0.70 75.35 0.00 -31.44 0.19 0.25 3.07
Degree 2 40 12.92 7.00 1,292 MAX VALUE 213.11 11.66 0.90 2.96
Eccentricity 3 5 3.85 4.00 385 MAX VALUE 133.60 0.59 0.15 0.88
Incidence graph
Density: 2.58%
MCB compute time (ms): 25
MCB cycles: 76
Dot-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-105-5_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 8 3.20 2.00 400 MAX VALUE 121.30 2.40 0.75 0.50
Eccentricity 5 6 5.80 6.00 725 MAX VALUE 219.41 0.40 0.07 0.50
MCB cycle size 6 8 6.42 6.00 488 MAX VALUE 140.78 0.82 0.13 0.51