Instance: queens-12_ext
Number of variables: 12
Number of constraints: 66
Satisfiable: None
Timestamp: 2017-10-27 10:49:45
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 12
Number of constraints: 66
General features
Number of coarse blocks: 1,584
Number of unique subscopes: 12
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 132 7.38e+19 45.75 0.00 0.00 0.00
Coarse blocks size 9 11 9.72 10.00 15,400 MAX VALUE 3,599.53 0.61 0.06 0.91
Relational linkage 0.75 0.83 0.76 0.75 110.00 0.00 -38.90 0.03 0.04 0.45
Tightness 0.10 0.24 0.19 0.19 12.53 0.00 -111.12 0.04 0.20 2.24
Tuples 110 130 116.67 116.00 7,700 MAX VALUE 314.05 5.37 0.05 2.24
Domain size 12 12 12.00 12.00 144 8.92e+12 29.82 0.00 0.00 0.00
Constraints per subscope 11 11 11.00 11.00 132 3.14e+12 28.77 0.00 0.00 0.00
Partitions per subscope 12 12 12.00 12.00 144 8.92e+12 29.82 0.00 0.00 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 66 66 66.00 66.00 66 66 4.19 0.00 0.00 0.00
Cluster variables 12 12 12.00 12.00 12 12 2.48 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 10
Number of leaves: 6
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 120 292 176.00 120.00 1,760 1.32e+22 50.94 71.51 0.41 0.95
Cluster variables 21 44 28.60 21.00 286 2.15e+14 33.00 9.65 0.34 0.95
Separator constraints 0 180 110.00 100.00 1,100 0 None 47.54 0.43 1.09
Separator variables 0 36 22.00 20.00 220 0 None 9.51 0.43 1.09
Primal graph
Density: 100.00%
Dot-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 12.00 1.00 0.00 0.00 0.00 0.00
Degree 11 11 11.00 11.00 132 3.14e+12 28.77 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 12 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 12.00 1.00 0.00 0.00 0.00 0.00
Degree 11 11 11.00 11.00 132 3.14e+12 28.77 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 12 1 0.00 0.00 0.00 0.00
Dual graph
Density: 30.77%
MCB compute time (ms): 27
MCB cycles: 595
Triangles: 2,200
Dot-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.53 0.53 0.53 34.74 0.00 -42.36 0.00 0.00 0.00
Degree 20 20 20.00 20.00 1,320 MAX VALUE 197.72 0.00 0.00 0.00
Eccentricity 2 2 2.00 2.00 132 7.38e+19 45.75 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 1,785 MAX VALUE 653.67 0.00 0.00 0.00
Minimal dual graph
Density: 5.59%
MCB compute time (ms): 7
MCB cycles: 55
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.06 4.77 0.21
Degree 2 5 3.64 3.00 240 1.99e+36 83.58 0.81 0.22 1.13
Eccentricity 5 7 5.71 6.00 377 MAX VALUE 114.65 0.60 0.10 0.89
MCB cycle size 3 7 5.36 5.00 295 MAX VALUE 91.50 0.94 0.18 1.34
Triangulated dual graph
Density: 76.92%
Triangles: 24,848
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.82 1.00 0.89 0.91 58.82 0.00 -7.72 0.05 0.06 1.67
Degree 20 61 50.00 53.00 3,300 MAX VALUE 255.47 12.01 0.24 1.67
Eccentricity 2 2 2.00 2.00 132 7.38e+19 45.75 0.00 0.00 0.00
Triangulated minimal dual graph
Density: 18.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.76 0.69 50.31 0.00 -19.61 0.17 0.23 2.97
Degree 2 29 12.33 7.50 814 MAX VALUE 141.66 9.80 0.79 2.71
Eccentricity 3 5 3.64 4.00 240 4.80e+36 84.46 0.54 0.15 0.79
Incidence graph
Density: 4.40%
MCB compute time (ms): 4
MCB cycles: 55
Dot-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/queensExtConvert/queens-12_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 11 3.38 2.00 264 2.32e+32 74.52 3.25 0.96 0.43
Eccentricity 3 4 3.85 4.00 300 MAX VALUE 104.68 0.36 0.09 0.43
MCB cycle size 6 6 6.00 6.00 330 MAX VALUE 98.55 0.00 0.00 0.00