XCSP 2.1 Benchmark Database

Instance: normalized-renault-mod-6-ext
Number of variables: 111
Number of constraints: 125
Satisfiable: True
Timestamp: 2025-07-20 22:08:37
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 111
Number of constraints: 125

General features

Coarse blocks: 348,598
Value tables: 112

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

Arity 2 10 4.78 5.00 598 MAX VALUE 184.00 1.90 0.40 1.86

Coarse blocks size 1 48,720 9.78 1.00 3,408,140 MAX VALUE 269,527.00 140.10 14.33 1.90

Relational linkage 0.00 0.97 0.14 0.17 11,210.70 0.00 -200,372.00 0.13 0.93 2.69

Tightness 0.01 1.00 0.77 0.94 96.42 0.00 -53.62 0.28 0.36 4.21

Tuples 3 48,721 1,589.21 80.00 198,651 MAX VALUE 608.95 6,103.35 3.84 4.02

Values 2 42 5.06 2.00 562 MAX VALUE 137.78 6.35 1.26 1.68

Value table constraints 2 80 7.93 3.00 888 MAX VALUE 155.13 14.07 1.77 1.99

Value table partitions 2 48,720 1,269.32 40.50 142,164 MAX VALUE 411.64 5,708.94 4.50 3.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	10	4.78	5.00	598	MAX VALUE	184.00	1.90	0.40	1.86
Coarse blocks size	1	48,720	9.78	1.00	3,408,140	MAX VALUE	269,527.00	140.10	14.33	1.90
Relational linkage	0.00	0.97	0.14	0.17	11,210.70	0.00	-200,372.00	0.13	0.93	2.69
Tightness	0.01	1.00	0.77	0.94	96.42	0.00	-53.62	0.28	0.36	4.21
Tuples	3	48,721	1,589.21	80.00	198,651	MAX VALUE	608.95	6,103.35	3.84	4.02
Values	2	42	5.06	2.00	562	MAX VALUE	137.78	6.35	1.26	1.68
Value table constraints	2	80	7.93	3.00	888	MAX VALUE	155.13	14.07	1.77	1.99
Value table partitions	2	48,720	1,269.32	40.50	142,164	MAX VALUE	411.64	5,708.94	4.50	3.52

Tree decomposition

Number of clusters: 89
Number of leaves: 16
Tree depth: 21
CIR: 0.29
Independent Cluster Pairs: 1,096
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Tree1.json

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

Cluster constraints 0 4 1.55 1.00 138 0 None 0.90 0.58 0.94

Variables per cluster 2 11 6.15 6.00 547 MAX VALUE 154.91 2.13 0.35 2.01

Separator constraints 0 2 0.15 0.00 13 0 None 0.38 2.63 0.43

Separator variables 0 10 4.90 5.00 436 0 None 2.14 0.44 2.00

Clusters per var 1 69 4.93 1.00 547 1.73e+27 62.72 12.44 2.52 1.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	4	1.55	1.00	138	0	None	0.90	0.58	0.94
Variables per cluster	2	11	6.15	6.00	547	MAX VALUE	154.91	2.13	0.35	2.01
Separator constraints	0	2	0.15	0.00	13	0	None	0.38	2.63	0.43
Separator variables	0	10	4.90	5.00	436	0	None	2.14	0.44	2.00
Clusters per var	1	69	4.93	1.00	547	1.73e+27	62.72	12.44	2.52	1.35

Dual tree decomposition

Number of clusters: 31
Number of leaves: 12
Tree depth: 6
CIR: 0.53
Independent Cluster Pairs: 231
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/DualTree1.json

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

Cluster constraints 3 3,160 459.68 30.00 14,250 MAX VALUE 126.35 893.77 1.94 2.98

Variables per cluster 3 80 20.94 9.00 649 3.89e+33 77.34 22.83 1.09 2.62

Separator constraints 0 2,920 330.77 15.00 10,254 0 None 715.72 2.16 3.00

Separator variables 0 77 16.90 6.00 524 0 None 20.15 1.19 2.48

Clusters per variable 1 15 5.19 3.00 649 MAX VALUE 167.16 3.81 0.73 2.24

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	3,160	459.68	30.00	14,250	MAX VALUE	126.35	893.77	1.94	2.98
Variables per cluster	3	80	20.94	9.00	649	3.89e+33	77.34	22.83	1.09	2.62
Separator constraints	0	2,920	330.77	15.00	10,254	0	None	715.72	2.16	3.00
Separator variables	0	77	16.90	6.00	524	0	None	20.15	1.19	2.48
Clusters per variable	1	15	5.19	3.00	649	MAX VALUE	167.16	3.81	0.73	2.24

Primal graph

Density: 8.73%
MCB compute time (ms): 18
MCB cycles: 451
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Primal1.json

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

Clustering coefficient 0.11 1.00 None 1.00 None None None None None 3.16

Degree 1 84 9.60 6.00 1,066 MAX VALUE 199.37 14.55 1.52 2.48

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.01 3.00 1,357 MAX VALUE 496.62 0.09 0.03 0.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.11	1.00	None	1.00	None	None	None	None	None	3.16
Degree	1	84	9.60	6.00	1,066	MAX VALUE	199.37	14.55	1.52	2.48
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.01	3.00	1,357	MAX VALUE	496.62	0.09	0.03	0.05

Triangulated primal graph

Density: 9.09%
MCB compute time (ms): 20
MCB cycles: 467
Triangles: None

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

Clustering coefficient 0.11 1.00 None 1.00 None None None None None 3.12

Degree 1 84 10.00 6.00 1,110 MAX VALUE 202.97 14.80 1.48 2.56

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 1,401 MAX VALUE 513.05 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.11	1.00	None	1.00	None	None	None	None	None	3.12
Degree	1	84	10.00	6.00	1,110	MAX VALUE	202.97	14.80	1.48	2.56
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	1,401	MAX VALUE	513.05	0.00	0.00	0.00

Dual graph

Density: 51.56%
MCB compute time (ms): 306
MCB cycles: 3,873
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Dual1.json

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

Clustering coefficient 0.33 1.00 0.90 0.94 112.69 0.00 -13.91 0.10 0.11 3.44

Degree 2 103 63.94 83.00 7,992 MAX VALUE 472.92 34.37 0.54 3.02

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.00 3.00 11,621 MAX VALUE 4,255.50 0.02 0.01 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.90	0.94	112.69	0.00	-13.91	0.10	0.11	3.44
Degree	2	103	63.94	83.00	7,992	MAX VALUE	472.92	34.37	0.54	3.02
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.00	3.00	11,621	MAX VALUE	4,255.50	0.02	0.01	0.00

Minimal dual graph

Density: 2.14%
MCB compute time (ms): 7
MCB cycles: 42

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

Clustering coefficient 0.00 0.33 None 0.00 None None None None None 0.56

Degree 1 5 2.66 3.00 332 MAX VALUE 117.08 0.74 0.28 1.10

Eccentricity None None None None None None None None None None

MCB cycle size 3 19 6.88 6.00 289 1.45e+33 76.36 3.57 0.52 2.12

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.00	None	None	None	None	None	0.56
Degree	1	5	2.66	3.00	332	MAX VALUE	117.08	0.74	0.28	1.10
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	19	6.88	6.00	289	1.45e+33	76.36	3.57	0.52	2.12

Triangulated dual graph

Density: 52.76%
Triangles: 101,572

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

Clustering coefficient 0.73 1.00 0.92 0.95 115.03 0.00 -10.91 0.08 0.09 3.14

Degree 2 104 65.42 83.00 8,178 MAX VALUE 477.41 34.50 0.53 3.16

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	0.73	1.00	0.92	0.95	115.03	0.00	-10.91	0.08	0.09	3.14
Degree	2	104	65.42	83.00	8,178	MAX VALUE	477.41	34.50	0.53	3.16
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 4.58%

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

Clustering coefficient 0.00 1.00 None 0.67 None None None None None 2.98

Degree 1 24 5.68 3.00 710 MAX VALUE 179.28 5.09 0.90 2.30

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	0.00	1.00	None	0.67	None	None	None	None	None	2.98
Degree	1	24	5.68	3.00	710	MAX VALUE	179.28	5.09	0.90	2.30
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.16%
MCB compute time (ms): 28
MCB cycles: 363
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-6-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 2.57

Degree 1 80 5.07 3.00 1,196 MAX VALUE 263.30 9.44 1.86 2.11

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 4.13 4.00 1,500 MAX VALUE 512.84 0.52 0.13 0.25

XCSP 2.1 Benchmarks