Instance: rand-3-20-20-60-632-fcd-42_ext
Number of variables: 20
Number of constraints: 59
Satisfiable: None
Timestamp: 2017-10-27 10:51:28
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 20
Number of constraints: 59
General features
Coarse blocks: 45,097
Value tables: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 177 1.41e+28 64.82 0.00 0.00 0.00
Coarse blocks size 1 179 18.14 8.00 817,879 MAX VALUE 97,711.00 37.51 2.07 2.62
Relational linkage 0.05 0.65 0.29 0.30 5,218.69 0.00 -23,295.30 0.09 0.31 2.15
Tightness 0.63 0.87 0.64 0.63 37.52 0.00 -26.76 0.03 0.05 0.09
Tuples 1,067 2,944 2,912.19 2,944.00 171,819 MAX VALUE 470.25 242.28 0.08 0.09
Values 20 20 20.00 20.00 400 1.05e+26 59.91 0.00 0.00 0.00
Value table constraints 2 15 4.39 3.00 281 3.01e+34 79.39 3.41 0.78 1.77
Value table partitions 20 400 281.25 400.00 18,000 MAX VALUE 323.54 176.13 0.63 0.62
Tree decomposition
Number of clusters: 7
Number of leaves: 4
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8 21 15.14 18.00 106 113,164,000 18.54 5.22 0.34 1.55
Cluster variables 9 14 11.43 12.00 80 22,861,400 16.95 1.99 0.17 1.35
Separator constraints 0 15 6.71 4.00 47 0 None 5.15 0.77 1.55
Separator variables 0 13 8.57 9.00 60 0 None 3.89 0.45 1.55
Dual tree decomposition
Number of clusters: 14
Number of leaves: 4
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 107 287 192.14 204.00 2,690 4.45e+31 72.87 58.79 0.31 2.64
Cluster variables 19 36 28.21 30.50 395 1.40e+20 46.38 6.19 0.22 2.21
Separator constraints 0 227 142.71 153.50 1,998 0 None 59.11 0.41 2.64
Separator variables 0 33 24.00 27.00 336 0 None 8.46 0.35 2.24
Primal graph
Density: 61.58%
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 0.75 0.65 0.65 13.03 0.00 -8.63 0.05 0.08 2.69
Degree 8 19 11.70 12.00 234 1.51e+21 48.76 2.45 0.21 1.86
Eccentricity 1 2 1.95 2.00 39 524,288 13.17 0.22 0.11 0.20
Triangulated primal graph
Density: 79.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.89 0.88 17.75 0.09 -2.46 0.07 0.08 2.42
Degree 8 19 15.10 16.50 302 1.96e+23 53.63 3.46 0.23 2.06
Eccentricity 1 2 1.90 2.00 38 262,144 12.48 0.30 0.16 0.33
Dual graph
Density: 40.44%
MCB compute time (ms): 40
MCB cycles: 636
Triangles: 2,846
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 0.61 0.54 0.53 31.73 0.00 -36.73 0.04 0.07 4.01
Degree 17 33 23.46 23.00 1,384 MAX VALUE 185.52 3.46 0.15 2.53
Eccentricity 2 3 2.03 2.00 120 1.30e+18 41.71 0.18 0.09 0.15
MCB cycle size 3 3 3.00 3.00 1,908 MAX VALUE 698.72 0.00 0.00 0.00
Minimal dual graph
Density: 6.14%
MCB compute time (ms): 6
MCB cycles: 47
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.03 0.00 2.03 0.00 None 0.09 2.61 0.59
Degree 2 5 3.56 4.00 210 1.14e+32 73.82 0.67 0.19 1.02
Eccentricity 5 6 5.44 5.00 321 MAX VALUE 99.70 0.50 0.09 0.69
MCB cycle size 3 8 5.51 6.00 259 1.87e+34 78.92 1.24 0.22 1.61
Triangulated dual graph
Density: 74.69%
Triangles: 16,229
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.88 0.89 51.83 0.00 -7.83 0.07 0.08 3.42
Degree 18 56 43.32 44.00 2,556 MAX VALUE 220.17 10.46 0.24 3.03
Eccentricity 2 2 2.00 2.00 118 5.76e+17 40.90 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 19.52%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.77 0.72 45.41 0.00 -17.19 0.19 0.24 2.88
Degree 2 29 11.32 7.00 668 MAX VALUE 121.87 9.02 0.80 2.73
Eccentricity 2 4 3.03 3.00 179 1.24e+28 64.69 0.49 0.16 0.71
Incidence graph
Density: 5.74%
MCB compute time (ms): 13
MCB cycles: 99
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-42_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 3 15 4.48 3.00 354 MAX VALUE 107.46 2.89 0.65 1.08
Eccentricity 3 6 4.67 5.00 369 MAX VALUE 121.20 0.54 0.12 0.80
MCB cycle size 4 6 4.79 4.00 474 MAX VALUE 153.06 0.98 0.20 0.67