Instance: normalized-f600_ext
Number of variables: 1200
Number of constraints: 3150
Satisfiable: None
Timestamp: 2018-04-21 10:43:29
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1200
Number of constraints: 3150
General features
Number of coarse blocks: 18,058
Number of unique subscopes: 1,242
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.81 3.00 8,850 MAX VALUE 3,217.35 0.39 0.14 0.49
Coarse blocks size 1 4 3.20 3.00 57,778 MAX VALUE 20,028.50 0.87 0.27 1.12
Relational linkage 0.50 1.00 0.64 0.75 1,653.75 0.00 -1,205.24 0.15 0.23 0.86
Tightness 0.12 0.25 0.15 0.12 468.75 0.00 -6,134.35 0.05 0.33 0.49
Tuples 3 7 6.24 7.00 19,650 MAX VALUE 5,621.24 1.57 0.25 0.49
Domain size 2 2 2.00 2.00 2,400 MAX VALUE 831.78 0.00 0.00 0.00
Constraints per subscope 2 17 7.20 7.00 8,938 MAX VALUE 2,351.06 2.64 0.37 2.36
Partitions per subscope 2 4 2.07 2.00 2,574 MAX VALUE 892.08 0.37 0.18 0.16
Tree decomposition
Number of clusters: 552
Number of leaves: 260
Tree depth: 17
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 593 23.02 5.00 12,706 MAX VALUE 988.59 85.56 3.72 2.33
Cluster variables 2 638 50.12 14.00 27,669 MAX VALUE 1,627.88 113.75 2.27 3.66
Separator constraints 0 507 17.31 0.00 9,556 0 None 81.91 4.73 1.10
Separator variables 0 605 47.95 13.00 26,469 0 None 110.88 2.31 3.66
Dual tree decomposition
Number of clusters: 958
Number of leaves: 600
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 13,028 221.30 69.00 212,006 MAX VALUE 4,244.53 824.37 3.73 5.02
Cluster variables 4 1,855 55.53 16.50 53,202 MAX VALUE 3,068.53 145.72 2.62 4.03
Separator constraints 0 10,073 187.99 55.00 180,095 0 None 640.28 3.41 4.96
Separator variables 0 1,643 52.25 15.00 50,052 0 None 129.70 2.48 4.03
Primal graph
Density: 1.14%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.33 None 0.09 None None None None None 3.54
Degree 1 32 13.67 13.00 16,408 MAX VALUE 3,045.62 4.95 0.36 2.54
Eccentricity 4 5 4.35 4.00 5,224 MAX VALUE 1,758.17 0.48 0.11 0.65
Triangulated primal graph
Density: 32.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 None 0.94 None None None None None 6.03
Degree 1 712 393.86 671.00 472,634 MAX VALUE 5,832.69 326.18 0.83 4.29
Eccentricity 2 4 3.29 3.00 3,954 MAX VALUE 1,418.64 0.48 0.15 0.67
Dual graph
Density: 0.64%
MCB compute time (ms): None
MCB cycles: None
Triangles: 75,651
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.27 1.00 0.36 0.33 1,144.84 0.00 -3,249.55 0.08 0.22 5.46
Degree 3 40 20.26 21.00 63,822 MAX VALUE 9,340.58 5.47 0.27 3.10
Eccentricity 4 5 4.37 4.00 13,779 MAX VALUE 4,629.91 0.48 0.11 0.66
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.15%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 1.07 0.00 None 0.01 19.50 0.02
Degree 3 8 4.83 5.00 15,208 MAX VALUE 4,896.22 0.96 0.20 1.36
Eccentricity 7 9 7.81 8.00 24,592 MAX VALUE 6,468.90 0.40 0.05 0.52
MCB cycle size None None None None None None None None None None
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: 13.70%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.92 0.95 2,895.31 0.00 -281.48 0.09 0.10 5.15
Degree 3 1,189 431.50 15.00 1,359,240 MAX VALUE 12,352.00 548.02 1.27 4.03
Eccentricity 3 5 3.63 4.00 11,420 MAX VALUE 4,026.72 0.49 0.14 0.68
Incidence graph
Density: 0.09%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-f600_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.79
Degree 1 17 4.07 3.00 17,700 MAX VALUE 5,536.82 2.45 0.60 1.52
Eccentricity 8 11 9.38 9.00 40,801 MAX VALUE 9,731.06 0.52 0.06 0.74
MCB cycle size None None None None None None None None None None