XCSP 2.1 Benchmark Database

Instance: normalized-cm42a_ext
Number of variables: 99
Number of constraints: 185
Satisfiable: None
Timestamp: 2018-04-21 10:27:37
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 99
Number of constraints: 185

General features

Number of coarse blocks: 69,950
Number of unique subscopes: 187

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

Arity 2 20 3.38 2.00 626 MAX VALUE 195.70 2.76 0.81 1.45

Coarse blocks size 1 524,288 990.78 4.00 69,305,200 MAX VALUE 195,899.00 18,229.80 18.40 0.96

Relational linkage None None None None None None None None None None

Tightness 0.00 0.25 0.17 0.25 30.65 0.00 -433.91 0.09 0.57 1.45

Tuples 3 1,048,580 12,240.10 3.00 2,264,430 MAX VALUE 399.25 108,577.00 8.87 1.45

Domain size 2 2 2.00 2.00 198 6.34e+29 68.62 0.00 0.00 0.00

Constraints per subscope 2 21 4.55 3.00 850 MAX VALUE 246.66 3.24 0.71 2.00

Partitions per subscope 2 16,384 183.56 2.00 34,326 MAX VALUE 264.78 1,684.87 9.18 1.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	20	3.38	2.00	626	MAX VALUE	195.70	2.76	0.81	1.45
Coarse blocks size	1	524,288	990.78	4.00	69,305,200	MAX VALUE	195,899.00	18,229.80	18.40	0.96
Relational linkage	None	None	None	None	None	None	None	None	None	None
Tightness	0.00	0.25	0.17	0.25	30.65	0.00	-433.91	0.09	0.57	1.45
Tuples	3	1,048,580	12,240.10	3.00	2,264,430	MAX VALUE	399.25	108,577.00	8.87	1.45
Domain size	2	2	2.00	2.00	198	6.34e+29	68.62	0.00	0.00	0.00
Constraints per subscope	2	21	4.55	3.00	850	MAX VALUE	246.66	3.24	0.71	2.00
Partitions per subscope	2	16,384	183.56	2.00	34,326	MAX VALUE	264.78	1,684.87	9.18	1.34

Tree decomposition

Number of clusters: 40
Number of leaves: 8
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Tree1.pdf

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

Cluster constraints 3 28 8.88 8.00 355 1.44e+35 80.96 5.66 0.64 2.13

Cluster variables 6 23 11.70 9.00 468 MAX VALUE 95.28 4.93 0.42 2.29

Separator constraints 0 14 4.25 3.00 170 0 None 3.76 0.88 2.16

Separator variables 0 21 9.22 8.00 369 0 None 4.58 0.50 2.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	28	8.88	8.00	355	1.44e+35	80.96	5.66	0.64	2.13
Cluster variables	6	23	11.70	9.00	468	MAX VALUE	95.28	4.93	0.42	2.29
Separator constraints	0	14	4.25	3.00	170	0	None	3.76	0.88	2.16
Separator variables	0	21	9.22	8.00	369	0	None	4.58	0.50	2.32

Dual tree decomposition

Number of clusters: 74
Number of leaves: 15
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/DualTree1.pdf

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

Cluster constraints 13 353 81.38 51.00 6,022 MAX VALUE 298.03 77.60 0.95 3.71

Cluster variables 6 53 16.93 14.00 1,253 MAX VALUE 198.04 10.69 0.63 3.02

Separator constraints 0 198 57.58 39.00 4,261 0 None 51.52 0.89 3.55

Separator variables 0 40 14.43 11.00 1,068 0 None 8.63 0.60 3.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	353	81.38	51.00	6,022	MAX VALUE	298.03	77.60	0.95	3.71
Cluster variables	6	53	16.93	14.00	1,253	MAX VALUE	198.04	10.69	0.63	3.02
Separator constraints	0	198	57.58	39.00	4,261	0	None	51.52	0.89	3.55
Separator variables	0	40	14.43	11.00	1,068	0	None	8.63	0.60	3.05

Primal graph

Density: 19.65%
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Primal1.pdf

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

Clustering coefficient 0.49 1.00 0.76 0.74 74.89 0.00 -29.16 0.13 0.17 3.37

Degree 5 44 19.25 20.00 1,906 MAX VALUE 276.16 10.27 0.53 2.96

Eccentricity 3 4 3.52 4.00 348 MAX VALUE 123.43 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.76	0.74	74.89	0.00	-29.16	0.13	0.17	3.37
Degree	5	44	19.25	20.00	1,906	MAX VALUE	276.16	10.27	0.53	2.96
Eccentricity	3	4	3.52	4.00	348	MAX VALUE	123.43	0.50	0.14	0.69

Triangulated primal graph

Density: 21.69%

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

Clustering coefficient 0.40 1.00 0.79 0.78 78.64 0.00 -24.62 0.15 0.18 3.44

Degree 5 53 21.25 22.00 2,104 MAX VALUE 284.25 12.10 0.57 3.00

Eccentricity 3 4 3.42 3.00 339 MAX VALUE 120.84 0.49 0.14 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.79	0.78	78.64	0.00	-24.62	0.15	0.18	3.44
Degree	5	53	21.25	22.00	2,104	MAX VALUE	284.25	12.10	0.57	3.00
Eccentricity	3	4	3.42	3.00	339	MAX VALUE	120.84	0.49	0.14	0.68

Dual graph

Density: 10.35%
MCB compute time (ms): 542
MCB cycles: 1,816
Triangles: 7,334
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Dual1.pdf

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

Clustering coefficient 0.21 0.80 0.63 0.66 117.29 0.00 -88.80 0.12 0.19 4.11

Degree 5 65 19.04 18.00 3,522 MAX VALUE 520.25 10.59 0.56 3.21

Eccentricity 3 5 4.10 4.00 758 MAX VALUE 260.03 0.40 0.10 0.55

MCB cycle size 3 4 3.01 3.00 5,463 MAX VALUE 1,999.40 0.09 0.03 0.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.21	0.80	0.63	0.66	117.29	0.00	-88.80	0.12	0.19	4.11
Degree	5	65	19.04	18.00	3,522	MAX VALUE	520.25	10.59	0.56	3.21
Eccentricity	3	5	4.10	4.00	758	MAX VALUE	260.03	0.40	0.10	0.55
MCB cycle size	3	4	3.01	3.00	5,463	MAX VALUE	1,999.40	0.09	0.03	0.05

Minimal dual graph

Density: 1.96%
MCB compute time (ms): 264
MCB cycles: 149

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

Clustering coefficient 0.00 1.00 0.03 0.00 5.90 0.00 None 0.12 3.68 0.63

Degree 2 6 3.60 4.00 666 MAX VALUE 232.26 0.81 0.22 1.19

Eccentricity 6 9 7.42 7.00 1,372 MAX VALUE 370.08 0.59 0.08 0.89

MCB cycle size 3 9 5.78 6.00 861 MAX VALUE 256.27 1.44 0.25 1.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.03	0.00	5.90	0.00	None	0.12	3.68	0.63
Degree	2	6	3.60	4.00	666	MAX VALUE	232.26	0.81	0.22	1.19
Eccentricity	6	9	7.42	7.00	1,372	MAX VALUE	370.08	0.59	0.08	0.89
MCB cycle size	3	9	5.78	6.00	861	MAX VALUE	256.27	1.44	0.25	1.73

Triangulated dual graph

Density: 25.14%
Triangles: 66,213

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

Clustering coefficient 0.44 1.00 0.79 0.79 146.22 0.00 -45.80 0.12 0.15 4.65

Degree 5 126 46.26 38.00 8,558 MAX VALUE 651.31 32.08 0.69 4.13

Eccentricity 3 5 3.81 4.00 704 MAX VALUE 245.20 0.56 0.15 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	0.79	0.79	146.22	0.00	-45.80	0.12	0.15	4.65
Degree	5	126	46.26	38.00	8,558	MAX VALUE	651.31	32.08	0.69	4.13
Eccentricity	3	5	3.81	4.00	704	MAX VALUE	245.20	0.56	0.15	0.83

Triangulated minimal dual graph

Density: 8.75%

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

Clustering coefficient 0.49 1.00 0.75 0.67 139.65 0.00 -57.23 0.18 0.24 3.36

Degree 2 59 16.10 7.00 2,978 MAX VALUE 408.21 17.20 1.07 3.12

Eccentricity 3 5 4.05 4.00 750 MAX VALUE 256.82 0.60 0.15 0.91

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.75	0.67	139.65	0.00	-57.23	0.18	0.24	3.36
Degree	2	59	16.10	7.00	2,978	MAX VALUE	408.21	17.20	1.07	3.12
Eccentricity	3	5	4.05	4.00	750	MAX VALUE	256.82	0.60	0.15	0.91

Incidence graph

Density: 1.56%
MCB compute time (ms): 267
MCB cycles: 361
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-cm42a_ext/Incidence1.pdf

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 21 4.41 3.00 1,252 MAX VALUE 367.94 3.30 0.75 1.99

Eccentricity 6 10 8.14 8.00 2,311 MAX VALUE 593.72 0.88 0.11 1.25

MCB cycle size 4 6 4.86 4.00 1,754 MAX VALUE 563.30 0.99 0.20 0.68

XCSP 2.1 Benchmarks