1 Unsatisfiable/COL007-1.ma
2 Unsatisfiable/COL012-1.ma
3 Unsatisfiable/COL013-1.ma
4 Unsatisfiable/COL058-2.ma
5 Unsatisfiable/COL060-2.ma
6 Unsatisfiable/COL060-3.ma
7 Unsatisfiable/COL061-2.ma
8 Unsatisfiable/COL061-3.ma
9 Unsatisfiable/COL062-2.ma
10 Unsatisfiable/COL062-3.ma
11 Unsatisfiable/COL063-2.ma
12 Unsatisfiable/COL063-3.ma
13 Unsatisfiable/COL063-4.ma
14 Unsatisfiable/COL063-5.ma
15 Unsatisfiable/COL063-6.ma
16 Unsatisfiable/COL064-2.ma
17 Unsatisfiable/COL064-3.ma
18 Unsatisfiable/COL064-4.ma
19 Unsatisfiable/COL064-5.ma
20 Unsatisfiable/COL064-6.ma
21 Unsatisfiable/COL064-7.ma
22 Unsatisfiable/COL064-8.ma
23 Unsatisfiable/COL064-9.ma
24 Unsatisfiable/COL085-1.ma
25 Unsatisfiable/COL086-1.ma
26 Unsatisfiable/GRP023-2.ma
27 Unsatisfiable/GRP136-1.ma
28 Unsatisfiable/GRP137-1.ma
29 Unsatisfiable/GRP160-1.ma
30 Unsatisfiable/GRP161-1.ma
31 Unsatisfiable/GRP454-1.ma
32 Unsatisfiable/GRP457-1.ma
33 Unsatisfiable/GRP460-1.ma
34 Unsatisfiable/GRP463-1.ma
35 Unsatisfiable/GRP541-1.ma
36 Unsatisfiable/GRP545-1.ma
37 Unsatisfiable/GRP549-1.ma
38 Unsatisfiable/LAT033-1.ma
39 Unsatisfiable/LAT034-1.ma
40 Unsatisfiable/ROB030-1.ma
41 Unsatisfiable/SYN083-1.ma
42 Unsatisfiable/BOO006-4.ma
43 Unsatisfiable/BOO011-2.ma
44 Unsatisfiable/BOO011-4.ma
45 Unsatisfiable/COL004-3.ma
46 Unsatisfiable/COL008-1.ma
47 Unsatisfiable/COL016-1.ma
48 Unsatisfiable/COL022-1.ma
49 Unsatisfiable/COL045-1.ma
50 Unsatisfiable/COL048-1.ma
51 Unsatisfiable/COL050-1.ma
52 Unsatisfiable/COL058-3.ma
53 Unsatisfiable/COL083-1.ma
54 Unsatisfiable/COL084-1.ma
55 Unsatisfiable/GRP010-4.ma
56 Unsatisfiable/GRP022-2.ma
57 Unsatisfiable/GRP151-1.ma
58 Unsatisfiable/GRP496-1.ma
59 Unsatisfiable/GRP542-1.ma
60 Unsatisfiable/GRP546-1.ma
61 Unsatisfiable/RNG007-4.ma
62 Unsatisfiable/ROB010-1.ma
63 Unsatisfiable/ROB013-1.ma
64 Unsatisfiable/BOO018-4.ma
65 Unsatisfiable/COL015-1.ma
66 Unsatisfiable/COL017-1.ma
67 Unsatisfiable/COL025-1.ma
68 Unsatisfiable/GRP011-4.ma
69 Unsatisfiable/GRP012-4.ma
70 Unsatisfiable/GRP182-1.ma
71 Unsatisfiable/GRP481-1.ma
72 Unsatisfiable/GRP487-1.ma
73 Unsatisfiable/GRP493-1.ma
74 Unsatisfiable/GRP550-1.ma
75 Unsatisfiable/GRP552-1.ma
76 Unsatisfiable/BOO003-2.ma
77 Unsatisfiable/BOO006-2.ma
78 Unsatisfiable/COL018-1.ma
79 Unsatisfiable/COL024-1.ma
80 Unsatisfiable/GRP001-4.ma
81 Unsatisfiable/GRP115-1.ma
82 Unsatisfiable/GRP117-1.ma
83 Unsatisfiable/GRP182-3.ma
84 Unsatisfiable/GRP455-1.ma
85 Unsatisfiable/GRP458-1.ma
86 Unsatisfiable/GRP490-1.ma
87 Unsatisfiable/GRP494-1.ma
88 Unsatisfiable/GRP544-1.ma
89 Unsatisfiable/GRP573-1.ma
90 Unsatisfiable/GRP581-1.ma
91 Unsatisfiable/LCL132-1.ma
92 Unsatisfiable/ROB002-1.ma
93 Unsatisfiable/GRP001-2.ma
94 Unsatisfiable/GRP142-1.ma
95 Unsatisfiable/GRP144-1.ma
96 Unsatisfiable/GRP189-1.ma
97 Unsatisfiable/GRP206-1.ma
98 Unsatisfiable/GRP562-1.ma
99 Unsatisfiable/GRP566-1.ma
100 Unsatisfiable/GRP569-1.ma
101 Unsatisfiable/GRP570-1.ma
102 Unsatisfiable/LDA001-1.ma
103 Unsatisfiable/GRP173-1.ma
104 Unsatisfiable/GRP182-2.ma
105 Unsatisfiable/GRP188-2.ma
106 Unsatisfiable/GRP484-1.ma
107 Unsatisfiable/GRP491-1.ma
108 Unsatisfiable/GRP548-1.ma
109 Unsatisfiable/GRP558-1.ma
110 Unsatisfiable/GRP565-1.ma
111 Unsatisfiable/LCL133-1.ma
112 Unsatisfiable/LCL134-1.ma
113 Unsatisfiable/LCL135-1.ma
114 Unsatisfiable/BOO004-2.ma
115 Unsatisfiable/BOO009-2.ma
116 Unsatisfiable/GRP150-1.ma
117 Unsatisfiable/GRP153-1.ma
118 Unsatisfiable/GRP174-1.ma
119 Unsatisfiable/GRP182-4.ma
120 Unsatisfiable/GRP189-2.ma
121 Unsatisfiable/BOO010-2.ma
122 Unsatisfiable/BOO010-4.ma
123 Unsatisfiable/GRP118-1.ma
124 Unsatisfiable/GRP143-1.ma
125 Unsatisfiable/GRP145-1.ma
126 Unsatisfiable/GRP152-1.ma
127 Unsatisfiable/GRP188-1.ma
128 Unsatisfiable/GRP485-1.ma
129 Unsatisfiable/GRP510-1.ma
130 Unsatisfiable/GRP577-1.ma
131 Unsatisfiable/LCL161-1.ma
132 Unsatisfiable/GRP518-1.ma
133 Unsatisfiable/GRP520-1.ma
134 Unsatisfiable/BOO003-4.ma
135 Unsatisfiable/BOO004-4.ma
136 Unsatisfiable/GRP514-1.ma
137 Unsatisfiable/GRP516-1.ma
138 Unsatisfiable/GRP574-1.ma
139 Unsatisfiable/GRP586-1.ma
140 Unsatisfiable/LDA007-3.ma
141 Unsatisfiable/BOO005-4.ma
142 Unsatisfiable/COL014-1.ma
143 Unsatisfiable/GRP139-1.ma
144 Unsatisfiable/GRP141-1.ma
145 Unsatisfiable/BOO005-2.ma
146 Unsatisfiable/GRP497-1.ma
147 Unsatisfiable/GRP512-1.ma
148 Unsatisfiable/GRP561-1.ma
149 Unsatisfiable/GRP564-1.ma
150 Unsatisfiable/GRP582-1.ma
151 Unsatisfiable/LCL164-1.ma
152 Unsatisfiable/GRP590-1.ma
153 Unsatisfiable/GRP595-1.ma
154 Unsatisfiable/GRP146-1.ma
155 Unsatisfiable/GRP149-1.ma
156 Unsatisfiable/GRP162-1.ma
157 Unsatisfiable/GRP576-1.ma
158 Unsatisfiable/RNG024-6.ma
159 Unsatisfiable/GRP157-1.ma
160 Unsatisfiable/GRP163-1.ma
161 Unsatisfiable/GRP456-1.ma
162 Unsatisfiable/RNG008-4.ma
163 Unsatisfiable/RNG023-6.ma
164 Unsatisfiable/GRP459-1.ma
165 Unsatisfiable/GRP578-1.ma
166 Unsatisfiable/BOO017-2.ma
167 Unsatisfiable/GRP159-1.ma
168 Unsatisfiable/GRP186-3.ma
169 Unsatisfiable/GRP192-1.ma
170 Unsatisfiable/GRP560-1.ma
171 Unsatisfiable/GRP598-1.ma
172 Unsatisfiable/GRP543-1.ma
173 Unsatisfiable/BOO016-2.ma
174 Unsatisfiable/GRP158-1.ma
175 Unsatisfiable/GRP186-4.ma
176 Unsatisfiable/GRP572-1.ma
177 Unsatisfiable/GRP592-1.ma
178 Unsatisfiable/RNG011-5.ma
179 Unsatisfiable/GRP495-1.ma
180 Unsatisfiable/GRP596-1.ma
181 Unsatisfiable/GRP614-1.ma
182 Unsatisfiable/LCL156-1.ma
183 Unsatisfiable/LCL110-2.ma
184 Unsatisfiable/LCL154-1.ma
185 Unsatisfiable/LCL157-1.ma
186 Unsatisfiable/GRP154-1.ma
187 Unsatisfiable/GRP616-1.ma
188 Unsatisfiable/LCL112-2.ma
189 Unsatisfiable/LCL140-1.ma
190 Unsatisfiable/GRP168-1.ma
191 Unsatisfiable/GRP612-1.ma
192 Unsatisfiable/LCL113-2.ma
193 Unsatisfiable/BOO009-4.ma
194 Unsatisfiable/GRP116-1.ma
195 Unsatisfiable/LCL155-1.ma
196 Unsatisfiable/RNG023-7.ma
197 Unsatisfiable/RNG024-7.ma
198 Unsatisfiable/GRP600-1.ma
199 Unsatisfiable/LCL153-1.ma
200 Unsatisfiable/LCL158-1.ma
201 Unsatisfiable/GRP498-1.ma
202 Unsatisfiable/COL021-1.ma
203 Unsatisfiable/GRP155-1.ma
204 Unsatisfiable/GRP176-2.ma
205 Unsatisfiable/LCL139-1.ma
206 Unsatisfiable/GRP486-1.ma
207 Unsatisfiable/GRP606-1.ma
208 Unsatisfiable/LCL114-2.ma
209 Unsatisfiable/BOO013-2.ma
210 Unsatisfiable/GRP156-1.ma
211 Unsatisfiable/GRP176-1.ma
212 Unsatisfiable/LAT045-1.ma
213 Unsatisfiable/GRP168-2.ma
214 Unsatisfiable/GRP608-1.ma
215 Unsatisfiable/GRP551-1.ma
216 Unsatisfiable/GRP588-1.ma
217 Unsatisfiable/LAT039-1.ma
218 Unsatisfiable/LAT039-2.ma
219 Unsatisfiable/GRP584-1.ma
220 Unsatisfiable/BOO012-2.ma
221 Unsatisfiable/GRP568-1.ma
222 Unsatisfiable/GRP492-1.ma
223 Unsatisfiable/GRP602-1.ma
224 Unsatisfiable/GRP603-1.ma
225 Unsatisfiable/GRP467-1.ma
226 Unsatisfiable/GRP613-1.ma
227 Unsatisfiable/GRP547-1.ma
228 Unsatisfiable/BOO012-4.ma
229 Unsatisfiable/GRP580-1.ma
230 Unsatisfiable/GRP597-1.ma
231 Unsatisfiable/GRP517-1.ma
232 Unsatisfiable/BOO075-1.ma
233 Unsatisfiable/LCL115-2.ma
234 Unsatisfiable/LCL141-1.ma
235 Unsatisfiable/GRP605-1.ma
236 Unsatisfiable/GRP515-1.ma
237 Unsatisfiable/GRP509-1.ma
238 Unsatisfiable/GRP604-1.ma
239 Unsatisfiable/GRP513-1.ma
240 Unsatisfiable/GRP556-1.ma
241 Unsatisfiable/BOO013-4.ma
242 Unsatisfiable/GRP615-1.ma
243 Unsatisfiable/BOO001-1.ma
244 Unsatisfiable/GRP488-1.ma
245 Unsatisfiable/GRP583-1.ma
246 Unsatisfiable/GRP511-1.ma
247 Unsatisfiable/LAT008-1.ma
248 Unsatisfiable/BOO069-1.ma
249 Unsatisfiable/ROB009-1.ma
250 Unsatisfiable/BOO071-1.ma
251 Unsatisfiable/GRP567-1.ma
252 Unsatisfiable/BOO034-1.ma
253 Unsatisfiable/LAT040-1.ma
254 Unsatisfiable/GRP599-1.ma
255 Unsatisfiable/COL010-1.ma