Instance: jean-5_ext
Number of variables: 80
Number of constraints: 254
Satisfiable: None
Timestamp: 2017-10-27 10:54:41
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 77
Number of constraints: 254
General features
Number of coarse blocks: 2,455
Number of unique subscopes: 60
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 508 MAX VALUE 176.06 0.00 0.00 0.00
Coarse blocks size 4 4 4.00 4.00 9,820 MAX VALUE 3,403.35 0.00 0.00 0.00
Relational linkage 0.80 0.80 0.80 0.80 240.00 0.00 -66.94 0.00 0.00 0.00
Tightness 0.20 0.20 0.20 0.20 50.80 0.00 -408.80 0.00 0.00 0.00
Tuples 20 20 20.00 20.00 5,080 MAX VALUE 760.92 0.00 0.00 0.00
Domain size 5 5 5.00 5.00 385 MAX VALUE 123.93 0.00 0.00 0.00
Constraints per subscope 2 36 8.18 7.00 491 MAX VALUE 111.41 5.90 0.72 2.52
Partitions per subscope 5 5 5.00 5.00 300 MAX VALUE 96.57 0.00 0.00 0.00
Tree decomposition
Number of clusters: 51
Number of leaves: 15
Tree depth: 10
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 45 8.98 3.00 458 8.26e+30 71.19 11.45 1.28 2.33
Cluster variables 2 10 4.24 3.00 216 2.91e+28 65.54 2.48 0.59 1.86
Separator constraints 0 28 4.00 1.00 204 0 None 6.75 1.69 1.88
Separator variables 0 8 2.73 2.00 139 0 None 2.13 0.78 1.76
Dual tree decomposition
Number of clusters: 63
Number of leaves: 27
Tree depth: 8
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 630 118.02 74.00 7,435 MAX VALUE 262.49 117.47 1.00 3.78
Cluster variables 2 50 19.52 16.00 1,230 MAX VALUE 173.37 11.91 0.61 3.36
Separator constraints 0 378 73.44 48.00 4,627 0 None 75.70 1.03 3.74
Separator variables 0 35 15.49 14.00 976 0 None 9.31 0.60 3.22
Primal graph
Density: 8.68%
Dot-file path: None
PDF-file path: 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 3.83
Degree 1 36 6.60 6.00 508 MAX VALUE 111.41 6.00 0.91 2.49
Eccentricity 3 5 4.13 4.00 318 MAX VALUE 108.33 0.61 0.15 0.92
Triangulated primal graph
Density: 9.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 1.00 None None None None None 3.76
Degree 1 37 7.01 6.00 540 MAX VALUE 113.93 6.58 0.94 2.59
Eccentricity 3 5 4.08 4.00 314 MAX VALUE 107.25 0.64 0.16 0.96
Dual graph
Density: 8.74%
MCB compute time (ms): 1,436
MCB cycles: 2,577
Triangles: 15,644
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.55 None None None None None 4.40
Degree 1 56 22.11 20.00 5,616 MAX VALUE 752.27 10.66 0.48 3.50
Eccentricity 3 5 3.74 4.00 950 MAX VALUE 331.91 0.58 0.16 0.87
MCB cycle size 3 4 3.00 3.00 7,741 MAX VALUE 2,834.00 0.06 0.02 0.03
Minimal dual graph
Density: 1.34%
MCB compute time (ms): 202
MCB cycles: 178
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 None 0.00 None None None None None 0.30
Degree 1 5 3.39 3.00 862 MAX VALUE 303.31 0.76 0.23 1.14
Eccentricity 8 14 10.98 11.00 2,790 MAX VALUE 606.80 1.35 0.12 1.65
MCB cycle size 3 14 6.26 6.00 1,114 MAX VALUE 320.90 1.57 0.25 1.80
Triangulated dual graph
Density: 18.87%
Triangles: 88,247
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.83 None None None None None 4.48
Degree 1 128 47.75 43.00 12,128 MAX VALUE 918.07 28.30 0.59 4.09
Eccentricity 3 5 3.68 4.00 935 MAX VALUE 327.65 0.60 0.16 0.89
Triangulated minimal dual graph
Density: 5.68%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 None 0.67 None None None None None 3.79
Degree 1 63 14.38 6.50 3,652 MAX VALUE 534.80 15.86 1.10 3.12
Eccentricity 4 7 5.10 5.00 1,295 MAX VALUE 411.53 0.67 0.13 1.01
Incidence graph
Density: 0.93%
MCB compute time (ms): 111
MCB cycles: 178
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.00 None None None None None 1.23
Degree 1 36 3.07 2.00 1,016 MAX VALUE 287.47 3.49 1.14 0.99
Eccentricity 6 11 8.30 8.00 2,747 MAX VALUE 697.43 1.13 0.14 1.47
MCB cycle size 6 8 6.03 6.00 1,074 MAX VALUE 319.80 0.26 0.04 0.09
Component #2 Number of variables: 1
Number of constraints: 0
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity None None None None 0 1 0.00 None None 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness None None None None 0.00 1.00 0.00 None None 0.00
Tuples None None None None 0 1 0.00 None None 0.00
Domain size 5 5 5.00 5.00 5 5 1.61 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 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: 0
Number of leaves: 0
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None 0 1 0.00 None None 0.00
Cluster variables None None None None 0 1 0.00 None None 0.00
Separator constraints None None None None 0 1 0.00 None None 0.00
Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: None%
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated primal graph
Density: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Component #3 Number of variables: 1
Number of constraints: 0
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity None None None None 0 1 0.00 None None 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness None None None None 0.00 1.00 0.00 None None 0.00
Tuples None None None None 0 1 0.00 None None 0.00
Domain size 5 5 5.00 5.00 5 5 1.61 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 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: 0
Number of leaves: 0
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None 0 1 0.00 None None 0.00
Cluster variables None None None None 0 1 0.00 None None 0.00
Separator constraints None None None None 0 1 0.00 None None 0.00
Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: None%
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated primal graph
Density: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Component #4 Number of variables: 1
Number of constraints: 0
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity None None None None 0 1 0.00 None None 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness None None None None 0.00 1.00 0.00 None None 0.00
Tuples None None None None 0 1 0.00 None None 0.00
Domain size 5 5 5.00 5.00 5 5 1.61 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 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: 0
Number of leaves: 0
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None 0 1 0.00 None None 0.00
Cluster variables None None None None 0 1 0.00 None None 0.00
Separator constraints None None None None 0 1 0.00 None None 0.00
Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: None%
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated primal graph
Density: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00