Instance: 1-insertions-4-3_ext
Number of variables: 67
Number of constraints: 232
Satisfiable: None
Timestamp: 2017-10-27 10:46:11
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,392
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 2 2 2.00 2.00 2,784 MAX VALUE 964.86 0.00 0.00 0.00
Relational linkage 0.67 0.67 0.67 0.67 134.00 0.00 -81.50 0.00 0.00 0.00
Tightness 0.33 0.33 0.33 0.33 77.33 0.00 -254.88 0.00 0.00 0.00
Tuples 6 6 6.00 6.00 1,392 MAX VALUE 415.69 0.00 0.00 0.00
Domain size 3 3 3.00 3.00 201 9.27e+31 73.61 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 3 3 3.00 3.00 201 9.27e+31 73.61 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-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_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-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_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-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_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,188
MCB cycles: 1,728
Triangles: 4,340
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_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): 232
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): 285
MCB cycles: 166
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/1-insertions-4-3_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