Instance: rand-3-24-24-76-632-fcd-28_ext
Number of variables: 24
Number of constraints: 72
Satisfiable: None
Timestamp: 2017-10-27 10:51:44
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: 71,303
Value tables: 72
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 22.77 9.00 1,623,500 MAX VALUE 164,820.00 51.73 2.27 2.76
Relational linkage 0.04 0.67 0.28 0.29 7,853.77 0.00 -38,084.70 0.10 0.34 2.35
Tightness 0.63 0.86 0.64 0.63 46.42 0.00 -31.80 0.05 0.08 0.29
Tuples 1,877 5,088 4,910.68 5,088.00 353,569 MAX VALUE 610.55 731.12 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 16 4.60 3.00 331 MAX VALUE 91.44 3.75 0.82 1.79
Value table partitions 24 576 392.00 576.00 28,224 MAX VALUE 381.37 260.21 0.66 0.64
Tree decomposition
Number of clusters: 9
Number of leaves: 5
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 28 14.33 12.00 129 4.22e+09 22.16 8.58 0.60 2.04
Cluster variables 8 16 11.33 11.00 102 2.30e+09 21.56 2.91 0.26 1.89
Separator constraints 0 18 6.33 4.00 57 0 None 6.60 1.04 1.58
Separator variables 0 14 8.67 8.00 78 0 None 3.89 0.45 1.89
Dual tree decomposition
Number of clusters: 17
Number of leaves: 5
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 71 409 226.24 241.00 3,846 MAX VALUE 89.98 107.65 0.48 2.83
Cluster variables 15 47 30.82 33.00 524 8.22e+24 57.37 9.68 0.31 2.67
Separator constraints 0 314 172.06 167.00 2,925 0 None 93.33 0.54 2.75
Separator variables 0 41 26.59 28.00 452 0 None 10.59 0.40 2.48
Primal graph
Density: 53.99%
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.82 0.62 0.62 14.91 0.00 -11.61 0.08 0.13 3.12
Degree 7 18 12.42 12.50 298 7.13e+25 59.53 3.33 0.27 2.20
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Triangulated primal graph
Density: 71.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.87 0.86 20.89 0.03 -3.45 0.09 0.10 2.84
Degree 7 22 16.50 18.50 396 4.15e+28 65.90 4.83 0.29 2.34
Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00
Dual graph
Density: 36.03%
MCB compute time (ms): 67
MCB cycles: 934
Triangles: 4,094
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.64 0.53 0.53 37.99 0.00 -46.26 0.04 0.08 4.20
Degree 14 35 25.58 26.00 1,842 MAX VALUE 232.26 4.47 0.17 2.75
Eccentricity 2 3 2.04 2.00 147 1.59e+22 51.12 0.20 0.10 0.17
MCB cycle size 3 4 3.01 3.00 2,814 MAX VALUE 1,029.56 0.11 0.04 0.07
Minimal dual graph
Density: 5.13%
MCB compute time (ms): 14
MCB cycles: 60
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.60 0.00 None 0.04 5.36 0.22
Degree 3 5 3.64 4.00 262 MAX VALUE 92.08 0.58 0.16 0.86
Eccentricity 4 6 5.38 5.00 387 MAX VALUE 120.76 0.51 0.10 0.73
MCB cycle size 3 8 5.85 6.00 351 MAX VALUE 105.03 0.98 0.17 1.33
Triangulated dual graph
Density: 73.28%
Triangles: 29,392
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.88 0.88 63.51 0.00 -9.20 0.06 0.07 3.93
Degree 14 68 52.03 57.50 3,746 MAX VALUE 280.61 14.11 0.27 3.34
Eccentricity 2 3 2.03 2.00 146 1.06e+22 50.72 0.16 0.08 0.13
Triangulated minimal dual graph
Density: 18.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.77 0.74 55.50 0.00 -20.55 0.17 0.22 2.97
Degree 3 32 13.36 8.50 962 MAX VALUE 159.62 10.68 0.80 2.79
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): 29
MCB cycles: 125
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-28_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 16 4.50 3.00 432 MAX VALUE 129.98 3.13 0.70 1.08
Eccentricity 4 6 4.89 5.00 469 MAX VALUE 151.93 0.40 0.08 0.55
MCB cycle size 4 6 4.93 4.00 616 MAX VALUE 196.80 1.00 0.20 0.69