Instance: normalized-queen7-7-7_ext
Number of variables: 49
Number of constraints: 476
Satisfiable: None
Timestamp: 2018-04-21 10:14:19
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 49
Number of constraints: 476
General features
Number of coarse blocks: 6,664
Number of unique subscopes: 49
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 952 MAX VALUE 329.94 0.00 0.00 0.00
Coarse blocks size 6 6 6.00 6.00 39,984 MAX VALUE 11,940.30 0.00 0.00 0.00
Relational linkage 0.86 0.86 0.86 0.86 294.00 0.00 -52.87 0.00 0.00 0.00
Tightness 0.14 0.14 0.14 0.14 68.00 0.00 -926.25 0.00 0.00 0.00
Tuples 42 42 42.00 42.00 19,992 MAX VALUE 1,779.13 0.00 0.00 0.00
Domain size 7 7 7.00 7.00 343 MAX VALUE 95.35 0.00 0.00 0.00
Constraints per subscope 18 24 19.43 20.00 952 MAX VALUE 145.21 1.62 0.08 1.09
Partitions per subscope 7 7 7.00 7.00 343 MAX VALUE 95.35 0.00 0.00 0.00
Tree decomposition
Number of clusters: 12
Number of leaves: 7
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 83 276 158.58 111.00 1,903 6.31e+25 59.41 76.50 0.48 2.25
Cluster variables 19 38 26.75 22.00 321 8.27e+16 38.95 7.69 0.29 1.82
Separator constraints 0 250 118.92 80.50 1,427 0 None 77.94 0.66 2.25
Separator variables 0 36 22.67 20.00 272 0 None 9.72 0.43 1.82
Dual tree decomposition
Number of clusters: 47
Number of leaves: 24
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 312 2,669 719.17 473.00 33,801 MAX VALUE 299.34 550.82 0.77 2.95
Cluster variables 35 258 73.83 43.00 3,470 MAX VALUE 192.83 55.06 0.75 2.68
Separator constraints 0 1,474 531.17 431.00 24,965 0 None 319.64 0.60 2.95
Separator variables 0 198 63.70 42.00 2,994 0 None 41.99 0.66 2.62
Primal graph
Density: 40.48%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 0.45 0.43 0.42 20.96 0.00 -41.61 0.01 0.02 1.65
Degree 18 24 19.43 20.00 952 MAX VALUE 145.21 1.62 0.08 1.09
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Triangulated primal graph
Density: 82.91%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.88 1.00 0.92 0.90 44.91 0.01 -4.31 0.04 0.04 2.98
Degree 18 45 39.80 44.00 1,950 MAX VALUE 178.83 8.63 0.22 1.84
Eccentricity 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Dual graph
Density: 7.82%
MCB compute time (ms): 6,900
MCB cycles: 8,814
Triangles: 53,428
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.51 0.50 0.50 237.79 0.00 -330.36 0.00 0.01 3.06
Degree 34 44 37.13 36.00 17,672 MAX VALUE 1,719.34 2.52 0.07 1.57
Eccentricity 3 3 3.00 3.00 1,428 MAX VALUE 522.94 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 26,442 MAX VALUE 9,683.17 0.00 0.00 0.00
Minimal dual graph
Density: 0.80%
MCB compute time (ms): 2,662
MCB cycles: 428
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.05 0.00 None 0.02 10.71 0.09
Degree 2 7 3.79 4.00 1,806 MAX VALUE 623.04 0.87 0.23 1.19
Eccentricity 6 9 7.89 8.00 3,754 MAX VALUE 981.59 0.61 0.08 0.92
MCB cycle size 3 9 6.91 7.00 2,957 MAX VALUE 819.59 1.23 0.18 1.58
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: 9.82%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.83 0.80 396.84 0.00 -93.16 0.14 0.16 3.88
Degree 2 158 46.63 9.00 22,196 MAX VALUE 1,303.11 59.75 1.28 3.46
Eccentricity 3 5 3.79 4.00 1,805 MAX VALUE 629.27 0.55 0.15 0.82
Incidence graph
Density: 0.69%
MCB compute time (ms): 1,212
MCB cycles: 428
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen7-7-7_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 24 3.63 2.00 1,904 MAX VALUE 475.14 5.09 1.40 0.41
Eccentricity 5 6 5.91 6.00 3,101 MAX VALUE 931.74 0.29 0.05 0.31
MCB cycle size 6 6 6.00 6.00 2,568 MAX VALUE 766.87 0.00 0.00 0.00