XCSP2 Benchmark Database

Instance: normalized-ooo-rf7-ext
Number of variables: 3736
Number of constraints: 3614
Satisfiable: True
Timestamp: 2025-07-27 21:32:48
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 3736
Number of constraints: 3614

General features

Coarse blocks: 190,233
Value tables: 3,738

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

Arity 2 11 3.33 3.00 12,036 MAX VALUE 4,119.92 1.71 0.51 0.44

Coarse blocks size 1 528 3.54 1.00 674,310 MAX VALUE 49,998.00 21.21 5.99 0.57

Relational linkage 0.25 1.00 0.49 0.50 41,423.20 0.00 -60,764.30 0.05 0.10 0.18

Tightness 0.00 0.62 0.50 0.50 1,800.38 0.00 None 0.03 0.07 0.06

Tuples 1 1,024 47.73 4.00 172,481 MAX VALUE 5,812.52 201.96 4.23 0.50

Values 1 2 1.99 2.00 7,452 MAX VALUE 2,575.73 0.07 0.04 0.03

Value table constraints 2 55 2.90 2.00 10,839 MAX VALUE 3,323.26 2.93 1.01 0.96

Value table partitions 1 1,024 22.59 2.00 84,450 MAX VALUE 3,130.67 141.77 6.28 0.20

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	11	3.33	3.00	12,036	MAX VALUE	4,119.92	1.71	0.51	0.44
Coarse blocks size	1	528	3.54	1.00	674,310	MAX VALUE	49,998.00	21.21	5.99	0.57
Relational linkage	0.25	1.00	0.49	0.50	41,423.20	0.00	-60,764.30	0.05	0.10	0.18
Tightness	0.00	0.62	0.50	0.50	1,800.38	0.00	None	0.03	0.07	0.06
Tuples	1	1,024	47.73	4.00	172,481	MAX VALUE	5,812.52	201.96	4.23	0.50
Values	1	2	1.99	2.00	7,452	MAX VALUE	2,575.73	0.07	0.04	0.03
Value table constraints	2	55	2.90	2.00	10,839	MAX VALUE	3,323.26	2.93	1.01	0.96
Value table partitions	1	1,024	22.59	2.00	84,450	MAX VALUE	3,130.67	141.77	6.28	0.20

Tree decomposition

Number of clusters: 3,114
Number of leaves: 1,312
Tree depth: 29
CIR: 0.93
Independent Cluster Pairs: 4,523,670
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Tree1.json

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

Cluster constraints 0 25 1.57 2.00 4,880 0 None 1.48 0.95 1.33

Variables per cluster 2 195 10.88 6.00 33,874 MAX VALUE 6,414.63 15.40 1.42 2.46

Separator constraints 0 19 0.41 0.00 1,266 0 None 1.30 3.21 0.76

Separator variables 0 143 9.68 5.00 30,138 0 None 14.50 1.50 2.47

Clusters per var 1 200 9.07 3.00 33,874 MAX VALUE 4,471.69 19.05 2.10 2.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	25	1.57	2.00	4,880	0	None	1.48	0.95	1.33
Variables per cluster	2	195	10.88	6.00	33,874	MAX VALUE	6,414.63	15.40	1.42	2.46
Separator constraints	0	19	0.41	0.00	1,266	0	None	1.30	3.21	0.76
Separator variables	0	143	9.68	5.00	30,138	0	None	14.50	1.50	2.47
Clusters per var	1	200	9.07	3.00	33,874	MAX VALUE	4,471.69	19.05	2.10	2.65

Dual tree decomposition

Number of clusters: 2,082
Number of leaves: 840
Tree depth: 32
CIR: 0.95
Independent Cluster Pairs: 2,053,980
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/DualTree1.json

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

Cluster constraints 0 4,397 86.35 7.00 179,790 None None 306.29 3.55 3.94

Variables per cluster 2 447 21.99 7.00 45,784 MAX VALUE 4,887.25 43.45 1.98 3.36

Separator constraints 0 3,161 73.87 3.00 153,797 0 None 258.39 3.50 3.50

Separator variables 0 360 20.25 6.00 42,170 0 None 39.28 1.94 3.35

Clusters per variable 1 73 12.67 8.00 45,784 MAX VALUE 6,707.95 12.28 0.97 3.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	4,397	86.35	7.00	179,790	None	None	306.29	3.55	3.94
Variables per cluster	2	447	21.99	7.00	45,784	MAX VALUE	4,887.25	43.45	1.98	3.36
Separator constraints	0	3,161	73.87	3.00	153,797	0	None	258.39	3.50	3.50
Separator variables	0	360	20.25	6.00	42,170	0	None	39.28	1.94	3.35
Clusters per variable	1	73	12.67	8.00	45,784	MAX VALUE	6,707.95	12.28	0.97	3.27

Primal graph

Density: 0.20%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Primal1.json

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

Clustering coefficient 0.02 1.00 None 0.33 None None None None None 1.64

Degree 1 109 7.38 4.00 27,568 MAX VALUE 6,269.98 10.43 1.41 1.50

Eccentricity 7 13 9.94 10.00 37,151 MAX VALUE 8,565.62 0.91 0.09 1.33

MCB cycle size 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	0.02	1.00	None	0.33	None	None	None	None	None	1.64
Degree	1	109	7.38	4.00	27,568	MAX VALUE	6,269.98	10.43	1.41	1.50
Eccentricity	7	13	9.94	10.00	37,151	MAX VALUE	8,565.62	0.91	0.09	1.33
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 1.12%
MCB compute time (ms): None
MCB cycles: None
Triangles: None

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

Clustering coefficient 0.25 1.00 None 0.80 None None None None None 3.94

Degree 1 570 41.89 8.00 156,512 MAX VALUE 9,386.33 87.61 2.09 3.41

Eccentricity 3 6 5.07 5.00 18,942 MAX VALUE 6,047.62 0.49 0.10 0.71

MCB cycle size 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	0.25	1.00	None	0.80	None	None	None	None	None	3.94
Degree	1	570	41.89	8.00	156,512	MAX VALUE	9,386.33	87.61	2.09	3.41
Eccentricity	3	6	5.07	5.00	18,942	MAX VALUE	6,047.62	0.49	0.10	0.71
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.40%
MCB compute time (ms): 3,873,940
MCB cycles: 25,919
Triangles: 129,644
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Dual1.json

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

Clustering coefficient 0.00 1.00 None 0.45 None None None None None 4.35

Degree 1 86 14.38 10.00 51,986 MAX VALUE 8,128.10 13.70 0.95 3.26

Eccentricity 7 12 9.31 9.00 33,632 MAX VALUE 8,044.49 0.91 0.10 1.31

MCB cycle size 3 10 3.33 3.00 86,390 MAX VALUE 30,698.80 0.78 0.23 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.45	None	None	None	None	None	4.35
Degree	1	86	14.38	10.00	51,986	MAX VALUE	8,128.10	13.70	0.95	3.26
Eccentricity	7	12	9.31	9.00	33,632	MAX VALUE	8,044.49	0.91	0.10	1.31
MCB cycle size	3	10	3.33	3.00	86,390	MAX VALUE	30,698.80	0.78	0.23	0.73

Minimal dual graph

Density: 0.11%
MCB compute time (ms): 1,162,570
MCB cycles: 3,263

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

Degree 1 7 3.80 4.00 13,748 MAX VALUE 4,748.35 0.81 0.21 1.16

Eccentricity 11 17 14.04 14.00 50,736 MAX VALUE 9,536.29 1.11 0.08 1.51

MCB cycle size 3 15 6.63 7.00 21,633 MAX VALUE 6,023.74 1.93 0.29 2.03

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.40
Degree	1	7	3.80	4.00	13,748	MAX VALUE	4,748.35	0.81	0.21	1.16
Eccentricity	11	17	14.04	14.00	50,736	MAX VALUE	9,536.29	1.11	0.08	1.51
MCB cycle size	3	15	6.63	7.00	21,633	MAX VALUE	6,023.74	1.93	0.29	2.03

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

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

Clustering coefficient 0.00 1.00 None 0.80 None None None None None 4.84

Degree 1 826 116.45 8.00 420,836 MAX VALUE 10,515.90 201.73 1.73 4.14

Eccentricity 4 7 5.01 5.00 18,119 MAX VALUE 5,800.36 0.59 0.12 0.90

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.80	None	None	None	None	None	4.84
Degree	1	826	116.45	8.00	420,836	MAX VALUE	10,515.90	201.73	1.73	4.14
Eccentricity	4	7	5.01	5.00	18,119	MAX VALUE	5,800.36	0.59	0.12	0.90

Incidence graph

Density: 0.04%
MCB compute time (ms): 569,679
MCB cycles: 5,096
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-uclidExtConvert/normalized-ooo-rf7-ext/Incidence1.json

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

Degree 1 55 3.28 3.00 24,072 MAX VALUE 7,612.65 2.85 0.87 1.20

Eccentricity 15 26 19.76 20.00 145,246 MAX VALUE 21,899.50 1.81 0.09 2.00

MCB cycle size 4 20 7.67 8.00 39,068 MAX VALUE 9,928.23 3.24 0.42 1.71

XCSP2 Benchmarks