HyperGraphTranslation/prova.xml at master · MatteoLoria/HyperGraphTranslation · GitHub

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
134
135
136
137
138
139
140
141
142
143
<instanceformat="XCSP3"type="CSP">
 <variables>
 <varid="x1"> 0..7 </var>
 <varid="x3"> 0..11 </var>
 <varid="x7"> 0..8 </var>
 <arrayid="x0"size="[6]"> 0..4 </array>
 <arrayid="x2"size="[6]"> 0..2 </array>
 <arrayid="x4"size="[2]"> 0..6 </array>
 <arrayid="x5"size="[5]"> 0 1 </array>
 <arrayid="x6"size="[8]"> 0..3 </array>
 <arrayid="x8"size="[2]"> 0..5 </array>
 </variables>
 <constraints>
 <extension>
 <list> x0[0] x1 </list>
 <conflicts> (0,0)(0,1)(0,2)(0,3)(1,0)(1,6)(1,7)(2,0)(2,6)(2,7)(3,0)(3,6)(3,7)(4,3)(4,4)(4,5)(4,6)(4,7) </conflicts>
 </extension>
 <extension>
 <list> x3 x2[0] </list>
 <conflicts> (0,0)(0,2)(1,2)(3,2)(4,0)(4,1)(5,0)(6,2)(7,1)(7,2)(9,0) </conflicts>
 </extension>
 <extension>
 <list> x0[0] x0[1] </list>
 <supports> (0,0)(0,4)(1,0)(1,4)(2,0)(2,1)(2,2)(2,3)(3,2)(3,3)(4,2)(4,3) </supports>
 </extension>
 <extension>
 <list> x3 x0[1] </list>
 <conflicts> (1,3)(3,3)(4,0)(6,3)(11,4) </conflicts>
 </extension>
 <extension>
 <list> x4[0] x5[0] </list>
 <conflicts> (2,0) </conflicts>
 </extension>
 <extension>
 <list> x2[4] x6[3] </list>
 <conflicts> (1,3) </conflicts>
 </extension>
 <group>
 <extension>
 <list> %0 %1 </list>
 <conflicts> (0,4)(1,3)(1,4)(2,4)(3,0)(3,1)(3,2)(3,3) </conflicts>
 </extension>
 <args> x6[4] x0[4] </args>
 <args> x6[6] x0[5] </args>
 </group>
 <extension>
 <list> x0[1] x0[3] </list>
 <supports> (0,0)(1,1)(2,2)(3,3)(4,4) </supports>
 </extension>
 <group>
 <extension>
 <list> %0 %1 </list>
 <supports> (0,0)(0,5)(1,1)(1,5)(2,2)(2,5)(3,3)(3,5)(4,4)(4,5) </supports>
 </extension>
 <args> x0[1] x8[0] </args>
 <args> x0[1] x8[1] </args>
 </group>
 <group>
 <extension>
 <list> %0 %1 </list>
 <supports> (0,0)(0,1)(1,0)(1,1)(1,2)(2,0)(3,1)(3,2)(4,3) </supports>
 </extension>
 <args> x0[4] x6[5] </args>
 <args> x0[5] x6[7] </args>
 </group>
 <extension>
 <list> x6[3] x2[5] </list>
 <conflicts> (0,2)(2,1)(2,2)(3,0) </conflicts>
 </extension>
 <extension>
 <list> x4[0] x2[3] </list>
 <conflicts> (0,2)(2,1)(2,2)(4,1)(4,2)(5,1)(5,2)(6,2) </conflicts>
 </extension>
 <extension>
 <list> x2[3] x7 </list>
 <supports> (0,0)(0,3)(0,6)(1,1)(1,4)(1,7)(2,2)(2,5)(2,8) </supports>
 </extension>
 <extension>
 <list> x4[1] x2[2] x0[2] </list>
 <supports> (0,0,0)(0,1,3)(1,0,0)(1,0,1)(1,1,2)(1,1,3)(2,0,1)(2,1,2)(3,0,1)(3,1,2)(4,0,1)(4,1,2)(5,0,0)(5,1,3)(6,2,4) </supports>
 </extension>
 <group>
 <extension>
 <list> %0 %1 </list>
 <supports> (0,0)(0,1)(0,2)(1,3) </supports>
 </extension>
 <args> x5[1] x6[0] </args>
 <args> x5[3] x6[4] </args>
 <args> x5[3] x6[5] </args>
 <args> x5[4] x6[6] </args>
 <args> x5[4] x6[7] </args>
 </group>
 <group>
 <extension>
 <list> %0 %1 </list>
 <conflicts> (1,0)(1,1)(1,2) </conflicts>
 </extension>
 <args> x5[1] x6[1] </args>
 <args> x5[1] x6[2] </args>
 </group>
 <extension>
 <list> x6[0] x6[1] </list>
 <supports> (0,0)(0,1)(0,2)(1,0)(1,1)(1,2)(2,3)(3,3) </supports>
 </extension>
 <extension>
 <list> x6[0] x6[2] </list>
 <supports> (0,0)(0,1)(0,2)(1,3)(2,0)(2,1)(2,2)(3,3) </supports>
 </extension>
 <extension>
 <list> x5[2] x4[1] </list>
 <supports> (0,0)(0,1)(0,2)(0,3)(0,4)(0,5)(1,6) </supports>
 </extension>
 <extension>
 <list> x5[2] x2[2] </list>
 <supports> (0,0)(0,1)(1,2) </supports>
 </extension>
 <group>
 <extension>
 <list> %0 %1 </list>
 <supports> (0,0)(0,1)(0,2)(0,3)(1,4) </supports>
 </extension>
 <args> x5[2] x0[2] </args>
 <args> x5[3] x0[4] </args>
 <args> x5[4] x0[5] </args>
 </group>
 <extension>
 <list> x4[1] x4[0] </list>
 <supports> (0,4)(1,3)(2,0)(3,5)(3,6)(4,2)(5,1)(6,0)(6,1)(6,2)(6,3)(6,4)(6,5)(6,6) </supports>
 </extension>
 <group>
 <extension>
 <list> %0 %1 </list>
 <supports> (0,0)(0,1)(0,2)(0,3)(0,4)(1,5) </supports>
 </extension>
 <args> x5[3] x8[0] </args>
 <args> x5[4] x8[1] </args>
 </group>
 <extension>
 <list> x2[1] x5[3..4] </list>
 <supports> (0,1,1)(1,0,1)(2,0,0) </supports>
 </extension>
 </constraints>
</instance>