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
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
|
satcomp17/g2-ACG-15-10p1.cnf.gz
satcomp17/g2-ACG-20-10p1.cnf.gz
satcomp17/g2-ACG-20-5p1.cnf.gz
satcomp17/g2-Sz512_15128_1.smt2-cvc4.cnf.gz
satcomp17/g2-T1.2.1.cnf.gz
satcomp17/g2-T100.2.0.cnf.gz
satcomp17/g2-T101.2.0.cnf.gz
satcomp17/g2-T102.2.1.cnf.gz
satcomp17/g2-T103.2.1.cnf.gz
satcomp17/g2-T104.1.0.cnf.gz
satcomp17/g2-T105.2.1.cnf.gz
satcomp17/g2-T106.2.0.cnf.gz
satcomp17/g2-T108.2.1.cnf.gz
satcomp17/g2-T109.2.0.cnf.gz
satcomp17/g2-T110.2.1.cnf.gz
satcomp17/g2-T112.1.0.cnf.gz
satcomp17/g2-T118.2.1.cnf.gz
satcomp17/g2-T122.1.0.cnf.gz
satcomp17/g2-T124.2.0.cnf.gz
satcomp17/g2-T124.2.1.cnf.gz
satcomp17/g2-T133.2.1.cnf.gz
satcomp17/g2-T135.1.1.cnf.gz
satcomp17/g2-T141.1.0.cnf.gz
satcomp17/g2-T154.1.0.cnf.gz
satcomp17/g2-T155.1.0.cnf.gz
satcomp17/g2-T169.1.0.cnf.gz
satcomp17/g2-T169.2.0.cnf.gz
satcomp17/g2-T49.2.0.cnf.gz
satcomp17/g2-T50.2.0.cnf.gz
satcomp17/g2-T55.2.0.cnf.gz
satcomp17/g2-T58.2.0.cnf.gz
satcomp17/g2-T65.2.0.cnf.gz
satcomp17/g2-T65.2.1.cnf.gz
satcomp17/g2-T75.2.0.cnf.gz
satcomp17/g2-T81.2.1.cnf.gz
satcomp17/g2-T83.2.1.cnf.gz
satcomp17/g2-T85.2.1.cnf.gz
satcomp17/g2-T88.2.1.cnf.gz
satcomp17/g2-T89.2.1.cnf.gz
satcomp17/g2-T93.2.1.cnf.gz
satcomp17/g2-T96.1.1.cnf.gz
satcomp17/g2-T97.2.1.cnf.gz
satcomp17/g2-T99.2.0.cnf.gz
satcomp17/g2-T99.2.1.cnf.gz
satcomp17/g2-UCG-15-10p1.cnf.gz
satcomp17/g2-UCG-20-10p1.cnf.gz
satcomp17/g2-UCG-20-5p1.cnf.gz
satcomp17/g2-UR-20-10p1.cnf.gz
satcomp17/g2-UR-20-5p1.cnf.gz
satcomp17/g2-UTI-20-10p1.cnf.gz
satcomp17/g2-UTI-20-5p1.cnf.gz
satcomp17/g2-ak128astepbg1btisc.cnf.gz
satcomp17/g2-ak128astepbg2asisc.cnf.gz
satcomp17/g2-ak128astepbg2msaig.cnf.gz
satcomp17/g2-ak128astepbg2msisc.cnf.gz
satcomp17/g2-ak128astepmodasaig.cnf.gz
satcomp17/g2-ak128astepmodbtisc.cnf.gz
satcomp17/g2-ak128boothbg1btisc.cnf.gz
satcomp17/g2-ak128boothbg2asisc.cnf.gz
satcomp17/g2-ak128boothbg2msaig.cnf.gz
satcomp17/g2-ak128boothbg2msisc.cnf.gz
satcomp17/g2-ak128boothboothisc.cnf.gz
satcomp17/g2-ak128boothdiagoaig.cnf.gz
satcomp17/g2-ak128boothmodasaig.cnf.gz
satcomp17/g2-ak128diagobg1btaig.cnf.gz
satcomp17/g2-ak128diagobg2asaig.cnf.gz
satcomp17/g2-ak128diagodiagoisc.cnf.gz
satcomp17/g2-ak128modasbg1msisc.cnf.gz
satcomp17/g2-ak128modasbg1sbisc.cnf.gz
satcomp17/g2-ak128modasmodasisc.cnf.gz
satcomp17/g2-ak128modbtbg1asaig.cnf.gz
satcomp17/g2-ak128modbtbg1asisc.cnf.gz
satcomp17/g2-ak128modbtbg1btaig.cnf.gz
satcomp17/g2-ak128modbtbg2msisc.cnf.gz
satcomp17/g2-ak128modbtsimpbaig.cnf.gz
satcomp17/g2-ak128paralbg1sbisc.cnf.gz
satcomp17/g2-ak128paralbg2asaig.cnf.gz
satcomp17/g2-ak128paralparalisc.cnf.gz
satcomp17/g2-ak128paralsimpbaig.cnf.gz
satcomp17/g2-ak128simpbbg1sbisc.cnf.gz
satcomp17/g2-ak128simpbbg2asaig.cnf.gz
satcomp17/g2-gss-22-s100.cnf.gz
satcomp17/g2-gss-24-s100.cnf.gz
satcomp17/g2-gss-26-s100.cnf.gz
satcomp17/g2-gss-28-s100.cnf.gz
satcomp17/g2-gss-30-s100.cnf.gz
satcomp17/g2-gss-32-s100.cnf.gz
satcomp17/g2-gss-34-s100.cnf.gz
satcomp17/g2-gss-36-s100.cnf.gz
satcomp17/g2-gss-38-s100.cnf.gz
satcomp17/g2-gss-40-s100.cnf.gz
satcomp17/g2-hwmcc15deep-6s105-k35.cnf.gz
satcomp17/g2-hwmcc15deep-6s161-k17.cnf.gz
satcomp17/g2-hwmcc15deep-6s161-k18.cnf.gz
satcomp17/g2-hwmcc15deep-6s179-k17.cnf.gz
satcomp17/g2-hwmcc15deep-6s188-k44.cnf.gz
satcomp17/g2-hwmcc15deep-6s188-k46.cnf.gz
satcomp17/g2-hwmcc15deep-6s33-k33.cnf.gz
satcomp17/g2-hwmcc15deep-6s33-k34.cnf.gz
satcomp17/g2-hwmcc15deep-6s340rb63-k16.cnf.gz
satcomp17/g2-hwmcc15deep-6s340rb63-k22.cnf.gz
satcomp17/g2-hwmcc15deep-6s341r-k16.cnf.gz
satcomp17/g2-hwmcc15deep-6s341r-k19.cnf.gz
satcomp17/g2-hwmcc15deep-6s366r-k72.cnf.gz
satcomp17/g2-hwmcc15deep-6s399b02-k02.cnf.gz
satcomp17/g2-hwmcc15deep-6s399b03-k02.cnf.gz
satcomp17/g2-hwmcc15deep-6s44-k38.cnf.gz
satcomp17/g2-hwmcc15deep-6s44-k40.cnf.gz
satcomp17/g2-hwmcc15deep-6s516r-k17.cnf.gz
satcomp17/g2-hwmcc15deep-6s516r-k18.cnf.gz
satcomp17/g2-hwmcc15deep-beembkry8b1-k45.cnf.gz
satcomp17/g2-hwmcc15deep-beemcmbrdg7f2-k32.cnf.gz
satcomp17/g2-hwmcc15deep-beemfwt4b1-k48.cnf.gz
satcomp17/g2-hwmcc15deep-beemhanoi4b1-k32.cnf.gz
satcomp17/g2-hwmcc15deep-beemhanoi4b1-k37.cnf.gz
satcomp17/g2-hwmcc15deep-beemlifts3b1-k29.cnf.gz
satcomp17/g2-hwmcc15deep-beemloyd3b1-k31.cnf.gz
satcomp17/g2-hwmcc15deep-bob12s02-k16.cnf.gz
satcomp17/g2-hwmcc15deep-bob12s02-k17.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k30.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k31.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k32.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k33.cnf.gz
satcomp17/g2-hwmcc15deep-intel032-k84.cnf.gz
satcomp17/g2-hwmcc15deep-intel065-k11.cnf.gz
satcomp17/g2-hwmcc15deep-intel066-k10.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b06s-k24.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b08s-k23.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b10s-k20.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b10s-k22.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a14b04s-k16.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a14b30s-k24.cnf.gz
satcomp17/g2-mizh-md5-47-3.cnf.gz
satcomp17/g2-mizh-md5-47-5.cnf.gz
satcomp17/g2-mizh-md5-48-2.cnf.gz
satcomp17/g2-mizh-md5-48-5.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-13698.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-16823.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-29667.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-3230.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-6967.cnf.gz
satcomp17/g2-mult1.c.50.smt2-cvc4.cnf.gz
satcomp17/g2-newton.8.3.i.smt2-cvc4.cnf.gz
satcomp17/g2-slp-synthesis-aes-top24.cnf.gz
satcomp17/g2-slp-synthesis-aes-top25.cnf.gz
satcomp17/g2-slp-synthesis-aes-top26.cnf.gz
satcomp17/g2-slp-synthesis-aes-top28.cnf.gz
satcomp17/g2-slp-synthesis-aes-top29.cnf.gz
satcomp17/g2-slp-synthesis-aes-top30.cnf.gz
satcomp17/g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4.cnf.gz
satcomp17/g2-test_v7_r7_vr5_c1_s14675.smt2-cvc4.cnf.gz
satcomp17/mp1-21.0.cnf.gz
satcomp17/mp1-21.1.cnf.gz
satcomp17/mp1-21.2.cnf.gz
satcomp17/mp1-21.3.cnf.gz
satcomp17/mp1-21.4.cnf.gz
satcomp17/mp1-21.5.cnf.gz
satcomp17/mp1-21.6.cnf.gz
satcomp17/mp1-21.7.cnf.gz
satcomp17/mp1-21.8.cnf.gz
satcomp17/mp1-21.9.cnf.gz
satcomp17/mp1-22.0.cnf.gz
satcomp17/mp1-22.1.cnf.gz
satcomp17/mp1-22.2.cnf.gz
satcomp17/mp1-22.3.cnf.gz
satcomp17/mp1-22.4.cnf.gz
satcomp17/mp1-22.5.cnf.gz
satcomp17/mp1-22.6.cnf.gz
satcomp17/mp1-22.7.cnf.gz
satcomp17/mp1-22.8.cnf.gz
satcomp17/mp1-22.9.cnf.gz
satcomp17/mp1-23.0.cnf.gz
satcomp17/mp1-23.1.cnf.gz
satcomp17/mp1-23.2.cnf.gz
satcomp17/mp1-23.3.cnf.gz
satcomp17/mp1-23.4.cnf.gz
satcomp17/mp1-23.5.cnf.gz
satcomp17/mp1-23.6.cnf.gz
satcomp17/mp1-23.7.cnf.gz
satcomp17/mp1-23.8.cnf.gz
satcomp17/mp1-24.0.cnf.gz
satcomp17/mp1-24.1.cnf.gz
satcomp17/mp1-24.2.cnf.gz
satcomp17/mp1-24.3.cnf.gz
satcomp17/mp1-24.4.cnf.gz
satcomp17/mp1-24.5.cnf.gz
satcomp17/mp1-24.6.cnf.gz
satcomp17/mp1-24.7.cnf.gz
satcomp17/mp1-24.8.cnf.gz
satcomp17/mp1-24.9.cnf.gz
satcomp17/mp1-9_1.cnf.gz
satcomp17/mp1-9_11.cnf.gz
satcomp17/mp1-9_12.cnf.gz
satcomp17/mp1-9_14.cnf.gz
satcomp17/mp1-9_19.cnf.gz
satcomp17/mp1-9_21.cnf.gz
satcomp17/mp1-9_22.cnf.gz
satcomp17/mp1-9_24.cnf.gz
satcomp17/mp1-9_25.cnf.gz
satcomp17/mp1-9_27.cnf.gz
satcomp17/mp1-9_29.cnf.gz
satcomp17/mp1-9_3.cnf.gz
satcomp17/mp1-9_31.cnf.gz
satcomp17/mp1-9_34.cnf.gz
satcomp17/mp1-9_38.cnf.gz
satcomp17/mp1-9_4.cnf.gz
satcomp17/mp1-9_44.cnf.gz
satcomp17/mp1-9_49.cnf.gz
satcomp17/mp1-9_50.cnf.gz
satcomp17/mp1-9_9.cnf.gz
satcomp17/mp1-Nb5T06.cnf.gz
satcomp17/mp1-Nb5T07.cnf.gz
satcomp17/mp1-Nb5T14.cnf.gz
satcomp17/mp1-Nb5T15.cnf.gz
satcomp17/mp1-Nb5T16.cnf.gz
satcomp17/mp1-Nb6T06.cnf.gz
satcomp17/mp1-Nb6T07.cnf.gz
satcomp17/mp1-Nb6T25.cnf.gz
satcomp17/mp1-Nb6T27.cnf.gz
satcomp17/mp1-Nb6T28.cnf.gz
satcomp17/mp1-Nb6T29.cnf.gz
satcomp17/mp1-Nb6T30.cnf.gz
satcomp17/mp1-Nb7T07.cnf.gz
satcomp17/mp1-Nb7T08.cnf.gz
satcomp17/mp1-Nb7T42.cnf.gz
satcomp17/mp1-Nb7T43.cnf.gz
satcomp17/mp1-Nb7T44.cnf.gz
satcomp17/mp1-Nb7T45.cnf.gz
satcomp17/mp1-Nb7T46.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s2_free5.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s3_free4.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s5_free3.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s7_free4.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s8_free3.cnf.gz
satcomp17/mp1-blockpuzzle_5x12_s6_free3.cnf.gz
satcomp17/mp1-blockpuzzle_7x10_s10_free4.cnf.gz
satcomp17/mp1-blockpuzzle_7x10_s7_free8.cnf.gz
satcomp17/mp1-blockpuzzle_7x10_s9_free6.cnf.gz
satcomp17/mp1-blockpuzzle_8x8_s1_free4.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free10.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free7.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free8.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free9.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s4_free3.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s5_free3.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s7_free8.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s7_free9.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s8_free3.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s8_free7.cnf.gz
satcomp17/mp1-bsat180-648.cnf.gz
satcomp17/mp1-bsat192-689.cnf.gz
satcomp17/mp1-bsat201-707.cnf.gz
satcomp17/mp1-bsat210-739.cnf.gz
satcomp17/mp1-klieber2017s-0300-032-t12.cnf.gz
satcomp17/mp1-klieber2017s-0300-033-t12.cnf.gz
satcomp17/mp1-klieber2017s-0300-034-t12.cnf.gz
satcomp17/mp1-klieber2017s-0300-035-t12.cnf.gz
satcomp17/mp1-klieber2017s-0490-022-t12.cnf.gz
satcomp17/mp1-klieber2017s-0490-023-t12.cnf.gz
satcomp17/mp1-klieber2017s-0490-024-t12.cnf.gz
satcomp17/mp1-klieber2017s-0500-022-t12.cnf.gz
satcomp17/mp1-klieber2017s-0500-023-t12.cnf.gz
satcomp17/mp1-klieber2017s-0500-024-t12.cnf.gz
satcomp17/mp1-klieber2017s-1000-023-eq.cnf.gz
satcomp17/mp1-klieber2017s-1000-024-eq.cnf.gz
satcomp17/mp1-klieber2017s-1200-022-eq.cnf.gz
satcomp17/mp1-klieber2017s-1200-023-eq.cnf.gz
satcomp17/mp1-klieber2017s-1200-024-eq.cnf.gz
satcomp17/mp1-klieber2017s-1600-022-eq.cnf.gz
satcomp17/mp1-klieber2017s-1600-023-eq.cnf.gz
satcomp17/mp1-klieber2017s-1600-024-eq.cnf.gz
satcomp17/mp1-klieber2017s-2000-022-eq.cnf.gz
satcomp17/mp1-klieber2017s-2000-023-eq.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_8.cnf.gz
satcomp17/mp1-qpr-bmp280-driver-14.cnf.gz
satcomp17/mp1-qpr-bmp280-driver-5.cnf.gz
satcomp17/mp1-rubikcube012.cnf.gz
satcomp17/mp1-rubikcube031.cnf.gz
satcomp17/mp1-rubikcube101.cnf.gz
satcomp17/mp1-rubikcube120.cnf.gz
satcomp17/mp1-rubikcube212.cnf.gz
satcomp17/mp1-rubikcube220.cnf.gz
satcomp17/mp1-rubikcube301.cnf.gz
satcomp17/mp1-rubikcube312.cnf.gz
satcomp17/mp1-rubikcube401.cnf.gz
satcomp17/mp1-rubikcube420.cnf.gz
satcomp17/mp1-rubikcube512.cnf.gz
satcomp17/mp1-rubikcube520.cnf.gz
satcomp17/mp1-rubikcube601.cnf.gz
satcomp17/mp1-rubikcube612.cnf.gz
satcomp17/mp1-rubikcube701.cnf.gz
satcomp17/mp1-rubikcube720.cnf.gz
satcomp17/mp1-rubikcube812.cnf.gz
satcomp17/mp1-rubikcube820.cnf.gz
satcomp17/mp1-rubikcube901.cnf.gz
satcomp17/mp1-rubikcube912.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_abio_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_abix_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_bail_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_sinx_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_sinz_SAT.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_abio_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_abix_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_bail_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_sinx_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_sinz_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_abio_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_abix_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_bail_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_sinx_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_sinz_UNS.cnf.gz
|
