Instance: rand-3-24-24-76-632-fcd-45-ext
Number of variables: 24
Number of constraints: 75
Satisfiable: None
Timestamp: 2017-10-27 10:51:43
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: 71,598
Value tables: 79
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 253 23.89 9.00 1,710,680 MAX VALUE 168,657.00 53.53 2.24 2.72
Relational linkage 0.04 0.62 0.30 0.29 9,709.12 0.00 -40,365.00 0.09 0.29 2.26
Tightness 0.63 0.86 0.64 0.63 47.63 0.00 -34.11 0.03 0.04 0.07
Tuples 1,882 5,088 5,045.25 5,088.00 378,394 MAX VALUE 639.10 367.72 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 15 4.30 2.00 340 MAX VALUE 92.94 3.63 0.84 1.45
Value table partitions 24 576 408.30 576.00 32,256 MAX VALUE 425.86 253.86 0.62 0.61
Tree decomposition
Number of clusters: 8
Number of leaves: 4
Tree depth: 3
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 33 17.25 15.00 138 2.57e+09 21.67 8.76 0.51 1.91
Cluster variables 8 17 12.88 12.50 103 608,214,000 20.23 2.89 0.22 1.67
Separator constraints 0 19 7.88 4.50 63 0 None 6.81 0.86 2.08
Separator variables 0 15 9.88 10.00 79 0 None 4.46 0.45 1.67
Dual tree decomposition
Number of clusters: 17
Number of leaves: 4
Tree depth: 5
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 72 544 234.24 202.00 3,982 MAX VALUE 90.64 117.21 0.50 2.83
Cluster variables 17 56 32.47 31.00 552 2.08e+25 58.30 10.30 0.32 2.83
Separator constraints 0 325 178.24 168.00 3,030 0 None 91.82 0.52 2.83
Separator variables 0 43 28.06 29.00 477 0 None 10.76 0.38 2.83
Primal graph
Density: 59.78%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 0.76 0.64 0.64 15.47 0.00 -10.64 0.06 0.09 3.12
Degree 7 21 13.75 13.50 330 1.11e+27 62.27 3.09 0.22 2.22
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 77.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.89 0.91 21.32 0.05 -2.93 0.07 0.08 2.64
Degree 7 23 17.92 19.00 430 4.59e+29 68.30 4.38 0.24 2.09
Eccentricity 1 2 1.96 2.00 47 8,388,610 15.94 0.20 0.10 0.17
Dual graph
Density: 34.31%
MCB compute time (ms): 46
MCB cycles: 891
Triangles: 3,867
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 0.57 0.49 0.49 36.62 0.00 -53.89 0.03 0.06 4.16
Degree 16 34 25.39 26.00 1,904 MAX VALUE 241.65 3.91 0.15 2.67
Eccentricity 2 3 2.05 2.00 154 1.91e+23 53.61 0.22 0.11 0.21
MCB cycle size 3 4 3.00 3.00 2,674 MAX VALUE 979.15 0.03 0.01 0.01
Minimal dual graph
Density: 5.12%
MCB compute time (ms): 11
MCB cycles: 69
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.79 4.00 284 MAX VALUE 98.81 0.64 0.17 0.94
Eccentricity 5 6 5.16 5.00 387 MAX VALUE 122.90 0.37 0.07 0.44
MCB cycle size 4 7 5.70 6.00 393 MAX VALUE 118.97 0.97 0.17 1.32
Triangulated dual graph
Density: 77.44%
Triangles: 37,997
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.90 0.89 67.53 0.00 -7.98 0.05 0.06 4.06
Degree 16 70 57.31 63.00 4,298 MAX VALUE 299.87 14.69 0.26 2.88
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.86%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.79 0.72 59.24 0.00 -19.23 0.16 0.20 3.06
Degree 3 39 15.44 9.00 1,158 MAX VALUE 174.29 12.57 0.81 2.86
Eccentricity 2 3 2.71 3.00 203 8.13e+31 73.48 0.46 0.17 0.61
Incidence graph
Density: 4.64%
MCB compute time (ms): 29
MCB cycles: 127
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_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.55 3.00 450 MAX VALUE 135.18 3.00 0.66 1.05
Eccentricity 4 6 4.84 5.00 479 MAX VALUE 155.60 0.47 0.10 0.66
MCB cycle size 4 6 5.06 6.00 642 MAX VALUE 203.23 1.00 0.20 0.69