XCSP 2.1 Benchmark Database

Instance: scen07-sub1_ext
Number of variables: 28
Number of constraints: 314
Satisfiable: None
Timestamp: 2017-10-27 10:55:11
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 28
Number of constraints: 314

General features

Number of coarse blocks: 26,800
Number of unique subscopes: 28

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

Arity 2 2 2.00 2.00 628 MAX VALUE 217.65 0.00 0.00 0.00

Coarse blocks size 1 43 24.75 26.00 663,364 MAX VALUE 80,043.60 11.39 0.46 3.41

Relational linkage 0.02 0.02 0.02 0.02 23.59 0.00 -3,927.99 0.00 0.00 0.00

Tightness 0.02 0.98 0.45 0.40 142.68 0.00 -327.91 0.25 0.56 3.53

Tuples 44 1,892 1,056.31 1,170.00 331,682 MAX VALUE 2,120.37 493.06 0.47 3.53

Domain size 44 44 44.00 44.00 1,232 MAX VALUE 105.96 0.00 0.00 0.00

Constraints per subscope 19 27 22.43 19.00 628 4.33e+37 86.66 3.96 0.18 0.68

Partitions per subscope 44 44 44.00 44.00 1,232 MAX VALUE 105.96 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	628	MAX VALUE	217.65	0.00	0.00	0.00
Coarse blocks size	1	43	24.75	26.00	663,364	MAX VALUE	80,043.60	11.39	0.46	3.41
Relational linkage	0.02	0.02	0.02	0.02	23.59	0.00	-3,927.99	0.00	0.00	0.00
Tightness	0.02	0.98	0.45	0.40	142.68	0.00	-327.91	0.25	0.56	3.53
Tuples	44	1,892	1,056.31	1,170.00	331,682	MAX VALUE	2,120.37	493.06	0.47	3.53
Domain size	44	44	44.00	44.00	1,232	MAX VALUE	105.96	0.00	0.00	0.00
Constraints per subscope	19	27	22.43	19.00	628	4.33e+37	86.66	3.96	0.18	0.68
Partitions per subscope	44	44	44.00	44.00	1,232	MAX VALUE	105.96	0.00	0.00	0.00

Tree decomposition

Number of clusters: 2
Number of leaves: 1
Tree depth: 1
Dot-file path: None
PDF-file path: None

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

Cluster constraints 190 190 190.00 190.00 380 36,100 10.49 0.00 0.00 0.00

Cluster variables 20 20 20.00 20.00 40 400 5.99 0.00 0.00 0.00

Separator constraints 0 66 33.00 33.00 66 0 None 33.00 1.00 0.69

Separator variables 0 12 6.00 6.00 12 0 None 6.00 1.00 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	190	190	190.00	190.00	380	36,100	10.49	0.00	0.00	0.00
Cluster variables	20	20	20.00	20.00	40	400	5.99	0.00	0.00	0.00
Separator constraints	0	66	33.00	33.00	66	0	None	33.00	1.00	0.69
Separator variables	0	12	6.00	6.00	12	0	None	6.00	1.00	0.69

Dual tree decomposition

Number of clusters: 26
Number of leaves: 14
Tree depth: 4
Dot-file path: None
PDF-file path: None

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

Cluster constraints 360 2,512 920.46 728.00 23,932 MAX VALUE 172.27 616.09 0.67 1.76

Cluster variables 37 176 73.31 53.00 1,906 MAX VALUE 108.16 41.06 0.56 1.76

Separator constraints 0 1,280 653.23 626.00 16,984 0 None 353.91 0.54 1.76

Separator variables 0 128 61.23 52.00 1,592 0 None 30.60 0.50 1.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	360	2,512	920.46	728.00	23,932	MAX VALUE	172.27	616.09	0.67	1.76
Cluster variables	37	176	73.31	53.00	1,906	MAX VALUE	108.16	41.06	0.56	1.76
Separator constraints	0	1,280	653.23	626.00	16,984	0	None	353.91	0.54	1.76
Separator variables	0	128	61.23	52.00	1,592	0	None	30.60	0.50	1.63

Primal graph

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

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

Clustering coefficient 0.82 1.00 0.92 1.00 25.81 0.09 -2.42 0.09 0.10 0.68

Degree 19 27 22.43 19.00 628 4.33e+37 86.66 3.96 0.18 0.68

Eccentricity 1 2 1.57 2.00 44 65,536 11.09 0.49 0.31 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.82	1.00	0.92	1.00	25.81	0.09	-2.42	0.09	0.10	0.68
Degree	19	27	22.43	19.00	628	4.33e+37	86.66	3.96	0.18	0.68
Eccentricity	1	2	1.57	2.00	44	65,536	11.09	0.49	0.31	0.68

Triangulated primal graph

Density: 83.07%

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

Clustering coefficient 0.82 1.00 0.92 1.00 25.81 0.09 -2.42 0.09 0.10 0.68

Degree 19 27 22.43 19.00 628 4.33e+37 86.66 3.96 0.18 0.68

Eccentricity 1 2 1.57 2.00 44 65,536 11.09 0.49 0.31 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.82	1.00	0.92	1.00	25.81	0.09	-2.42	0.09	0.10	0.68
Degree	19	27	22.43	19.00	628	4.33e+37	86.66	3.96	0.18	0.68
Eccentricity	1	2	1.57	2.00	44	65,536	11.09	0.49	0.31	0.68

Dual graph

Density: 14.14%
MCB compute time (ms): 2,201
MCB cycles: 6,635
Triangles: 52,664
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.51 0.52 0.52 0.52 163.12 0.00 -205.67 0.01 0.01 0.94

Degree 36 52 44.25 44.00 13,896 MAX VALUE 1,188.02 4.98 0.11 0.94

Eccentricity 2 3 2.18 2.00 684 MAX VALUE 240.35 0.38 0.18 0.47

MCB cycle size 3 3 3.00 3.00 19,905 MAX VALUE 7,289.29 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	0.52	0.52	0.52	163.12	0.00	-205.67	0.01	0.01	0.94
Degree	36	52	44.25	44.00	13,896	MAX VALUE	1,188.02	4.98	0.11	0.94
Eccentricity	2	3	2.18	2.00	684	MAX VALUE	240.35	0.38	0.18	0.47
MCB cycle size	3	3	3.00	3.00	19,905	MAX VALUE	7,289.29	0.00	0.00	0.00

Minimal dual graph

Density: 1.22%
MCB compute time (ms): 533
MCB cycles: 287

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.03 10.58 0.06

Degree 2 6 3.82 4.00 1,200 MAX VALUE 411.97 0.94 0.25 1.21

Eccentricity 7 11 9.08 9.00 2,851 MAX VALUE 691.37 0.83 0.09 1.23

MCB cycle size 3 11 5.94 6.00 1,706 MAX VALUE 506.26 1.12 0.19 1.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.83	0.00	None	0.03	10.58	0.06
Degree	2	6	3.82	4.00	1,200	MAX VALUE	411.97	0.94	0.25	1.21
Eccentricity	7	11	9.08	9.00	2,851	MAX VALUE	691.37	0.83	0.09	1.23
MCB cycle size	3	11	5.94	6.00	1,706	MAX VALUE	506.26	1.12	0.19	1.46

Triangulated dual graph

Density: 62.50%
Triangles: 1,823,630

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

Clustering coefficient 0.76 1.00 0.86 0.88 269.58 0.00 -48.92 0.07 0.08 2.00

Degree 36 265 195.63 217.00 61,428 MAX VALUE 1,629.48 65.20 0.33 2.04

Eccentricity 2 3 2.18 2.00 684 MAX VALUE 240.35 0.38 0.18 0.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.76	1.00	0.86	0.88	269.58	0.00	-48.92	0.07	0.08	2.00
Degree	36	265	195.63	217.00	61,428	MAX VALUE	1,629.48	65.20	0.33	2.04
Eccentricity	2	3	2.18	2.00	684	MAX VALUE	240.35	0.38	0.18	0.47

Triangulated minimal dual graph

Density: 9.87%

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

Clustering coefficient 0.47 1.00 0.81 0.75 253.67 0.00 -72.72 0.15 0.19 3.63

Degree 2 105 30.89 9.00 9,700 MAX VALUE 808.36 36.78 1.19 3.34

Eccentricity 3 5 3.86 4.00 1,213 MAX VALUE 420.80 0.57 0.15 0.86

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.81	0.75	253.67	0.00	-72.72	0.15	0.19	3.63
Degree	2	105	30.89	9.00	9,700	MAX VALUE	808.36	36.78	1.19	3.34
Eccentricity	3	5	3.86	4.00	1,213	MAX VALUE	420.80	0.57	0.15	0.86

Incidence graph

Density: 1.08%
MCB compute time (ms): 131
MCB cycles: 287
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 27 3.67 2.00 1,256 MAX VALUE 304.31 5.71 1.56 0.34

Eccentricity 3 6 4.34 4.00 1,484 MAX VALUE 496.94 0.79 0.18 0.77

MCB cycle size 6 6 6.00 6.00 1,722 MAX VALUE 514.24 0.00 0.00 0.00

XCSP 2.1 Benchmarks