XCSP 2.1 Benchmark Database

Instance: scen06-sub0_ext
Number of variables: 32
Number of constraints: 223
Satisfiable: None
Timestamp: 2017-10-27 10:55:10
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 32
Number of constraints: 223

General features

Number of coarse blocks: 17,904
Number of unique subscopes: 32

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 2 2 2.00 2.00 446 MAX VALUE 154.57 0.00 0.00 0.00

Coarse blocks size 1 43 24.33 26.00 435,560 MAX VALUE 52,423.40 11.55 0.47 3.48

Relational linkage 0.02 0.03 0.02 0.02 29.39 0.00 -4,353.83 0.00 0.10 0.69

Tightness 0.02 0.98 0.41 0.37 92.51 0.00 -262.67 0.26 0.63 4.08

Tuples 36 1,892 976.59 1,020.00 217,780 MAX VALUE 1,477.75 481.43 0.49 4.06

Domain size 36 44 40.00 40.00 1,280 MAX VALUE 117.88 4.00 0.10 0.69

Constraints per subscope 3 25 13.94 15.00 446 2.04e+34 79.00 6.47 0.46 2.12

Partitions per subscope 36 44 40.00 40.00 1,280 MAX VALUE 117.88 4.00 0.10 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	446	MAX VALUE	154.57	0.00	0.00	0.00
Coarse blocks size	1	43	24.33	26.00	435,560	MAX VALUE	52,423.40	11.55	0.47	3.48
Relational linkage	0.02	0.03	0.02	0.02	29.39	0.00	-4,353.83	0.00	0.10	0.69
Tightness	0.02	0.98	0.41	0.37	92.51	0.00	-262.67	0.26	0.63	4.08
Tuples	36	1,892	976.59	1,020.00	217,780	MAX VALUE	1,477.75	481.43	0.49	4.06
Domain size	36	44	40.00	40.00	1,280	MAX VALUE	117.88	4.00	0.10	0.69
Constraints per subscope	3	25	13.94	15.00	446	2.04e+34	79.00	6.47	0.46	2.12
Partitions per subscope	36	44	40.00	40.00	1,280	MAX VALUE	117.88	4.00	0.10	0.69

Tree decomposition

Number of clusters: 10
Number of leaves: 4
Tree depth: 3
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 5 120 37.50 16.50 375 1.30e+13 30.20 38.24 1.02 2.16

Cluster variables 4 16 8.20 6.50 82 363,418,000 19.71 4.24 0.52 1.83

Separator constraints 0 65 15.20 6.50 152 0 None 19.42 1.28 2.03

Separator variables 0 12 5.00 4.00 50 0 None 3.38 0.68 1.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	5	120	37.50	16.50	375	1.30e+13	30.20	38.24	1.02	2.16
Cluster variables	4	16	8.20	6.50	82	363,418,000	19.71	4.24	0.52	1.83
Separator constraints	0	65	15.20	6.50	152	0	None	19.42	1.28	2.03
Separator variables	0	12	5.00	4.00	50	0	None	3.38	0.68	1.83

Dual tree decomposition

Number of clusters: 30
Number of leaves: 11
Tree depth: 6
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 8 946 341.97 238.50 10,259 MAX VALUE 159.19 275.26 0.80 3.12

Cluster variables 5 92 39.43 31.00 1,183 MAX VALUE 102.76 25.01 0.63 3.03

Separator constraints 0 494 223.47 196.00 6,704 0 None 167.22 0.75 3.01

Separator variables 0 68 32.00 28.00 960 0 None 19.43 0.61 2.97

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	8	946	341.97	238.50	10,259	MAX VALUE	159.19	275.26	0.80	3.12
Cluster variables	5	92	39.43	31.00	1,183	MAX VALUE	102.76	25.01	0.63	3.03
Separator constraints	0	494	223.47	196.00	6,704	0	None	167.22	0.75	3.01
Separator variables	0	68	32.00	28.00	960	0	None	19.43	0.61	2.97

Primal graph

Density: 44.96%
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.56 1.00 0.83 0.83 26.48 0.00 -6.64 0.15 0.19 2.34

Degree 3 25 13.94 15.00 446 2.04e+34 79.00 6.47 0.46 2.12

Eccentricity 2 3 2.59 3.00 83 9.52e+12 29.88 0.49 0.19 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.56	1.00	0.83	0.83	26.48	0.00	-6.64	0.15	0.19	2.34
Degree	3	25	13.94	15.00	446	2.04e+34	79.00	6.47	0.46	2.12
Eccentricity	2	3	2.59	3.00	83	9.52e+12	29.88	0.49	0.19	0.68

Triangulated primal graph

Density: 45.97%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.54 1.00 0.85 0.83 27.28 0.00 -5.62 0.15 0.17 2.08

Degree 3 27 14.25 15.00 456 3.94e+34 79.66 6.64 0.47 2.13

Eccentricity 2 3 2.56 3.00 82 6.35e+12 29.48 0.50 0.19 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.54	1.00	0.85	0.83	27.28	0.00	-5.62	0.15	0.17	2.08
Degree	3	27	14.25	15.00	456	3.94e+34	79.66	6.64	0.47	2.13
Eccentricity	2	3	2.56	3.00	82	6.35e+12	29.48	0.50	0.19	0.69

Dual graph

Density: 14.36%
MCB compute time (ms): 1,180
MCB cycles: 3,347
Triangles: 20,723
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.50 0.80 0.54 0.53 121.22 0.00 -136.96 0.06 0.11 3.45

Degree 4 47 31.88 34.00 7,110 MAX VALUE 761.76 7.82 0.25 2.84

Eccentricity 3 4 3.25 3.00 724 MAX VALUE 260.81 0.43 0.13 0.56

MCB cycle size 3 3 3.00 3.00 10,041 MAX VALUE 3,677.06 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	0.80	0.54	0.53	121.22	0.00	-136.96	0.06	0.11	3.45
Degree	4	47	31.88	34.00	7,110	MAX VALUE	761.76	7.82	0.25	2.84
Eccentricity	3	4	3.25	3.00	724	MAX VALUE	260.81	0.43	0.13	0.56
MCB cycle size	3	3	3.00	3.00	10,041	MAX VALUE	3,677.06	0.00	0.00	0.00

Minimal dual graph

Density: 1.67%
MCB compute time (ms): 233
MCB cycles: 192

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.33 0.01 0.00 2.90 0.00 None 0.06 4.65 0.27

Degree 2 6 3.71 3.00 828 MAX VALUE 286.40 0.89 0.24 1.22

Eccentricity 6 10 7.69 8.00 1,715 MAX VALUE 453.71 0.80 0.10 1.19

MCB cycle size 3 10 6.05 6.00 1,161 MAX VALUE 340.60 1.30 0.22 1.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	2.90	0.00	None	0.06	4.65	0.27
Degree	2	6	3.71	3.00	828	MAX VALUE	286.40	0.89	0.24	1.22
Eccentricity	6	10	7.69	8.00	1,715	MAX VALUE	453.71	0.80	0.10	1.19
MCB cycle size	3	10	6.05	6.00	1,161	MAX VALUE	340.60	1.30	0.22	1.64

Triangulated dual graph

Density: 46.75%
Triangles: 364,470

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.65 1.00 0.82 0.82 183.82 0.00 -44.37 0.09 0.11 3.93

Degree 4 174 103.78 115.00 23,144 MAX VALUE 998.32 44.66 0.43 3.71

Eccentricity 2 4 3.14 3.00 700 MAX VALUE 253.20 0.42 0.13 0.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.65	1.00	0.82	0.82	183.82	0.00	-44.37	0.09	0.11	3.93
Degree	4	174	103.78	115.00	23,144	MAX VALUE	998.32	44.66	0.43	3.71
Eccentricity	2	4	3.14	3.00	700	MAX VALUE	253.20	0.42	0.13	0.57

Triangulated minimal dual graph

Density: 10.31%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.49 1.00 0.79 0.74 176.28 0.00 -57.12 0.16 0.20 3.61

Degree 2 75 22.88 8.00 5,102 MAX VALUE 537.79 25.83 1.13 3.19

Eccentricity 4 7 4.74 5.00 1,058 MAX VALUE 345.24 0.64 0.13 0.93

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.79	0.74	176.28	0.00	-57.12	0.16	0.20	3.61
Degree	2	75	22.88	8.00	5,102	MAX VALUE	537.79	25.83	1.13	3.19
Eccentricity	4	7	4.74	5.00	1,058	MAX VALUE	345.24	0.64	0.13	0.93

Incidence graph

Density: 1.38%
MCB compute time (ms): 76
MCB cycles: 192
Dot-file path: None
PDF-file path: None

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 25 3.50 2.00 892 MAX VALUE 233.57 4.57 1.31 0.64

Eccentricity 5 8 6.45 6.00 1,646 MAX VALUE 473.28 0.88 0.14 0.95

MCB cycle size 6 6 6.00 6.00 1,152 MAX VALUE 344.02 0.00 0.00 0.00

XCSP 2.1 Benchmarks