XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 108
Number of constraints: 128

General features

Coarse blocks: 347,846
Value tables: 121

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

Arity 2 10 4.73 5.00 606 MAX VALUE 187.00 1.91 0.40 1.86

Coarse blocks size 1 48,720 10.04 1.00 3,491,010 MAX VALUE 269,375.00 151.15 15.06 1.90

Relational linkage 0.00 1.00 0.14 0.17 11,202.50 0.00 -199,398.00 0.13 0.92 2.68

Tightness 0.01 1.00 0.74 0.93 94.90 0.00 -66.80 0.30 0.40 4.24

Tuples 3 48,721 1,542.21 78.00 197,403 MAX VALUE 611.32 6,038.31 3.92 4.04

Values 2 42 4.93 2.00 532 MAX VALUE 130.87 6.39 1.30 1.66

Value table constraints 2 80 7.94 3.00 961 MAX VALUE 166.90 14.25 1.79 2.01

Value table partitions 2 48,720 1,169.38 21.00 141,495 MAX VALUE 405.29 5,503.61 4.71 3.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	10	4.73	5.00	606	MAX VALUE	187.00	1.91	0.40	1.86
Coarse blocks size	1	48,720	10.04	1.00	3,491,010	MAX VALUE	269,375.00	151.15	15.06	1.90
Relational linkage	0.00	1.00	0.14	0.17	11,202.50	0.00	-199,398.00	0.13	0.92	2.68
Tightness	0.01	1.00	0.74	0.93	94.90	0.00	-66.80	0.30	0.40	4.24
Tuples	3	48,721	1,542.21	78.00	197,403	MAX VALUE	611.32	6,038.31	3.92	4.04
Values	2	42	4.93	2.00	532	MAX VALUE	130.87	6.39	1.30	1.66
Value table constraints	2	80	7.94	3.00	961	MAX VALUE	166.90	14.25	1.79	2.01
Value table partitions	2	48,720	1,169.38	21.00	141,495	MAX VALUE	405.29	5,503.61	4.71	3.45

Tree decomposition

Number of clusters: 86
Number of leaves: 21
Tree depth: 22
CIR: 0.25
Independent Cluster Pairs: 907
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Tree1.json

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

Cluster constraints 1 4 1.87 1.00 161 6.24e+17 40.97 1.05 0.56 1.17

Variables per cluster 2 13 6.70 6.00 576 MAX VALUE 155.36 2.65 0.40 2.21

Separator constraints 0 3 0.38 0.00 33 0 None 0.68 1.78 0.81

Separator variables 0 12 5.44 5.00 468 0 None 2.60 0.48 2.22

Clusters per var 1 68 5.33 1.00 576 1.75e+29 67.34 12.79 2.40 1.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	4	1.87	1.00	161	6.24e+17	40.97	1.05	0.56	1.17
Variables per cluster	2	13	6.70	6.00	576	MAX VALUE	155.36	2.65	0.40	2.21
Separator constraints	0	3	0.38	0.00	33	0	None	0.68	1.78	0.81
Separator variables	0	12	5.44	5.00	468	0	None	2.60	0.48	2.22
Clusters per var	1	68	5.33	1.00	576	1.75e+29	67.34	12.79	2.40	1.43

Dual tree decomposition

Number of clusters: 35
Number of leaves: 15
Tree depth: 7
CIR: 0.51
Independent Cluster Pairs: 287
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/DualTree1.json

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

Cluster constraints 3 3,228 469.66 21.00 16,438 MAX VALUE 139.05 911.00 1.94 3.30

Variables per cluster 3 81 21.00 7.00 735 8.40e+37 87.32 23.31 1.11 2.72

Separator constraints 0 3,069 353.60 15.00 12,376 0 None 756.60 2.14 3.07

Separator variables 0 79 17.34 6.00 607 0 None 20.96 1.21 2.72

Clusters per variable 1 15 5.74 5.00 735 MAX VALUE 187.49 3.75 0.65 2.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	3,228	469.66	21.00	16,438	MAX VALUE	139.05	911.00	1.94	3.30
Variables per cluster	3	81	21.00	7.00	735	8.40e+37	87.32	23.31	1.11	2.72
Separator constraints	0	3,069	353.60	15.00	12,376	0	None	756.60	2.14	3.07
Separator variables	0	79	17.34	6.00	607	0	None	20.96	1.21	2.72
Clusters per variable	1	15	5.74	5.00	735	MAX VALUE	187.49	3.75	0.65	2.46

Primal graph

Density: 9.36%
MCB compute time (ms): 24
MCB cycles: 459
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-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.42

Degree 1 84 10.02 6.00 1,082 MAX VALUE 199.51 14.70 1.47 2.54

Eccentricity None None None None None None None None None None

MCB cycle size 3 5 3.02 3.00 1,384 MAX VALUE 506.21 0.14 0.05 0.08

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.42
Degree	1	84	10.02	6.00	1,082	MAX VALUE	199.51	14.70	1.47	2.54
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	5	3.02	3.00	1,384	MAX VALUE	506.21	0.14	0.05	0.08

Triangulated primal graph

Density: 10.57%
MCB compute time (ms): 22
MCB cycles: 559
Triangles: None

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

Clustering coefficient 0.12 1.00 None 1.00 None None None None None 3.14

Degree 1 88 11.31 6.00 1,222 MAX VALUE 208.35 16.02 1.42 2.75

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 1,677 MAX VALUE 614.12 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.12	1.00	None	1.00	None	None	None	None	None	3.14
Degree	1	88	11.31	6.00	1,222	MAX VALUE	208.35	16.02	1.42	2.75
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	1,677	MAX VALUE	614.12	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.20 1.00 0.87 0.93 111.71 0.00 -20.20 0.15 0.17 3.66

Degree 2 103 63.47 84.00 8,124 MAX VALUE 480.83 35.10 0.55 3.13

Eccentricity None None None None None None None None None None

MCB cycle size 3 5 3.00 3.00 11,834 MAX VALUE 4,332.30 0.07 0.02 0.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.20	1.00	0.87	0.93	111.71	0.00	-20.20	0.15	0.17	3.66
Degree	2	103	63.47	84.00	8,124	MAX VALUE	480.83	35.10	0.55	3.13
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	5	3.00	3.00	11,834	MAX VALUE	4,332.30	0.07	0.02	0.02

Minimal dual graph

Density: 2.21%
MCB compute time (ms): 12
MCB cycles: 53

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

Clustering coefficient 0.00 0.33 0.02 0.00 2.00 0.00 None 0.06 3.87 0.30

Degree 2 5 2.81 3.00 360 MAX VALUE 127.88 0.75 0.27 1.08

Eccentricity None None None None None None None None None None

MCB cycle size 3 14 6.94 6.00 368 MAX VALUE 98.34 2.81 0.40 2.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.02	0.00	2.00	0.00	None	0.06	3.87	0.30
Degree	2	5	2.81	3.00	360	MAX VALUE	127.88	0.75	0.27	1.08
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	14	6.94	6.00	368	MAX VALUE	98.34	2.81	0.40	2.28

Triangulated dual graph

Density: 51.83%
Triangles: 104,880

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

Clustering coefficient 0.56 1.00 0.91 0.94 116.02 0.00 -13.33 0.09 0.10 3.54

Degree 2 104 65.83 84.00 8,426 MAX VALUE 489.35 35.06 0.53 3.29

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.56	1.00	0.91	0.94	116.02	0.00	-13.33	0.09	0.10	3.54
Degree	2	104	65.83	84.00	8,426	MAX VALUE	489.35	35.06	0.53	3.29
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 5.49%

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

Clustering coefficient 0.23 1.00 0.70 0.67 90.03 0.00 -53.08 0.24 0.34 2.76

Degree 2 32 6.97 4.00 892 MAX VALUE 203.80 6.60 0.95 2.47

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.23	1.00	0.70	0.67	90.03	0.00	-53.08	0.24	0.34	2.76
Degree	2	32	6.97	4.00	892	MAX VALUE	203.80	6.60	0.95	2.47
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.19%
MCB compute time (ms): 39
MCB cycles: 371
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-47-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.54

Degree 1 80 5.14 3.00 1,212 MAX VALUE 271.77 9.44 1.84 2.11

Eccentricity None None None None None None None None None None

MCB cycle size 4 10 4.20 4.00 1,560 MAX VALUE 528.95 0.72 0.17 0.34

XCSP 2.1 Benchmarks