Instance: normalized-blast-floppy1-2_ext
Number of variables: 152
Number of constraints: 51
Satisfiable: None
Timestamp: 2018-04-21 10:45:30
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 152
Number of constraints: 51
General features
Coarse blocks: 666,262
Value tables: 68
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 19 9.47 3.00 483 MAX VALUE 95.71 7.52 0.79 1.18
Coarse blocks size 1 33,658 3.80 1.00 2,532,140 MAX VALUE 38,604.80 185.43 48.79 0.13
Relational linkage 0.00 1.00 0.51 0.50 35,273.20 0.00 -48,002.80 0.10 0.19 0.35
Tightness 0.00 0.51 0.24 0.25 12.34 0.00 None 0.24 0.99 1.39
Tuples 1 65,536 13,546.90 3.00 690,893 MAX VALUE 224.35 18,591.60 1.37 1.39
Values 1 2 1.62 2.00 246 1.98e+28 65.16 0.49 0.30 0.66
Value table constraints 2 11 2.29 2.00 156 5.84e+22 52.42 1.24 0.54 0.41
Value table partitions 1 65,536 8,705.00 1.00 591,940 MAX VALUE 148.33 22,196.40 2.55 0.93
Tree decomposition
Number of clusters: 41
Number of leaves: 14
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 2 1.24 1.00 51 0 None 0.79 0.63 1.05
Cluster variables 3 32 10.24 6.00 420 4.48e+35 82.09 8.74 0.85 2.46
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 23 6.54 4.00 268 0 None 6.16 0.94 2.44
Dual tree decomposition
Number of clusters: 32
Number of leaves: 13
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 55 5.91 3.00 189 3.26e+17 40.33 9.52 1.61 1.99
Cluster variables 2 12 4.41 4.00 141 2.52e+19 44.67 2.03 0.46 1.77
Separator constraints 0 10 1.59 1.00 51 0 None 2.45 1.54 1.27
Separator variables 0 6 2.81 3.00 90 0 None 1.45 0.51 1.73
Primal graph
Density: 14.40%
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.76 0.86 115.16 0.00 -53.31 0.25 0.33 2.02
Degree 2 73 21.74 19.00 3,304 MAX VALUE 419.42 16.76 0.77 2.25
Eccentricity 6 10 8.07 8.00 1,227 MAX VALUE 316.09 1.08 0.13 1.42
Triangulated primal graph
Density: 17.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.84 0.95 127.98 0.00 -31.61 0.20 0.23 2.61
Degree 2 87 26.12 21.50 3,970 MAX VALUE 446.98 20.13 0.77 2.75
Eccentricity 5 9 6.65 6.00 1,011 MAX VALUE 286.07 1.11 0.17 1.24
Dual graph
Density: 10.82%
MCB compute time (ms): 2
MCB cycles: 88
Triangles: 218
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.44 0.33 22.38 0.00 None 0.34 0.77 2.11
Degree 2 15 5.41 3.00 276 1.22e+32 73.88 4.08 0.75 1.67
Eccentricity 5 10 7.51 7.00 383 MAX VALUE 102.20 1.18 0.16 1.56
MCB cycle size 3 8 3.38 3.00 297 MAX VALUE 103.91 1.12 0.33 0.52
Minimal dual graph
Density: 5.73%
MCB compute time (ms): 1
MCB cycles: 23
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.32 0.33 16.33 0.00 None 0.31 0.96 1.10
Degree 2 4 2.86 3.00 146 8.85e+22 52.84 0.49 0.17 0.71
Eccentricity 7 11 8.67 9.00 442 MAX VALUE 109.81 0.98 0.11 1.36
MCB cycle size 3 13 5.00 3.00 115 9.83e+14 34.52 2.52 0.50 1.39
Triangulated dual graph
Density: 14.98%
Triangles: 409
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.72 0.71 36.74 0.00 -19.86 0.23 0.33 2.58
Degree 2 19 7.49 6.00 382 2.07e+38 88.22 5.42 0.72 2.42
Eccentricity 5 9 6.31 6.00 322 MAX VALUE 93.17 1.16 0.18 1.42
Triangulated minimal dual graph
Density: 9.57%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.68 0.67 34.88 0.00 -23.90 0.27 0.39 2.29
Degree 2 12 4.78 4.00 244 1.75e+31 71.94 2.85 0.60 2.00
Eccentricity 4 8 6.16 6.00 314 MAX VALUE 92.12 0.92 0.15 1.32
Incidence graph
Density: 2.36%
MCB compute time (ms): 36
MCB cycles: 298
Dot-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-uclidExtConvert/normalized-blast-floppy1-2_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.59
Degree 1 19 4.76 3.00 966 MAX VALUE 247.97 5.05 1.06 1.56
Eccentricity 11 21 16.15 16.00 3,278 MAX VALUE 562.71 2.28 0.14 2.06
MCB cycle size 4 16 4.49 4.00 1,338 MAX VALUE 436.56 1.68 0.37 0.52