Instance: 1-insertions-5-6_ext
Number of variables: 202
Number of constraints: 1227
Satisfiable: None
Timestamp: 2017-10-27 10:46:05
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 202
Number of constraints: 1227
General features
Number of coarse blocks: 14,724
Number of unique subscopes: 202
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2,454 MAX VALUE 850.49 0.00 0.00 0.00
Coarse blocks size 5 5 5.00 5.00 73,620 MAX VALUE 23,697.40 0.00 0.00 0.00
Relational linkage 0.83 0.83 0.83 0.83 1,010.00 0.00 -220.97 0.00 0.00 0.00
Tightness 0.17 0.17 0.17 0.17 204.50 0.00 -2,198.49 0.00 0.00 0.00
Tuples 30 30 30.00 30.00 36,810 MAX VALUE 4,173.27 0.00 0.00 0.00
Domain size 6 6 6.00 6.00 1,212 MAX VALUE 361.94 0.00 0.00 0.00
Constraints per subscope 5 67 12.15 10.00 2,454 MAX VALUE 484.94 6.66 0.55 2.08
Partitions per subscope 6 6 6.00 6.00 1,212 MAX VALUE 361.94 0.00 0.00 0.00
Tree decomposition
Number of clusters: 124
Number of leaves: 98
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 144 21.40 9.00 2,654 0 None 29.65 1.39 2.70
Cluster variables 6 61 15.50 10.00 1,922 MAX VALUE 312.32 12.71 0.82 2.63
Separator constraints 0 108 11.51 0.00 1,427 0 None 25.70 2.23 1.04
Separator variables 0 55 13.87 9.00 1,720 0 None 11.68 0.84 2.68
Dual tree decomposition
Number of clusters: 200
Number of leaves: 86
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 64 4,482 398.58 172.00 79,716 MAX VALUE 1,083.57 630.47 1.58 4.35
Cluster variables 16 542 58.34 30.50 11,667 MAX VALUE 731.71 76.49 1.31 3.93
Separator constraints 0 2,490 307.80 148.00 61,560 0 None 427.02 1.39 4.34
Separator variables 0 400 52.20 29.00 10,440 0 None 61.08 1.17 3.92
Primal graph
Density: 6.04%
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Primal1.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 5 67 12.15 10.00 2,454 MAX VALUE 484.94 6.66 0.55 2.08
Eccentricity 3 3 3.00 3.00 606 MAX VALUE 221.92 0.00 0.00 0.00
Triangulated primal graph
Density: 21.79%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.28 1.00 0.86 0.89 172.90 0.00 -35.59 0.16 0.19 3.00
Degree 5 169 43.79 26.00 8,846 MAX VALUE 652.77 38.57 0.88 3.68
Eccentricity 2 3 2.48 2.00 501 MAX VALUE 179.35 0.50 0.20 0.69
Dual graph
Density: 2.41%
MCB compute time (ms): 456,170
MCB cycles: 23,277
Triangles: 136,238
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.89 0.56 0.51 682.23 0.00 -737.93 0.10 0.18 2.96
Degree 15 88 29.59 26.00 36,312 MAX VALUE 4,064.62 13.37 0.45 2.84
Eccentricity 4 4 4.00 4.00 4,908 MAX VALUE 1,700.98 0.00 0.00 0.00
MCB cycle size 3 7 3.42 3.00 79,653 MAX VALUE 28,209.50 0.73 0.21 0.84
Minimal dual graph
Density: 0.30%
MCB compute time (ms): 58,045
MCB cycles: 1,026
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 7 3.67 4.00 4,504 MAX VALUE 1,567.70 0.82 0.22 1.10
Eccentricity 8 13 10.42 10.00 12,787 MAX VALUE 2,872.40 0.79 0.08 1.18
MCB cycle size 4 12 7.08 7.00 7,269 MAX VALUE 1,985.50 1.52 0.21 1.76
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 6.38%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.83 0.81 1,023.98 0.00 -239.06 0.14 0.16 4.12
Degree 2 329 78.26 8.00 96,028 MAX VALUE 3,458.81 119.61 1.53 3.65
Eccentricity 3 5 3.86 4.00 4,742 MAX VALUE 1,646.32 0.54 0.14 0.80
Incidence graph
Density: 0.24%
MCB compute time (ms): 32,026
MCB cycles: 1,026
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-5-6_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 67 3.43 2.00 4,908 MAX VALUE 1,335.43 4.33 1.26 0.70
Eccentricity 7 8 7.86 8.00 11,230 MAX VALUE 2,944.55 0.35 0.04 0.41
MCB cycle size 8 14 8.01 8.00 8,214 MAX VALUE 2,134.07 0.19 0.02 0.01