Instance: 1-insertions-4-4_ext
Number of variables: 67
Number of constraints: 232
Satisfiable: None
Timestamp: 2017-10-27 10:46:09
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 67
Number of constraints: 232
General features
Number of coarse blocks: 1,856
Number of unique subscopes: 67
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 464 MAX VALUE 160.81 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 5,568 MAX VALUE 2,039.02 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 201.00 0.00 -77.10 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 58.00 0.00 -321.62 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 2,784 MAX VALUE 576.50 0.00 0.00 0.00
Domain size 4 4 4.00 4.00 268 MAX VALUE 92.88 0.00 0.00 0.00
Constraints per subscope 4 22 6.93 6.00 464 MAX VALUE 125.99 2.69 0.39 1.42
Partitions per subscope 4 4 4.00 4.00 268 MAX VALUE 92.88 0.00 0.00 0.00
Tree decomposition
Number of clusters: 44
Number of leaves: 32
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 28 8.18 5.50 360 0 None 5.85 0.71 2.12
Cluster variables 5 22 9.20 7.00 405 MAX VALUE 92.47 4.89 0.53 2.03
Separator constraints 0 16 2.91 0.00 128 0 None 5.54 1.90 0.96
Separator variables 0 18 7.68 5.50 338 0 None 4.54 0.59 2.02
Dual tree decomposition
Number of clusters: 65
Number of leaves: 29
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 25 328 75.25 46.00 4,891 MAX VALUE 264.09 68.65 0.91 3.22
Cluster variables 10 94 23.80 15.00 1,547 MAX VALUE 192.77 18.20 0.76 3.07
Separator constraints 0 241 50.37 31.00 3,274 0 None 42.79 0.85 3.29
Separator variables 0 67 20.23 14.00 1,315 0 None 13.89 0.69 3.05
Primal graph
Density: 10.49%
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_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 4 22 6.93 6.00 464 MAX VALUE 125.99 2.69 0.39 1.42
Eccentricity 3 3 3.00 3.00 201 9.27e+31 73.61 0.00 0.00 0.00
Triangulated primal graph
Density: 27.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.31 1.00 0.83 0.86 55.33 0.00 -14.80 0.19 0.22 2.51
Degree 4 56 18.06 18.00 1,210 MAX VALUE 170.53 13.43 0.74 2.78
Eccentricity 2 3 2.46 2.00 165 4.24e+25 59.01 0.50 0.20 0.69
Dual graph
Density: 6.03%
MCB compute time (ms): 1,224
MCB cycles: 1,728
Triangles: 4,340
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.77 0.51 0.47 119.30 0.00 -157.05 0.09 0.17 1.95
Degree 9 28 13.94 12.00 3,234 MAX VALUE 602.48 4.20 0.30 1.95
Eccentricity 4 4 4.00 4.00 928 MAX VALUE 321.62 0.00 0.00 0.00
MCB cycle size 3 7 3.42 3.00 5,903 MAX VALUE 2,088.99 0.76 0.22 0.83
Minimal dual graph
Density: 1.48%
MCB compute time (ms): 218
MCB cycles: 166
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 5 3.42 3.00 794 MAX VALUE 280.73 0.70 0.20 1.02
Eccentricity 7 9 8.01 8.00 1,858 MAX VALUE 481.97 0.62 0.08 0.94
MCB cycle size 4 10 6.79 7.00 1,127 MAX VALUE 315.09 1.23 0.18 1.59
Triangulated dual graph
Density: 35.40%
Triangles: 259,830
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.82 0.81 190.18 0.00 -47.72 0.10 0.12 4.81
Degree 9 143 81.78 87.00 18,974 MAX VALUE 951.19 49.28 0.60 4.05
Eccentricity 2 3 2.55 3.00 592 MAX VALUE 212.71 0.50 0.19 0.69
Triangulated minimal dual graph
Density: 8.70%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.79 0.71 182.68 0.00 -60.77 0.17 0.21 3.24
Degree 2 71 20.09 7.00 4,660 MAX VALUE 526.11 23.77 1.18 3.07
Eccentricity 3 5 3.81 4.00 885 MAX VALUE 308.28 0.53 0.14 0.78
Incidence graph
Density: 1.04%
MCB compute time (ms): 265
MCB cycles: 166
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-4_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 22 3.10 2.00 928 MAX VALUE 286.80 2.42 0.78 0.85
Eccentricity 7 8 7.78 8.00 2,325 MAX VALUE 612.81 0.42 0.05 0.53
MCB cycle size 8 14 8.04 8.00 1,334 MAX VALUE 345.75 0.46 0.06 0.04