XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-50_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:49
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 103

General features

Number of coarse blocks: 16,480
Number of unique subscopes: 40

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

Arity 2 2 2.00 2.00 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 5 32 16.05 16.00 264,540 MAX VALUE 45,303.20 3.63 0.23 2.70

Relational linkage 0.06 0.28 0.15 0.15 480.81 0.00 -6,130.13 0.03 0.20 2.27

Tightness 0.79 0.81 0.80 0.80 82.33 0.00 -23.07 0.00 0.01 4.07

Tuples 1,219 1,373 1,284.17 1,284.00 132,270 MAX VALUE 737.23 31.11 0.02 4.07

Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00

Constraints per subscope 3 10 5.15 5.00 206 3.96e+27 63.55 1.68 0.33 1.74

Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 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	206	1.01e+31	71.39	0.00	0.00	0.00
Coarse blocks size	5	32	16.05	16.00	264,540	MAX VALUE	45,303.20	3.63	0.23	2.70
Relational linkage	0.06	0.28	0.15	0.15	480.81	0.00	-6,130.13	0.03	0.20	2.27
Tightness	0.79	0.81	0.80	0.80	82.33	0.00	-23.07	0.00	0.01	4.07
Tuples	1,219	1,373	1,284.17	1,284.00	132,270	MAX VALUE	737.23	31.11	0.02	4.07
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	3	10	5.15	5.00	206	3.96e+27	63.55	1.68	0.33	1.74
Partitions per subscope	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00

Tree decomposition

Number of clusters: 27
Number of leaves: 15
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 2 14 5.78 5.00 156 8.76e+18 43.62 3.17 0.55 2.20

Cluster variables 4 14 6.67 6.00 180 2.28e+21 49.18 2.85 0.43 1.83

Separator constraints 0 11 1.96 1.00 53 0 None 2.95 1.50 1.67

Separator variables 0 13 5.19 4.00 140 0 None 2.67 0.51 1.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	14	5.78	5.00	156	8.76e+18	43.62	3.17	0.55	2.20
Cluster variables	4	14	6.67	6.00	180	2.28e+21	49.18	2.85	0.43	1.83
Separator constraints	0	11	1.96	1.00	53	0	None	2.95	1.50	1.67
Separator variables	0	13	5.19	4.00	140	0	None	2.67	0.51	1.88

Dual tree decomposition

Number of clusters: 38
Number of leaves: 13
Tree depth: 5
Dot-file path: None
PDF-file path: None

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

Cluster constraints 6 69 28.74 23.50 1,092 MAX VALUE 120.81 16.81 0.58 3.14

Cluster variables 5 35 13.92 12.00 529 MAX VALUE 94.99 7.72 0.55 2.68

Separator constraints 0 41 16.00 14.50 608 0 None 10.24 0.64 3.14

Separator variables 0 25 11.21 10.00 426 0 None 5.92 0.53 2.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	69	28.74	23.50	1,092	MAX VALUE	120.81	16.81	0.58	3.14
Cluster variables	5	35	13.92	12.00	529	MAX VALUE	94.99	7.72	0.55	2.68
Separator constraints	0	41	16.00	14.50	608	0	None	10.24	0.64	3.14
Separator variables	0	25	11.21	10.00	426	0	None	5.92	0.53	2.80

Primal graph

Density: 13.21%
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.33 0.09 0.10 3.58 0.00 None 0.09 1.02 2.01

Degree 3 10 5.15 5.00 206 3.96e+27 63.55 1.68 0.33 1.74

Eccentricity 3 4 3.52 4.00 141 5.11e+21 49.99 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.09	0.10	3.58	0.00	None	0.09	1.02	2.01
Degree	3	10	5.15	5.00	206	3.96e+27	63.55	1.68	0.33	1.74
Eccentricity	3	4	3.52	4.00	141	5.11e+21	49.99	0.50	0.14	0.69

Triangulated primal graph

Density: 29.62%

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

Clustering coefficient 0.52 1.00 0.79 0.76 31.62 0.00 -10.45 0.18 0.22 2.52

Degree 3 24 11.55 9.50 462 6.55e+37 87.08 7.77 0.67 2.58

Eccentricity 2 3 2.62 3.00 105 2.78e+16 37.86 0.48 0.18 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	0.79	0.76	31.62	0.00	-10.45	0.18	0.22	2.52
Degree	3	24	11.55	9.50	462	6.55e+37	87.08	7.77	0.67	2.58
Eccentricity	2	3	2.62	3.00	105	2.78e+16	37.86	0.48	0.18	0.66

Dual graph

Density: 9.21%
MCB compute time (ms): 140
MCB cycles: 415
Triangles: 724
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 0.67 0.49 0.49 50.24 0.00 -74.53 0.05 0.11 3.05

Degree 4 16 9.40 9.00 968 MAX VALUE 227.16 2.45 0.26 2.28

Eccentricity 3 4 3.91 4.00 403 MAX VALUE 140.20 0.28 0.07 0.30

MCB cycle size 3 6 3.29 3.00 1,365 MAX VALUE 487.95 0.63 0.19 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	0.67	0.49	0.49	50.24	0.00	-74.53	0.05	0.11	3.05
Degree	4	16	9.40	9.00	968	MAX VALUE	227.16	2.45	0.26	2.28
Eccentricity	3	4	3.91	4.00	403	MAX VALUE	140.20	0.28	0.07	0.30
MCB cycle size	3	6	3.29	3.00	1,365	MAX VALUE	487.95	0.63	0.19	0.64

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 26
MCB cycles: 64

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 5 3.22 3.00 332 MAX VALUE 118.35 0.65 0.20 0.99

Eccentricity 6 8 6.63 7.00 683 MAX VALUE 194.53 0.52 0.08 0.75

MCB cycle size 4 9 6.95 7.00 445 MAX VALUE 123.51 0.91 0.13 1.28

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	5	3.22	3.00	332	MAX VALUE	118.35	0.65	0.20	0.99
Eccentricity	6	8	6.63	7.00	683	MAX VALUE	194.53	0.52	0.08	0.75
MCB cycle size	4	9	6.95	7.00	445	MAX VALUE	123.51	0.91	0.13	1.28

Triangulated dual graph

Density: 32.55%
Triangles: 17,298

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

Clustering coefficient 0.60 1.00 0.80 0.79 81.98 0.00 -24.71 0.12 0.15 4.07

Degree 4 61 33.20 34.00 3,420 MAX VALUE 335.22 19.46 0.59 3.52

Eccentricity 2 3 2.59 3.00 267 MAX VALUE 96.13 0.49 0.19 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.80	0.79	81.98	0.00	-24.71	0.12	0.15	4.07
Degree	4	61	33.20	34.00	3,420	MAX VALUE	335.22	19.46	0.59	3.52
Eccentricity	2	3	2.59	3.00	267	MAX VALUE	96.13	0.49	0.19	0.68

Triangulated minimal dual graph

Density: 12.07%

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

Clustering coefficient 0.45 1.00 0.75 0.69 77.55 0.00 -32.35 0.18 0.25 3.10

Degree 2 37 12.31 6.00 1,268 MAX VALUE 209.67 11.63 0.94 2.89

Eccentricity 3 5 3.95 4.00 407 MAX VALUE 140.12 0.64 0.16 0.97

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.75	0.69	77.55	0.00	-32.35	0.18	0.25	3.10
Degree	2	37	12.31	6.00	1,268	MAX VALUE	209.67	11.63	0.94	2.89
Eccentricity	3	5	3.95	4.00	407	MAX VALUE	140.12	0.64	0.16	0.97

Incidence graph

Density: 2.03%
MCB compute time (ms): 39
MCB cycles: 64
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 10 2.88 2.00 412 MAX VALUE 134.94 1.67 0.58 1.08

Eccentricity 7 9 7.92 8.00 1,132 MAX VALUE 295.51 0.55 0.07 0.82

MCB cycle size 6 10 7.94 8.00 508 MAX VALUE 131.73 1.27 0.16 0.96

XCSP 2.1 Benchmarks