half-reif-benchmarks/prize.csv

1	problem	model	data_file
2	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-5.dzn
3	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-9.dzn
4	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-8.dzn
5	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-4.dzn
6	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-8.dzn
7	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-8.dzn
8	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-6.dzn
9	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-7.dzn
10	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-9.dzn
11	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-9.dzn
12	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-9.dzn
13	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-3.dzn
14	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-8.dzn
15	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-9.dzn
16	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-2.dzn
17	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-8.dzn
18	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-9.dzn
19	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-0.dzn
20	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-8.dzn
21	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-9.dzn
22	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-1.dzn
23	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-8.dzn
24	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-0.dzn
25	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-5.dzn
26	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-2.dzn
27	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-3.dzn
28	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-4.dzn
29	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-1.dzn
30	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-3.dzn
31	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-8.dzn
32	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-6.dzn
33	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-1.dzn
34	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-0.dzn
35	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-7.dzn
36	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-9.dzn
37	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-2.dzn
38	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-6.dzn
39	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-9.dzn
40	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-9.dzn
41	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-3.dzn
42	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-4.dzn
43	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-5.dzn
44	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-2.dzn
45	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-8.dzn
46	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-8.dzn
47	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-7.dzn
48	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-5.dzn
49	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-9.dzn
50	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-0.dzn
51	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-7.dzn
52	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-6.dzn
53	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-1.dzn
54	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-8.dzn
55	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-4.dzn
56	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-9.dzn
57	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-5.dzn
58	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-6.dzn
59	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-2.dzn
60	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-6.dzn
61	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-7.dzn
62	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-3.dzn
63	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-7.dzn
64	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-4.dzn
65	prize	data/prize/prize_orig.mzn	data/prize/9-3-3-8.dzn
66	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-6.dzn
67	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-5.dzn
68	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-5.dzn
69	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-1.dzn
70	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-8.dzn
71	prize	data/prize/prize_orig.mzn	data/prize/35-5-7-9.dzn
72	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-0.dzn
73	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-4.dzn
74	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-4.dzn
75	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-7.dzn
76	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-0.dzn
77	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-3.dzn
78	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-0.dzn
79	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-4.dzn
80	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-5.dzn
81	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-1.dzn
82	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-2.dzn
83	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-1.dzn
84	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-3.dzn
85	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-0.dzn
86	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-7.dzn
87	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-3.dzn
88	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-9.dzn
89	prize	data/prize/prize_orig.mzn	data/prize/40-5-8-8.dzn
90	prize	data/prize/prize_orig.mzn	data/prize/16-4-4-2.dzn
91	prize	data/prize/prize_orig.mzn	data/prize/12-3-4-6.dzn
92	prize	data/prize/prize_orig.mzn	data/prize/32-4-8-1.dzn
93	prize	data/prize/prize_orig.mzn	data/prize/15-3-5-2.dzn
94	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-2.dzn
95	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-5.dzn
96	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-6.dzn
97	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-2.dzn
98	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-0.dzn
99	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-4.dzn
100	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-7.dzn
101	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-6.dzn
102	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-5.dzn
103	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-1.dzn
104	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-3.dzn
105	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-7.dzn
106	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-4.dzn
107	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-3.dzn
108	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-1.dzn
109	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-6.dzn
110	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-5.dzn
111	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-1.dzn
112	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-3.dzn
113	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-7.dzn
114	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-4.dzn
115	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-5.dzn
116	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-6.dzn
117	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-2.dzn
118	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-0.dzn
119	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-4.dzn
120	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-7.dzn
121	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-0.dzn
122	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-4.dzn
123	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-3.dzn
124	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-0.dzn
125	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-4.dzn
126	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-6.dzn
127	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-1.dzn
128	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-2.dzn
129	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-3.dzn
130	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-0.dzn
131	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-7.dzn
132	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-5.dzn
133	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-1.dzn
134	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-2.dzn
135	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-5.dzn
136	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-7.dzn
137	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-0.dzn
138	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-3.dzn
139	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-7.dzn
140	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-5.dzn
141	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-9.dzn
142	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-2.dzn
143	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-1.dzn
144	prize	data/prize/prize_orig.mzn	data/prize/18-3-6-0.dzn
145	prize	data/prize/prize_orig.mzn	data/prize/30-5-6-3.dzn
146	prize	data/prize/prize_orig.mzn	data/prize/20-4-5-8.dzn
147	prize	data/prize/prize_orig.mzn	data/prize/45-5-9-4.dzn
148	prize	data/prize/prize_orig.mzn	data/prize/24-4-6-6.dzn
149	prize	data/prize/prize_orig.mzn	data/prize/25-5-5-2.dzn
150	prize	data/prize/prize_orig.mzn	data/prize/21-3-7-1.dzn
151	prize	data/prize/prize_orig.mzn	data/prize/28-4-7-6.dzn
152	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-5.dzn
153	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-9.dzn
154	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-8.dzn
155	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-4.dzn
156	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-8.dzn
157	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-8.dzn
158	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-6.dzn
159	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-7.dzn
160	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-9.dzn
161	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-9.dzn
162	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-9.dzn
163	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-3.dzn
164	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-8.dzn
165	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-9.dzn
166	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-2.dzn
167	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-8.dzn
168	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-9.dzn
169	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-0.dzn
170	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-8.dzn
171	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-9.dzn
172	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-1.dzn
173	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-8.dzn
174	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-0.dzn
175	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-5.dzn
176	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-2.dzn
177	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-3.dzn
178	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-4.dzn
179	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-1.dzn
180	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-3.dzn
181	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-8.dzn
182	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-6.dzn
183	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-1.dzn
184	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-0.dzn
185	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-7.dzn
186	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-9.dzn
187	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-2.dzn
188	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-6.dzn
189	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-9.dzn
190	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-9.dzn
191	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-3.dzn
192	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-4.dzn
193	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-5.dzn
194	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-2.dzn
195	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-8.dzn
196	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-8.dzn
197	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-7.dzn
198	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-5.dzn
199	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-9.dzn
200	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-0.dzn
201	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-7.dzn
202	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-6.dzn
203	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-1.dzn
204	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-8.dzn
205	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-4.dzn
206	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-9.dzn
207	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-5.dzn
208	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-6.dzn
209	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-2.dzn
210	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-6.dzn
211	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-7.dzn
212	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-3.dzn
213	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-7.dzn
214	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-4.dzn
215	prize	data/prize/prize_imp.mzn	data/prize/9-3-3-8.dzn
216	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-6.dzn
217	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-5.dzn
218	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-5.dzn
219	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-1.dzn
220	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-8.dzn
221	prize	data/prize/prize_imp.mzn	data/prize/35-5-7-9.dzn
222	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-0.dzn
223	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-4.dzn
224	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-4.dzn
225	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-7.dzn
226	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-0.dzn
227	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-3.dzn
228	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-0.dzn
229	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-4.dzn
230	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-5.dzn
231	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-1.dzn
232	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-2.dzn
233	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-1.dzn
234	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-3.dzn
235	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-0.dzn
236	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-7.dzn
237	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-3.dzn
238	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-9.dzn
239	prize	data/prize/prize_imp.mzn	data/prize/40-5-8-8.dzn
240	prize	data/prize/prize_imp.mzn	data/prize/16-4-4-2.dzn
241	prize	data/prize/prize_imp.mzn	data/prize/12-3-4-6.dzn
242	prize	data/prize/prize_imp.mzn	data/prize/32-4-8-1.dzn
243	prize	data/prize/prize_imp.mzn	data/prize/15-3-5-2.dzn
244	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-2.dzn
245	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-5.dzn
246	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-6.dzn
247	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-2.dzn
248	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-0.dzn
249	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-4.dzn
250	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-7.dzn
251	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-6.dzn
252	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-5.dzn
253	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-1.dzn
254	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-3.dzn
255	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-7.dzn
256	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-4.dzn
257	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-3.dzn
258	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-1.dzn
259	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-6.dzn
260	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-5.dzn
261	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-1.dzn
262	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-3.dzn
263	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-7.dzn
264	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-4.dzn
265	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-5.dzn
266	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-6.dzn
267	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-2.dzn
268	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-0.dzn
269	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-4.dzn
270	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-7.dzn
271	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-0.dzn
272	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-4.dzn
273	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-3.dzn
274	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-0.dzn
275	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-4.dzn
276	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-6.dzn
277	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-1.dzn
278	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-2.dzn
279	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-3.dzn
280	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-0.dzn
281	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-7.dzn
282	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-5.dzn
283	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-1.dzn
284	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-2.dzn
285	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-5.dzn
286	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-7.dzn
287	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-0.dzn
288	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-3.dzn
289	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-7.dzn
290	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-5.dzn
291	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-9.dzn
292	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-2.dzn
293	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-1.dzn
294	prize	data/prize/prize_imp.mzn	data/prize/18-3-6-0.dzn
295	prize	data/prize/prize_imp.mzn	data/prize/30-5-6-3.dzn
296	prize	data/prize/prize_imp.mzn	data/prize/20-4-5-8.dzn
297	prize	data/prize/prize_imp.mzn	data/prize/45-5-9-4.dzn
298	prize	data/prize/prize_imp.mzn	data/prize/24-4-6-6.dzn
299	prize	data/prize/prize_imp.mzn	data/prize/25-5-5-2.dzn
300	prize	data/prize/prize_imp.mzn	data/prize/21-3-7-1.dzn
301	prize	data/prize/prize_imp.mzn	data/prize/28-4-7-6.dzn