XCSP 2.1 Benchmark Database

Instance: normalized-bf-2670-001_ext
Number of variables: 2786
Number of constraints: 4821
Satisfiable: None
Timestamp: 2018-04-21 10:43:28
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 2784
Number of constraints: 4820

General features

Number of coarse blocks: 23,424
Number of unique subscopes: 3,088

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

Arity 2 5 2.24 2.00 10,789 MAX VALUE 3,778.17 0.54 0.24 0.60

Coarse blocks size 1 16 2.25 2.00 52,815 MAX VALUE 14,171.70 1.92 0.85 1.38

Relational linkage 0.50 1.00 0.61 0.50 3,960.69 0.00 -3,429.17 0.20 0.33 0.75

Tightness 0.00 0.25 0.19 0.25 932.19 0.00 None 0.09 0.48 0.91

Tuples 1 31 3.74 3.00 18,032 MAX VALUE 5,497.30 3.03 0.81 1.01

Domain size 1 2 1.88 2.00 5,234 MAX VALUE 1,698.21 0.32 0.17 0.37

Constraints per subscope 2 32 3.75 3.00 11,595 MAX VALUE 3,800.55 2.26 0.60 1.58

Partitions per subscope 1 8 2.09 2.00 6,459 MAX VALUE 2,107.17 0.81 0.39 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.24	2.00	10,789	MAX VALUE	3,778.17	0.54	0.24	0.60
Coarse blocks size	1	16	2.25	2.00	52,815	MAX VALUE	14,171.70	1.92	0.85	1.38
Relational linkage	0.50	1.00	0.61	0.50	3,960.69	0.00	-3,429.17	0.20	0.33	0.75
Tightness	0.00	0.25	0.19	0.25	932.19	0.00	None	0.09	0.48	0.91
Tuples	1	31	3.74	3.00	18,032	MAX VALUE	5,497.30	3.03	0.81	1.01
Domain size	1	2	1.88	2.00	5,234	MAX VALUE	1,698.21	0.32	0.17	0.37
Constraints per subscope	2	32	3.75	3.00	11,595	MAX VALUE	3,800.55	2.26	0.60	1.58
Partitions per subscope	1	8	2.09	2.00	6,459	MAX VALUE	2,107.17	0.81	0.39	0.66

Tree decomposition

Number of clusters: 2,375
Number of leaves: 826
Tree depth: 29
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Tree1.pdf

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

Cluster constraints 0 24 3.72 3.00 8,824 0 None 2.29 0.62 1.84

Cluster variables 2 51 7.10 6.00 16,853 MAX VALUE 4,293.82 4.99 0.70 2.46

Separator constraints 0 20 1.69 1.00 4,004 0 None 2.34 1.39 1.73

Separator variables 0 43 5.92 5.00 14,069 0 None 4.50 0.76 2.41

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	24	3.72	3.00	8,824	0	None	2.29	0.62	1.84
Cluster variables	2	51	7.10	6.00	16,853	MAX VALUE	4,293.82	4.99	0.70	2.46
Separator constraints	0	20	1.69	1.00	4,004	0	None	2.34	1.39	1.73
Separator variables	0	43	5.92	5.00	14,069	0	None	4.50	0.76	2.41

Dual tree decomposition

Number of clusters: 2,718
Number of leaves: 1,138
Tree depth: 29
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/DualTree1.pdf

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

Cluster constraints 0 935 21.48 9.00 58,381 0 None 57.95 2.70 3.32

Cluster variables 2 170 10.69 7.00 29,045 MAX VALUE 5,744.78 12.66 1.19 2.85

Separator constraints 0 813 13.22 4.00 35,945 0 None 40.61 3.07 3.03

Separator variables 0 121 8.91 6.00 24,225 0 None 10.40 1.17 2.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	935	21.48	9.00	58,381	0	None	57.95	2.70	3.32
Cluster variables	2	170	10.69	7.00	29,045	MAX VALUE	5,744.78	12.66	1.19	2.85
Separator constraints	0	813	13.22	4.00	35,945	0	None	40.61	3.07	3.03
Separator variables	0	121	8.91	6.00	24,225	0	None	10.40	1.17	2.72

Primal graph

Density: 0.18%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Primal1.pdf

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

Clustering coefficient 0.00 1.00 None 0.17 None None None None None 2.39

Degree 1 32 4.92 5.00 13,700 MAX VALUE 4,157.86 2.54 0.52 2.02

Eccentricity 15 25 20.76 21.00 57,787 MAX VALUE 8,425.53 2.30 0.11 2.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.17	None	None	None	None	None	2.39
Degree	1	32	4.92	5.00	13,700	MAX VALUE	4,157.86	2.54	0.52	2.02
Eccentricity	15	25	20.76	21.00	57,787	MAX VALUE	8,425.53	2.30	0.11	2.17

Triangulated primal graph

Density: 0.57%

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

Clustering coefficient 0.11 1.00 None 0.75 None None None None None 4.59

Degree 1 306 15.97 7.00 44,462 MAX VALUE 5,929.42 26.42 1.65 3.36

Eccentricity 7 14 11.53 12.00 32,093 MAX VALUE 6,799.87 0.77 0.07 1.14

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.11	1.00	None	0.75	None	None	None	None	None	4.59
Degree	1	306	15.97	7.00	44,462	MAX VALUE	5,929.42	26.42	1.65	3.36
Eccentricity	7	14	11.53	12.00	32,093	MAX VALUE	6,799.87	0.77	0.07	1.14

Dual graph

Density: 0.19%
MCB compute time (ms): 6,617,930
MCB cycles: 17,988
Triangles: 65,073
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Dual1.pdf

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

Clustering coefficient 0.00 1.00 None 0.47 None None None None None 3.61

Degree 1 60 9.31 7.00 44,872 MAX VALUE 9,826.59 6.67 0.72 2.71

Eccentricity 15 25 20.47 21.00 98,669 MAX VALUE 14,523.10 2.18 0.11 2.13

MCB cycle size 3 21 3.25 3.00 58,378 MAX VALUE 20,829.40 0.87 0.27 0.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.47	None	None	None	None	None	3.61
Degree	1	60	9.31	7.00	44,872	MAX VALUE	9,826.59	6.67	0.72	2.71
Eccentricity	15	25	20.47	21.00	98,669	MAX VALUE	14,523.10	2.18	0.11	2.13
MCB cycle size	3	21	3.25	3.00	58,378	MAX VALUE	20,829.40	0.87	0.27	0.56

Minimal dual graph

Density: 0.07%
MCB compute time (ms): 675,277
MCB cycles: 2,821

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

Clustering coefficient 0.00 1.00 None 0.00 None None None None None 0.95

Degree 1 6 3.17 3.00 15,278 MAX VALUE 5,438.29 0.70 0.22 1.05

Eccentricity 23 41 32.26 33.00 155,501 MAX VALUE 16,712.90 3.62 0.11 2.68

MCB cycle size 3 34 6.97 6.00 19,670 MAX VALUE 5,297.73 2.95 0.42 2.14

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.00	None	None	None	None	None	0.95
Degree	1	6	3.17	3.00	15,278	MAX VALUE	5,438.29	0.70	0.22	1.05
Eccentricity	23	41	32.26	33.00	155,501	MAX VALUE	16,712.90	3.62	0.11	2.68
MCB cycle size	3	34	6.97	6.00	19,670	MAX VALUE	5,297.73	2.95	0.42	2.14

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

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: 0.48%

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

Clustering coefficient 0.12 1.00 None 0.67 None None None None None 4.55

Degree 1 322 23.17 5.00 111,666 MAX VALUE 9,931.19 49.10 2.12 3.37

Eccentricity 8 16 11.59 12.00 55,859 MAX VALUE 11,793.10 0.96 0.08 1.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.12	1.00	None	0.67	None	None	None	None	None	4.55
Degree	1	322	23.17	5.00	111,666	MAX VALUE	9,931.19	49.10	2.12	3.37
Eccentricity	8	16	11.59	12.00	55,859	MAX VALUE	11,793.10	0.96	0.08	1.33

Incidence graph

Density: 0.04%
MCB compute time (ms): 830,627
MCB cycles: 3,189
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-2670-001_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.83

Degree 1 32 2.84 2.00 21,578 MAX VALUE 7,284.36 1.68 0.59 1.25

Eccentricity 30 51 41.73 43.00 317,350 MAX VALUE 28,327.30 4.47 0.11 2.82

MCB cycle size 4 42 8.08 8.00 25,768 MAX VALUE 6,429.91 3.62 0.45 1.40

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.83
Degree	1	32	2.84	2.00	21,578	MAX VALUE	7,284.36	1.68	0.59	1.25
Eccentricity	30	51	41.73	43.00	317,350	MAX VALUE	28,327.30	4.47	0.11	2.82
MCB cycle size	4	42	8.08	8.00	25,768	MAX VALUE	6,429.91	3.62	0.45	1.40

Component #2

Number of variables: 2
Number of constraints: 1

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 2 2 2.00 2.00 2 2 0.69 0.00 0.00 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 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Tuples 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00

Domain size 1 1 1.00 1.00 2 1 0.00 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

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Arity	2	2	2.00	2.00	2	2	0.69	0.00	0.00
Coarse blocks size	None	None	None	None	0	1	0.00	None	None
Relational linkage	None	None	None	None	0.00	1.00	0.00	None	None
Tightness	0.00	0.00	0.00	0.00	0.00	0.00	None	0.00	None
Tuples	1	1	1.00	1.00	1	1	0.00	0.00	0.00
Domain size	1	1	1.00	1.00	2	1	0.00	0.00	0.00
Constraints per subscope	None	None	None	None	0	1	0.00	None	None
Partitions per subscope	None	None	None	None	0	1	0.00	None	None

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 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00

Cluster variables 2 2 2.00 2.00 2 2 0.69 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

Feature	min	max	mean	median	sum	prod	ln(prod)	COV
Cluster constraints	1	1	1.00	1.00	1	1	0.00	0.00
Cluster variables	2	2	2.00	2.00	2	2	0.69	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	None
Separator variables	0	0	0.00	0.00	0	0	None	None

Dual 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

Feature	min	max	mean	median	sum	prod	ln(prod)	COV
Cluster constraints	0	0	0.00	0.00	0	0	None	None
Cluster variables	1	1	1.00	1.00	1	1	0.00	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	None
Separator variables	0	0	0.00	0.00	0	0	None	None

Primal graph

Density: 100.00%
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.69

Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

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.69
Degree	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00
Eccentricity	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00

Triangulated primal graph

Density: 100.00%

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.69

Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

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.69
Degree	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00
Eccentricity	1	1	1.00	1.00	2	1	0.00	0.00	0.00	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 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

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None
MCB cycle size	None	None	None	None	0	1	0.00	None	None

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 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

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None
MCB cycle size	None	None	None	None	0	1	0.00	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

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: 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

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None

Incidence graph

Density: 66.67%
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 1.10

Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64

Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64

MCB cycle size None None None None 0 1 0.00 None None 0.00

XCSP 2.1 Benchmarks