Instance: rand-3-24-24-76-632-fcd-47_ext
Number of variables: 24
Number of constraints: 75
Satisfiable: None
Timestamp: 2017-10-27 10:51:38
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 24
Number of constraints: 75
General features
Coarse blocks: 68,136
Value tables: 75
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 225 6.08e+35 82.40 0.00 0.00 0.00
Coarse blocks size 1 251 24.66 9.00 1,679,950 MAX VALUE 161,259.00 54.75 2.22 2.73
Relational linkage 0.04 0.62 0.30 0.29 8,962.47 0.00 -37,685.40 0.09 0.29 2.27
Tightness 0.63 0.87 0.64 0.63 47.63 0.00 -34.11 0.03 0.04 0.07
Tuples 1,847 5,088 5,044.79 5,088.00 378,359 MAX VALUE 639.09 371.74 0.07 0.07
Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00
Value table constraints 2 16 4.45 2.00 334 MAX VALUE 91.20 3.63 0.82 1.52
Value table partitions 24 576 399.36 576.00 29,952 MAX VALUE 400.44 257.50 0.64 0.63
Tree decomposition
Number of clusters: 8
Number of leaves: 5
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 11 31 18.62 17.00 149 8.12e+09 22.82 7.09 0.38 1.73
Cluster variables 11 17 13.75 13.00 110 1.11e+09 20.82 2.63 0.19 1.08
Separator constraints 0 23 9.25 7.50 74 0 None 7.14 0.77 1.91
Separator variables 0 16 10.75 11.00 86 0 None 4.68 0.44 1.32
Dual tree decomposition
Number of clusters: 17
Number of leaves: 5
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 102 482 245.82 208.00 4,179 MAX VALUE 91.44 122.45 0.50 2.83
Cluster variables 20 53 33.24 30.00 565 2.97e+25 58.65 10.94 0.33 2.59
Separator constraints 0 386 190.47 170.00 3,238 0 None 106.60 0.56 2.83
Separator variables 0 48 28.82 28.00 490 0 None 11.68 0.41 2.67
Primal graph
Density: 60.51%
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.78 0.63 0.63 15.06 0.00 -11.28 0.06 0.09 3.12
Degree 10 20 13.92 14.00 334 1.69e+27 62.69 2.81 0.20 2.07
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 80.43%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.89 0.88 21.45 0.06 -2.75 0.06 0.07 2.24
Degree 10 22 18.50 20.00 444 1.18e+30 69.25 4.15 0.22 1.86
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Dual graph
Density: 33.91%
MCB compute time (ms): 48
MCB cycles: 898
Triangles: 3,754
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.58 0.49 0.48 36.52 0.00 -54.16 0.03 0.07 4.14
Degree 19 34 25.09 25.00 1,882 MAX VALUE 240.94 3.60 0.14 2.56
Eccentricity 2 2 2.00 2.00 150 3.78e+22 51.99 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 2,696 MAX VALUE 987.13 0.05 0.02 0.02
Minimal dual graph
Density: 5.19%
MCB compute time (ms): 13
MCB cycles: 70
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 6 3.84 4.00 288 MAX VALUE 99.70 0.69 0.18 1.03
Eccentricity 4 6 5.17 5.00 388 MAX VALUE 123.04 0.41 0.08 0.55
MCB cycle size 4 8 5.54 6.00 388 MAX VALUE 119.04 0.84 0.15 1.22
Triangulated dual graph
Density: 77.37%
Triangles: 37,753
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.81 1.00 0.90 0.89 67.37 0.00 -8.14 0.05 0.05 3.88
Degree 19 71 57.25 63.00 4,294 MAX VALUE 299.98 14.38 0.25 3.02
Eccentricity 2 2 2.00 2.00 150 3.78e+22 51.99 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 20.07%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.78 0.72 58.82 0.00 -19.92 0.17 0.21 2.93
Degree 3 37 14.85 9.00 1,114 MAX VALUE 171.71 12.08 0.81 2.88
Eccentricity 3 4 3.43 3.00 257 MAX VALUE 91.60 0.49 0.14 0.68
Incidence graph
Density: 4.64%
MCB compute time (ms): 26
MCB cycles: 131
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-47_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 16 4.55 3.00 450 MAX VALUE 135.41 2.96 0.65 1.02
Eccentricity 4 5 4.79 5.00 474 MAX VALUE 154.65 0.41 0.09 0.52
MCB cycle size 4 6 5.11 6.00 670 MAX VALUE 211.20 0.99 0.19 0.69