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

Instance comments



Component #1 Number of variables: 24
Number of constraints: 72
General features
Coarse blocks: 70,222
Value tables: 75
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 216 2.25e+34 79.10 0.00 0.00 0.00
Coarse blocks size 1 255 23.15 9.00 1,625,510 MAX VALUE 164,832.00 52.03 2.25 2.72
Relational linkage 0.04 0.62 0.30 0.29 8,876.61 0.00 -37,990.90 0.09 0.29 2.27
Tightness 0.63 0.87 0.64 0.63 46.43 0.00 -31.79 0.05 0.08 0.29
Tuples 1,843 5,088 4,908.60 5,088.00 353,419 MAX VALUE 610.47 739.70 0.15 0.29
Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00
Value table constraints 2 13 4.39 2.00 329 MAX VALUE 91.96 3.36 0.77 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: 4
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 9 26 17.75 18.50 142 6.88e+09 22.65 4.99 0.28 1.73
Cluster variables 10 17 14.00 14.00 112 1.27e+09 20.96 2.65 0.19 1.49
Separator constraints 0 17 8.75 8.50 70 0 None 5.14 0.59 1.91
Separator variables 0 16 11.00 12.00 88 0 None 4.80 0.44 1.73
Dual tree decomposition
Number of clusters: 18
Number of leaves: 4
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 88 395 188.11 159.50 3,386 MAX VALUE 92.72 80.89 0.43 2.89
Cluster variables 18 49 29.83 27.50 537 1.73e+26 60.42 8.47 0.28 2.66
Separator constraints 0 269 141.72 127.00 2,551 0 None 64.28 0.45 2.89
Separator variables 0 40 25.83 25.00 465 0 None 9.13 0.35 2.74
Primal graph
Density: 55.80%
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.67 0.57 0.56 13.66 0.00 -13.56 0.03 0.06 2.85
Degree 9 17 12.83 13.00 308 2.81e+26 60.90 2.19 0.17 1.97
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 81.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.79 1.00 0.90 0.89 21.54 0.07 -2.66 0.06 0.07 2.83
Degree 9 23 18.67 20.00 448 1.55e+30 69.51 4.04 0.22 2.14
Eccentricity 1 2 1.96 2.00 47 8,388,610 15.94 0.20 0.10 0.17
Dual graph
Density: 32.67%
MCB compute time (ms): 42
MCB cycles: 839
Triangles: 3,018
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 0.61 0.48 0.49 34.87 0.00 -52.41 0.04 0.08 4.09
Degree 17 28 23.19 23.00 1,670 MAX VALUE 225.86 2.71 0.12 2.31
Eccentricity 2 3 2.06 2.00 148 2.39e+22 51.53 0.23 0.11 0.21
MCB cycle size 3 4 3.02 3.00 2,532 MAX VALUE 926.05 0.13 0.04 0.09
Minimal dual graph
Density: 5.20%
MCB compute time (ms): 10
MCB cycles: 62
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.01 0.00 0.50 0.00 None 0.03 4.80 0.17
Degree 3 5 3.69 4.00 266 MAX VALUE 93.23 0.57 0.15 0.84
Eccentricity 5 6 5.17 5.00 372 MAX VALUE 118.07 0.37 0.07 0.45
MCB cycle size 3 7 5.74 6.00 356 MAX VALUE 107.15 1.08 0.19 1.40
Triangulated dual graph
Density: 72.93%
Triangles: 28,994
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.88 0.87 63.34 0.00 -9.40 0.06 0.07 3.92
Degree 17 68 51.78 58.00 3,728 MAX VALUE 280.42 14.14 0.27 3.07
Eccentricity 2 2 2.00 2.00 144 4.72e+21 49.91 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 19.91%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.78 0.72 56.48 0.00 -19.13 0.17 0.22 2.85
Degree 3 33 14.14 9.00 1,018 MAX VALUE 161.60 11.58 0.82 2.72
Eccentricity 2 4 2.97 3.00 214 3.47e+33 77.23 0.53 0.18 0.78
Incidence graph
Density: 4.74%
MCB compute time (ms): 26
MCB cycles: 122
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-24_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 13 4.50 3.00 432 MAX VALUE 131.25 2.77 0.62 0.99
Eccentricity 4 6 4.93 5.00 473 MAX VALUE 152.78 0.39 0.08 0.52
MCB cycle size 4 6 4.98 4.00 608 MAX VALUE 193.46 1.00 0.20 0.69