Instance: rand-26-26-325-155-57021-ext
Number of variables: 26
Number of constraints: 325
Satisfiable: None
Timestamp: 2017-10-27 10:50:13
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 26
Number of constraints: 325
General features
Coarse blocks: 16,900
Value tables: 26
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00
Coarse blocks size 11 26 20.04 20.00 338,650 MAX VALUE 50,562.80 2.12 0.11 2.16
Relational linkage 0.42 0.69 0.60 0.62 408.27 0.00 -343.17 0.05 0.08 1.61
Tightness 0.23 0.23 0.23 0.23 74.52 0.00 -478.65 0.00 0.00 0.00
Tuples 521 521 521.00 521.00 169,325 MAX VALUE 2,033.12 0.00 0.00 0.00
Values 26 26 26.00 26.00 676 6.16e+36 84.71 0.00 0.00 0.00
Value table constraints 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00
Value table partitions 26 26 26.00 26.00 676 6.16e+36 84.71 0.00 0.00 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 325 325 325.00 325.00 325 325 5.78 0.00 0.00 0.00
Cluster variables 26 26 26.00 26.00 26 26 3.26 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 24
Number of leaves: 13
Tree depth: 4
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 624 3,648 1,185.00 624.00 28,440 MAX VALUE 165.53 811.46 0.68 1.28
Cluster variables 49 224 85.21 49.00 2,045 MAX VALUE 103.35 49.73 0.58 1.28
Separator constraints 0 1,920 860.00 576.00 20,640 0 None 455.77 0.53 1.28
Separator variables 0 160 71.67 48.00 1,720 0 None 37.98 0.53 1.28
Primal graph
Density: 100.00%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 26.00 1.00 0.00 0.00 0.00 0.00
Degree 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 26 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 26.00 1.00 0.00 0.00 0.00 0.00
Degree 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 26 1 0.00 0.00 0.00 0.00
Dual graph
Density: 14.81%
MCB compute time (ms): 62,987
MCB cycles: 7,648
Triangles: 62,400
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.51 0.51 0.51 165.96 0.00 -218.43 0.00 0.00 0.00
Degree 48 48 48.00 48.00 15,600 MAX VALUE 1,258.14 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00
MCB cycle size 3 4 3.00 3.00 22,950 MAX VALUE 8,403.91 0.03 0.01 0.01
Minimal dual graph
Density: 1.19%
MCB compute time (ms): 896
MCB cycles: 300
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.63 0.00 None 0.01 7.58 0.11
Degree 2 6 3.84 4.00 1,248 MAX VALUE 430.14 0.80 0.21 1.16
Eccentricity 6 9 7.30 7.00 2,373 MAX VALUE 645.18 0.57 0.08 0.81
MCB cycle size 3 9 6.82 7.00 2,046 MAX VALUE 571.99 1.05 0.15 1.45
Triangulated dual graph
Density: 71.60%
Triangles: 2,735,100
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.84 1.00 0.89 0.87 288.41 0.00 -39.29 0.05 0.06 2.07
Degree 48 281 232.00 265.00 75,400 MAX VALUE 1,746.44 68.62 0.30 2.07
Eccentricity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 11.45%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.83 0.79 269.61 0.00 -64.74 0.13 0.16 3.74
Degree 2 115 37.11 9.00 12,060 MAX VALUE 864.93 44.30 1.19 3.28
Eccentricity 3 5 3.74 4.00 1,215 MAX VALUE 425.51 0.50 0.13 0.72
Incidence graph
Density: 1.06%
MCB compute time (ms): 146
MCB cycles: 300
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-26/rand-26-26-325-155-57021_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 2 25 3.70 2.00 1,300 MAX VALUE 308.96 6.02 1.63 0.26
Eccentricity 3 4 3.93 4.00 1,378 MAX VALUE 479.11 0.26 0.07 0.26
MCB cycle size 6 6 6.00 6.00 1,800 MAX VALUE 537.53 0.00 0.00 0.00