Instance: rand-3-20-20-60-632-fcd-41_ext
Number of variables: 20
Number of constraints: 60
Satisfiable: None
Timestamp: 2017-10-27 10:51:25
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 20
Number of constraints: 60
General features
Coarse blocks: 44,794
Value tables: 65
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 3 3.00 3.00 180 4.24e+28 65.92 0.00 0.00 0.00
Coarse blocks size 1 180 18.60 8.00 833,152 MAX VALUE 98,213.40 38.17 2.05 2.58
Relational linkage 0.05 0.65 0.30 0.30 5,535.27 0.00 -22,926.50 0.08 0.28 2.08
Tightness 0.63 0.63 0.63 0.63 37.92 0.00 -27.53 0.00 0.00 0.00
Tuples 2,944 2,944 2,944.00 2,944.00 176,640 MAX VALUE 479.25 0.00 0.00 0.00
Values 20 20 20.00 20.00 400 1.05e+26 59.91 0.00 0.00 0.00
Value table constraints 2 13 4.35 2.00 283 1.91e+34 78.93 3.52 0.81 1.69
Value table partitions 20 400 283.08 400.00 18,400 MAX VALUE 329.53 175.38 0.62 0.62
Tree decomposition
Number of clusters: 7
Number of leaves: 3
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 25 15.14 17.00 106 53,407,200 17.79 7.08 0.47 1.75
Cluster variables 6 14 11.43 13.00 80 20,300,300 16.83 2.56 0.22 1.48
Separator constraints 0 16 6.57 5.00 46 0 None 6.00 0.91 1.75
Separator variables 0 12 8.57 10.00 60 0 None 4.20 0.49 1.48
Dual tree decomposition
Number of clusters: 14
Number of leaves: 4
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 57 403 223.57 217.00 3,130 2.16e+32 74.46 85.67 0.38 2.64
Cluster variables 15 44 29.79 30.00 417 2.57e+20 47.00 7.75 0.26 2.54
Separator constraints 0 277 171.36 169.50 2,399 0 None 80.70 0.47 2.64
Separator variables 0 37 25.50 26.50 357 0 None 9.59 0.38 2.64
Primal graph
Density: 64.21%
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 0.80 0.67 0.67 13.47 0.00 -7.97 0.05 0.08 2.86
Degree 5 17 12.20 12.00 244 2.95e+21 49.44 2.66 0.22 2.06
Eccentricity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00
Triangulated primal graph
Density: 79.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.89 0.89 17.88 0.10 -2.30 0.07 0.08 2.60
Degree 5 19 15.10 16.00 302 1.75e+23 53.52 3.48 0.23 2.13
Eccentricity 1 2 1.95 2.00 39 524,288 13.17 0.22 0.11 0.20
Dual graph
Density: 41.30%
MCB compute time (ms): 28
MCB cycles: 682
Triangles: 3,077
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.62 0.53 0.52 31.91 0.00 -38.00 0.03 0.06 4.00
Degree 14 32 24.37 24.00 1,462 MAX VALUE 190.96 3.47 0.14 2.49
Eccentricity 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 2,046 MAX VALUE 749.25 0.00 0.00 0.00
Minimal dual graph
Density: 5.93%
MCB compute time (ms): 6
MCB cycles: 46
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.04 4.36 0.20
Degree 3 6 3.50 3.00 210 1.88e+32 74.31 0.62 0.18 0.83
Eccentricity 5 6 5.33 5.00 320 MAX VALUE 100.21 0.47 0.09 0.64
MCB cycle size 3 8 5.91 6.00 272 1.04e+35 80.63 1.25 0.21 1.61
Triangulated dual graph
Density: 79.38%
Triangles: 19,972
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.90 0.88 54.01 0.00 -6.41 0.05 0.06 3.66
Degree 14 57 46.83 51.50 2,810 MAX VALUE 228.50 10.82 0.23 2.87
Eccentricity 2 2 2.00 2.00 120 1.15e+18 41.59 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 20.34%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.77 0.73 46.42 0.00 -16.96 0.18 0.23 2.86
Degree 3 29 12.00 7.50 720 MAX VALUE 127.75 9.54 0.80 2.56
Eccentricity 2 3 2.73 3.00 164 6.45e+25 59.43 0.44 0.16 0.58
Incidence graph
Density: 5.70%
MCB compute time (ms): 13
MCB cycles: 102
Dot-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_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 360 MAX VALUE 108.62 2.97 0.66 1.03
Eccentricity 4 5 4.54 5.00 363 MAX VALUE 120.50 0.50 0.11 0.69
MCB cycle size 4 6 4.86 4.00 496 MAX VALUE 159.24 0.99 0.20 0.68