-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path00-n20-a6-d25-t5-k2.xml
executable file
·133 lines (127 loc) · 13.1 KB
/
00-n20-a6-d25-t5-k2.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
<?xml version="1.0" encoding="UTF-8"?>
<instance>
<presentation name="?" maxConstraintArity="2" format="XCSP 2.0"/>
<domains nbDomains="1">
<domain name="D0" nbValues="6">0..5</domain>
</domains>
<variables nbVariables="20">
<variable name="V0" domain="D0"/>
<variable name="V1" domain="D0"/>
<variable name="V2" domain="D0"/>
<variable name="V3" domain="D0"/>
<variable name="V4" domain="D0"/>
<variable name="V5" domain="D0"/>
<variable name="V6" domain="D0"/>
<variable name="V7" domain="D0"/>
<variable name="V8" domain="D0"/>
<variable name="V9" domain="D0"/>
<variable name="V10" domain="D0"/>
<variable name="V11" domain="D0"/>
<variable name="V12" domain="D0"/>
<variable name="V13" domain="D0"/>
<variable name="V14" domain="D0"/>
<variable name="V15" domain="D0"/>
<variable name="V16" domain="D0"/>
<variable name="V17" domain="D0"/>
<variable name="V18" domain="D0"/>
<variable name="V19" domain="D0"/>
</variables>
<relations nbRelations="47">
<relation name="R0" arity="2" nbTuples="18" semantics="supports">0 3 | 0 4 | 0 5 | 1 0 | 1 2 | 1 3 | 1 4 | 2 1 | 2 2 | 2 4 | 2 5 | 3 2 | 3 3 | 4 0 | 4 2 | 4 3 | 5 2 | 5 3 </relation>
<relation name="R1" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 0 | 1 1 | 1 2 | 2 0 | 2 2 | 2 4 | 3 0 | 3 1 | 3 2 | 3 3 | 4 5 | 5 1 </relation>
<relation name="R2" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 0 5 | 1 2 | 1 4 | 2 4 | 2 5 | 3 1 | 3 2 | 3 4 | 3 5 | 4 0 | 4 1 | 4 2 | 4 3 | 4 5 | 5 2 </relation>
<relation name="R3" arity="2" nbTuples="18" semantics="supports">0 0 | 0 2 | 0 4 | 1 2 | 1 4 | 1 5 | 2 0 | 2 3 | 2 4 | 2 5 | 3 0 | 3 1 | 3 3 | 3 4 | 3 5 | 4 0 | 4 1 | 4 5 </relation>
<relation name="R4" arity="2" nbTuples="18" semantics="supports">0 1 | 0 3 | 0 4 | 1 0 | 1 1 | 1 3 | 1 4 | 1 5 | 2 0 | 2 1 | 2 2 | 2 5 | 3 1 | 3 2 | 3 3 | 3 4 | 3 5 | 4 0 </relation>
<relation name="R5" arity="2" nbTuples="18" semantics="supports">0 0 | 0 4 | 1 0 | 1 1 | 1 4 | 1 5 | 2 1 | 2 3 | 3 3 | 3 5 | 4 0 | 4 1 | 4 3 | 4 4 | 4 5 | 5 1 | 5 2 | 5 3 </relation>
<relation name="R6" arity="2" nbTuples="18" semantics="supports">0 4 | 0 5 | 1 0 | 1 1 | 1 3 | 1 4 | 1 5 | 2 0 | 2 2 | 2 4 | 2 5 | 3 1 | 3 2 | 3 3 | 3 4 | 4 5 | 5 0 | 5 2 </relation>
<relation name="R7" arity="2" nbTuples="18" semantics="supports">0 2 | 0 3 | 0 5 | 1 1 | 1 2 | 1 3 | 1 4 | 1 5 | 2 1 | 2 2 | 2 3 | 2 5 | 3 0 | 3 2 | 3 3 | 3 4 | 3 5 | 4 5 </relation>
<relation name="R8" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 3 | 0 4 | 1 1 | 1 4 | 1 5 | 2 0 | 2 2 | 2 4 | 2 5 | 3 4 | 4 1 | 4 2 | 4 3 | 4 4 | 5 1 | 5 2 </relation>
<relation name="R9" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 0 4 | 1 0 | 1 2 | 1 4 | 2 1 | 2 3 | 2 4 | 2 5 | 3 0 | 3 1 | 3 2 | 3 3 | 3 4 | 3 5 | 4 5 </relation>
<relation name="R10" arity="2" nbTuples="18" semantics="supports">0 1 | 0 3 | 1 0 | 1 1 | 1 2 | 1 3 | 1 4 | 1 5 | 2 0 | 2 2 | 2 3 | 2 5 | 3 4 | 3 5 | 4 0 | 4 1 | 4 4 | 4 5 </relation>
<relation name="R11" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 5 | 1 0 | 1 2 | 1 3 | 1 4 | 1 5 | 2 1 | 2 2 | 3 0 | 3 1 | 3 2 | 3 4 | 3 5 | 4 1 | 5 0 </relation>
<relation name="R12" arity="2" nbTuples="18" semantics="supports">0 5 | 1 0 | 1 2 | 1 5 | 2 0 | 2 2 | 2 5 | 3 0 | 3 1 | 3 3 | 3 5 | 4 0 | 4 1 | 4 2 | 4 4 | 5 1 | 5 3 | 5 5 </relation>
<relation name="R13" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 4 | 0 5 | 1 0 | 1 2 | 1 3 | 2 1 | 2 2 | 2 4 | 2 5 | 3 0 | 3 1 | 3 2 | 3 3 | 3 5 | 5 5 </relation>
<relation name="R14" arity="2" nbTuples="18" semantics="supports">1 0 | 1 1 | 1 2 | 1 3 | 2 0 | 2 3 | 2 4 | 2 5 | 3 1 | 3 3 | 3 4 | 4 2 | 4 3 | 4 4 | 5 0 | 5 1 | 5 2 | 5 3 </relation>
<relation name="R15" arity="2" nbTuples="18" semantics="supports">0 3 | 1 0 | 1 1 | 1 5 | 2 0 | 2 1 | 2 2 | 2 5 | 3 1 | 3 2 | 3 3 | 3 4 | 3 5 | 4 0 | 4 3 | 5 1 | 5 2 | 5 4 </relation>
<relation name="R16" arity="2" nbTuples="18" semantics="supports">0 0 | 0 2 | 0 5 | 1 0 | 1 2 | 1 4 | 2 0 | 2 1 | 2 4 | 2 5 | 3 2 | 3 3 | 3 5 | 4 2 | 4 3 | 5 1 | 5 2 | 5 4 </relation>
<relation name="R17" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 0 | 1 1 | 1 2 | 1 3 | 1 4 | 2 2 | 2 3 | 2 4 | 2 5 | 3 2 | 3 4 | 5 2 </relation>
<relation name="R18" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 0 | 1 1 | 1 2 | 1 4 | 1 5 | 2 0 | 2 3 | 3 0 | 3 3 | 3 5 | 4 0 | 4 1 | 4 3 </relation>
<relation name="R19" arity="2" nbTuples="18" semantics="supports">0 0 | 0 2 | 1 0 | 1 1 | 1 2 | 1 3 | 2 0 | 2 4 | 2 5 | 3 0 | 3 1 | 3 2 | 3 3 | 3 4 | 4 2 | 4 5 | 5 2 | 5 3 </relation>
<relation name="R20" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 1 1 | 1 3 | 1 4 | 1 5 | 2 0 | 2 2 | 2 3 | 2 5 | 3 0 | 3 1 | 3 3 | 3 4 | 4 1 | 4 2 | 4 5 </relation>
<relation name="R21" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 5 | 1 0 | 1 2 | 2 4 | 2 5 | 3 0 | 3 2 | 3 4 | 4 1 | 4 2 | 4 3 | 4 5 | 5 1 | 5 3 </relation>
<relation name="R22" arity="2" nbTuples="18" semantics="supports">0 2 | 0 3 | 0 4 | 1 0 | 1 2 | 1 3 | 1 5 | 2 0 | 2 1 | 2 3 | 2 4 | 3 3 | 3 5 | 4 0 | 4 2 | 4 3 | 4 4 | 4 5 </relation>
<relation name="R23" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 3 | 0 4 | 0 5 | 1 1 | 1 5 | 2 2 | 2 3 | 2 4 | 3 0 | 3 1 | 3 2 | 3 5 | 4 0 | 4 4 | 5 1 | 5 2 </relation>
<relation name="R24" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 1 0 | 1 1 | 2 1 | 2 2 | 3 0 | 3 1 | 3 2 | 3 3 | 3 4 | 4 0 | 4 1 | 4 2 | 4 5 | 5 0 | 5 3 </relation>
<relation name="R25" arity="2" nbTuples="18" semantics="supports">0 1 | 0 3 | 0 5 | 1 0 | 1 1 | 1 3 | 1 4 | 1 5 | 2 5 | 3 0 | 3 2 | 3 3 | 3 5 | 4 0 | 4 2 | 4 4 | 5 3 | 5 4 </relation>
<relation name="R26" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 1 0 | 1 2 | 1 3 | 1 4 | 1 5 | 2 0 | 2 1 | 2 2 | 2 3 | 3 3 | 3 4 | 3 5 | 4 0 | 5 1 | 5 2 </relation>
<relation name="R27" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 4 | 0 5 | 1 0 | 1 1 | 1 2 | 1 3 | 1 4 | 1 5 | 2 0 | 2 2 | 2 4 | 3 1 | 3 5 | 4 0 | 4 1 | 5 0 </relation>
<relation name="R28" arity="2" nbTuples="18" semantics="supports">0 1 | 0 3 | 0 5 | 1 0 | 1 1 | 1 2 | 1 4 | 1 5 | 2 0 | 2 1 | 2 2 | 2 3 | 2 4 | 3 0 | 3 3 | 3 5 | 4 0 | 4 4 </relation>
<relation name="R29" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 1 0 | 1 1 | 2 1 | 2 2 | 2 3 | 2 4 | 2 5 | 3 1 | 3 2 | 3 3 | 3 4 | 4 0 | 4 2 | 5 4 </relation>
<relation name="R30" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 3 | 1 0 | 1 3 | 1 4 | 2 0 | 2 1 | 2 3 | 3 0 | 3 1 | 3 4 | 4 0 | 4 1 | 4 2 | 4 5 | 5 3 | 5 5 </relation>
<relation name="R31" arity="2" nbTuples="18" semantics="supports">0 0 | 0 3 | 0 4 | 0 5 | 1 0 | 1 2 | 1 3 | 1 4 | 2 1 | 2 4 | 3 1 | 3 5 | 4 0 | 4 1 | 4 2 | 4 4 | 4 5 | 5 0 </relation>
<relation name="R32" arity="2" nbTuples="18" semantics="supports">0 0 | 0 3 | 0 4 | 0 5 | 1 0 | 1 1 | 1 2 | 1 5 | 2 0 | 2 1 | 2 3 | 2 4 | 2 5 | 3 1 | 3 5 | 4 2 | 5 1 | 5 3 </relation>
<relation name="R33" arity="2" nbTuples="18" semantics="supports">0 1 | 0 3 | 1 1 | 1 3 | 1 4 | 1 5 | 2 2 | 2 4 | 3 0 | 3 1 | 3 2 | 3 3 | 3 4 | 3 5 | 4 2 | 4 4 | 5 1 | 5 3 </relation>
<relation name="R34" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 4 | 1 0 | 1 1 | 1 2 | 1 4 | 2 3 | 2 5 | 3 0 | 3 2 | 3 3 | 3 4 | 4 0 | 4 1 | 4 2 | 4 3 | 5 3 </relation>
<relation name="R35" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 3 | 1 5 | 2 1 | 2 2 | 2 3 | 2 4 | 2 5 | 3 2 | 3 3 | 3 5 | 5 1 | 5 5 </relation>
<relation name="R36" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 1 | 1 2 | 1 3 | 1 5 | 2 0 | 2 1 | 2 2 | 2 4 | 3 2 | 3 3 | 4 0 | 4 2 | 5 3 </relation>
<relation name="R37" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 0 4 | 1 3 | 1 5 | 2 0 | 2 2 | 2 4 | 2 5 | 3 0 | 3 1 | 3 2 | 4 0 | 4 1 | 4 2 | 4 4 | 5 1 </relation>
<relation name="R38" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 4 | 1 0 | 1 1 | 1 2 | 1 4 | 2 0 | 2 1 | 2 2 | 2 5 | 3 1 | 3 2 | 3 4 | 3 5 | 5 3 </relation>
<relation name="R39" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 3 | 1 3 | 1 4 | 1 5 | 2 1 | 2 2 | 2 3 | 2 4 | 2 5 | 3 0 | 3 1 | 3 2 | 3 5 | 4 0 | 4 2 | 5 0 </relation>
<relation name="R40" arity="2" nbTuples="18" semantics="supports">0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 0 | 1 1 | 1 5 | 2 0 | 2 3 | 2 5 | 3 0 | 3 1 | 3 2 | 3 3 | 3 4 | 4 2 | 5 5 </relation>
<relation name="R41" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 3 | 0 4 | 0 5 | 1 1 | 1 2 | 1 4 | 1 5 | 2 0 | 2 2 | 2 4 | 2 5 | 3 1 | 3 2 | 3 4 | 4 1 | 4 2 </relation>
<relation name="R42" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 1 0 | 1 1 | 1 2 | 1 3 | 1 4 | 1 5 | 2 1 | 2 4 | 2 5 | 3 0 | 3 1 | 3 3 | 4 3 | 4 5 | 5 3 | 5 4 </relation>
<relation name="R43" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 3 | 0 5 | 1 2 | 1 3 | 1 4 | 1 5 | 2 1 | 3 2 | 3 3 | 3 4 | 4 1 | 4 2 | 4 3 | 4 4 | 4 5 | 5 0 </relation>
<relation name="R44" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 4 | 1 0 | 1 1 | 1 3 | 1 5 | 2 2 | 2 4 | 2 5 | 3 2 | 3 5 | 4 2 | 4 3 | 5 2 | 5 3 </relation>
<relation name="R45" arity="2" nbTuples="18" semantics="supports">0 1 | 0 3 | 0 5 | 1 1 | 1 2 | 1 3 | 1 5 | 2 1 | 2 3 | 3 0 | 3 1 | 3 2 | 3 4 | 4 0 | 4 2 | 4 5 | 5 0 | 5 3 </relation>
<relation name="R46" arity="2" nbTuples="18" semantics="supports">0 0 | 0 1 | 0 2 | 0 3 | 0 4 | 0 5 | 1 0 | 1 1 | 1 3 | 2 0 | 2 3 | 2 5 | 3 2 | 3 5 | 4 0 | 4 3 | 4 5 | 5 2 </relation>
</relations>
<constraints nbConstraints="47">
<constraint name="C0" arity="2" scope="V7 V16 " reference="R0"></constraint>
<constraint name="C1" arity="2" scope="V15 V18 " reference="R1"></constraint>
<constraint name="C2" arity="2" scope="V3 V6 " reference="R2"></constraint>
<constraint name="C3" arity="2" scope="V5 V15 " reference="R3"></constraint>
<constraint name="C4" arity="2" scope="V9 V11 " reference="R4"></constraint>
<constraint name="C5" arity="2" scope="V7 V12 " reference="R5"></constraint>
<constraint name="C6" arity="2" scope="V10 V19 " reference="R6"></constraint>
<constraint name="C7" arity="2" scope="V12 V18 " reference="R7"></constraint>
<constraint name="C8" arity="2" scope="V2 V14 " reference="R8"></constraint>
<constraint name="C9" arity="2" scope="V0 V12 " reference="R9"></constraint>
<constraint name="C10" arity="2" scope="V2 V4 " reference="R10"></constraint>
<constraint name="C11" arity="2" scope="V3 V16 " reference="R11"></constraint>
<constraint name="C12" arity="2" scope="V2 V8 " reference="R12"></constraint>
<constraint name="C13" arity="2" scope="V2 V19 " reference="R13"></constraint>
<constraint name="C14" arity="2" scope="V4 V10 " reference="R14"></constraint>
<constraint name="C15" arity="2" scope="V12 V16 " reference="R15"></constraint>
<constraint name="C16" arity="2" scope="V5 V12 " reference="R16"></constraint>
<constraint name="C17" arity="2" scope="V9 V10 " reference="R17"></constraint>
<constraint name="C18" arity="2" scope="V5 V19 " reference="R18"></constraint>
<constraint name="C19" arity="2" scope="V10 V15 " reference="R19"></constraint>
<constraint name="C20" arity="2" scope="V8 V15 " reference="R20"></constraint>
<constraint name="C21" arity="2" scope="V5 V17 " reference="R21"></constraint>
<constraint name="C22" arity="2" scope="V1 V18 " reference="R22"></constraint>
<constraint name="C23" arity="2" scope="V10 V18 " reference="R23"></constraint>
<constraint name="C24" arity="2" scope="V1 V3 " reference="R24"></constraint>
<constraint name="C25" arity="2" scope="V13 V17 " reference="R25"></constraint>
<constraint name="C26" arity="2" scope="V1 V6 " reference="R26"></constraint>
<constraint name="C27" arity="2" scope="V0 V9 " reference="R27"></constraint>
<constraint name="C28" arity="2" scope="V1 V4 " reference="R28"></constraint>
<constraint name="C29" arity="2" scope="V18 V19 " reference="R29"></constraint>
<constraint name="C30" arity="2" scope="V7 V10 " reference="R30"></constraint>
<constraint name="C31" arity="2" scope="V10 V13 " reference="R31"></constraint>
<constraint name="C32" arity="2" scope="V0 V8 " reference="R32"></constraint>
<constraint name="C33" arity="2" scope="V14 V18 " reference="R33"></constraint>
<constraint name="C34" arity="2" scope="V5 V14 " reference="R34"></constraint>
<constraint name="C35" arity="2" scope="V3 V13 " reference="R35"></constraint>
<constraint name="C36" arity="2" scope="V8 V17 " reference="R36"></constraint>
<constraint name="C37" arity="2" scope="V6 V16 " reference="R37"></constraint>
<constraint name="C38" arity="2" scope="V4 V17 " reference="R38"></constraint>
<constraint name="C39" arity="2" scope="V7 V13 " reference="R39"></constraint>
<constraint name="C40" arity="2" scope="V11 V19 " reference="R40"></constraint>
<constraint name="C41" arity="2" scope="V8 V18 " reference="R41"></constraint>
<constraint name="C42" arity="2" scope="V13 V18 " reference="R42"></constraint>
<constraint name="C43" arity="2" scope="V4 V9 " reference="R43"></constraint>
<constraint name="C44" arity="2" scope="V2 V17 " reference="R44"></constraint>
<constraint name="C45" arity="2" scope="V8 V12 " reference="R45"></constraint>
<constraint name="C46" arity="2" scope="V6 V15 " reference="R46"></constraint>
</constraints>
</instance>