Instance: rand-3-24-24-76-632-fcd-31-ext
Number of variables: 24
Number of constraints: 72
Satisfiable: None
Timestamp: 2017-10-27 10:51:42
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: 79,975
Value tables: 82
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 249 21.33 9.00 1,705,720 MAX VALUE 184,516.00 49.01 2.30 2.70
Relational linkage 0.04 0.62 0.29 0.29 9,901.82 0.00 -43,887.80 0.09 0.31 2.29
Tightness 0.63 0.87 0.64 0.63 46.43 0.00 -31.79 0.05 0.08 0.29
Tuples 1,862 5,088 4,909.12 5,088.00 353,457 MAX VALUE 610.49 737.52 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.22 2.00 346 MAX VALUE 97.24 3.41 0.81 1.64
Value table partitions 24 576 414.44 576.00 33,984 MAX VALUE 444.93 251.16 0.61 0.60
Tree decomposition
Number of clusters: 10
Number of leaves: 5
Tree depth: 2
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 22 12.20 11.00 122 3.00e+10 24.13 5.19 0.43 2.03
Cluster variables 8 15 11.50 10.50 115 3.26e+10 24.21 2.38 0.21 1.64
Separator constraints 0 14 5.00 3.50 50 0 None 4.31 0.86 2.16
Separator variables 0 13 9.10 9.00 91 0 None 3.67 0.40 1.64
Dual tree decomposition
Number of clusters: 17
Number of leaves: 5
Tree depth: 5
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 77 383 191.88 181.00 3,262 1.58e+38 87.96 79.24 0.41 2.83
Cluster variables 17 48 28.88 28.00 491 3.55e+24 56.53 8.18 0.28 2.48
Separator constraints 0 246 141.41 157.00 2,404 0 None 58.98 0.42 2.75
Separator variables 0 38 24.65 27.00 419 0 None 8.49 0.34 2.39
Primal graph
Density: 52.17%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.76 0.56 0.54 13.47 0.00 -14.11 0.08 0.15 3.00
Degree 7 17 12.00 12.00 288 3.89e+25 58.92 2.86 0.24 2.32
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 71.01%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.86 0.85 20.70 0.02 -3.72 0.10 0.12 2.71
Degree 7 22 16.33 18.50 392 3.37e+28 65.69 4.89 0.30 2.36
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Dual graph
Density: 33.57%
MCB compute time (ms): 57
MCB cycles: 923
Triangles: 3,315
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.62 0.50 0.50 36.14 0.00 -49.80 0.04 0.07 4.17
Degree 16 32 23.83 24.00 1,716 MAX VALUE 227.73 3.02 0.13 2.45
Eccentricity 2 3 2.03 2.00 146 1.06e+22 50.72 0.16 0.08 0.13
MCB cycle size 3 4 3.02 3.00 2,791 MAX VALUE 1,020.35 0.15 0.05 0.11
Minimal dual graph
Density: 4.81%
MCB compute time (ms): 10
MCB cycles: 52
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 1.00 0.00 None 0.07 4.80 0.17
Degree 2 5 3.42 3.00 246 1.05e+38 87.55 0.55 0.16 0.81
Eccentricity 5 6 5.60 6.00 403 MAX VALUE 123.72 0.49 0.09 0.67
MCB cycle size 3 8 6.29 6.00 327 MAX VALUE 94.90 0.95 0.15 1.25
Triangulated dual graph
Density: 72.26%
Triangles: 28,397
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.78 1.00 0.88 0.85 63.13 0.00 -9.65 0.06 0.07 3.93
Degree 16 66 51.31 58.00 3,694 MAX VALUE 279.56 14.33 0.28 3.02
Eccentricity 2 2 2.00 2.00 144 4.72e+21 49.91 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 17.37%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.78 0.71 55.99 0.00 -20.09 0.18 0.23 2.81
Degree 2 30 12.33 7.00 888 MAX VALUE 151.31 10.52 0.85 2.57
Eccentricity 2 4 3.42 3.00 246 1.12e+38 87.61 0.52 0.15 0.75
Incidence graph
Density: 4.74%
MCB compute time (ms): 27
MCB cycles: 122
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_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 130.69 2.91 0.65 1.11
Eccentricity 4 6 4.95 5.00 475 MAX VALUE 153.31 0.30 0.06 0.36
MCB cycle size 4 6 4.82 4.00 588 MAX VALUE 189.40 0.98 0.20 0.68