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
|
satcomp14/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf.gz
satcomp14/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf.gz
satcomp14/slp-synthesis-aes-top29.cnf.gz
satcomp14/gss-25-s100.cnf.gz
satcomp14/aes_32_2_keyfind_1.cnf.gz
satcomp14/aes_24_4_keyfind_4.cnf.gz
satcomp14/korf-18.cnf.gz
satcomp14/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.gz
satcomp14/slp-synthesis-aes-top28.cnf.gz
satcomp14/gss-22-s100.cnf.gz
satcomp14/partial-10-17-s.cnf.gz
satcomp14/gss-24-s100.cnf.gz
satcomp14/gss-23-s100.cnf.gz
satcomp14/hitag2-7-60-0-0xe8fa35372ed37e2-80.cnf.gz
satcomp14/hitag2-8-60-0-0xfba1a41b5dfd7f7-52.cnf.gz
satcomp14/hitag2-8-60-0-0xdcdbc8bf368ee73-37.cnf.gz
satcomp14/hitag2-8-60-0-0x1eb82244d7f1c3c-47.cnf.gz
satcomp14/hitag2-10-60-0-0xfee9637399d85a2-78.cnf.gz
satcomp14/hitag2-10-60-0-0xe6754daf48162bf-46.cnf.gz
satcomp14/hitag2-10-60-0-0xe14721bd199894a-99.cnf.gz
satcomp14/hitag2-10-60-0-0x8edc44db7837bbf-65.cnf.gz
satcomp14/hitag2-10-60-0-0x0ffdbe60727f161-57.cnf.gz
satcomp14/ctl_4291_567_5_unsat_pre.cnf.gz
satcomp14/6s151.cnf.gz
satcomp14/6s137.cnf.gz
satcomp14/6s123.cnf.gz
satcomp14/SAT_dat.k95-24_1_rule_3.cnf.gz
satcomp14/SAT_dat.k95-24_1_rule_2.cnf.gz
satcomp14/SAT_dat.k95-24_1_rule_1.cnf.gz
satcomp14/SAT_dat.k90.debugged.cnf.gz
satcomp14/SAT_dat.k85-24_1_rule_1.cnf.gz
satcomp14/SAT_dat.k100-24_1_rule_3.cnf.gz
satcomp14/SAT_dat.k100-24_1_rule_2.cnf.gz
satcomp14/SAT_dat.k100-24_1_rule_1.cnf.gz
satcomp14/6s126-opt.cnf.gz
satcomp14/15pipe_q0_k.cnf.gz
satcomp14/010-23-80.cnf.gz
satcomp14/010-22-160.cnf.gz
satcomp14/010-22-144.cnf.gz
satcomp14/009-23-64.cnf.gz
satcomp14/006-23-96.cnf.gz
satcomp14/006-23-80.cnf.gz
satcomp14/006-22-160.cnf.gz
satcomp14/006-22-144.cnf.gz
satcomp14/005-22-160.cnf.gz
satcomp14/004-22-160.cnf.gz
satcomp14/004-22-144.cnf.gz
satcomp14/003-23-80.cnf.gz
satcomp14/002-23-96.cnf.gz
satcomp14/stable-400-0.1-5-9876543214005.cnf.gz
satcomp14/stable-400-0.1-4-9876543214004.cnf.gz
satcomp14/stable-400-0.1-2-9876543214002.cnf.gz
satcomp14/stable-400-0.1-11-98765432140011.cnf.gz
satcomp14/atco_enc1_opt2_10_16.cnf.gz
satcomp14/MD5-32-5.cnf.gz
satcomp14/MD5-32-4.cnf.gz
satcomp14/MD5-32-3.cnf.gz
satcomp14/MD5-32-2.cnf.gz
satcomp14/MD5-32-1.cnf.gz
satcomp14/MD5-31-5.cnf.gz
satcomp14/MD5-31-4.cnf.gz
satcomp14/MD5-30-5.cnf.gz
satcomp14/MD5-30-4.cnf.gz
satcomp14/MD5-30-2.cnf.gz
satcomp14/MD5-30-1.cnf.gz
satcomp14/MD5-29-5.cnf.gz
satcomp14/MD5-29-4.cnf.gz
satcomp14/MD5-29-3.cnf.gz
satcomp14/MD5-29-2.cnf.gz
satcomp14/MD5-28-5.cnf.gz
satcomp14/MD5-28-4.cnf.gz
satcomp14/MD5-28-3.cnf.gz
satcomp14/MD5-28-2.cnf.gz
satcomp14/MD5-28-1.cnf.gz
satcomp14/dimacs.cnf.gz
satcomp14/SAT_dat.k35-31_2_rule_2.cnf.gz
satcomp14/aes_32_2_keyfind_3.cnf.gz
satcomp14/SAT_dat.k85-24_1_rule_2.cnf.gz
satcomp14/SAT_dat.k85-24_1_rule_3.cnf.gz
satcomp14/rbcl_xits_08_UNSAT.cnf.gz
satcomp14/ctl_3791_556_unsat_pre.cnf.gz
satcomp14/UR-20-10p1.cnf.gz
satcomp14/SAT_dat.k80-24_1_rule_2.cnf.gz
satcomp14/11pipe_11_ooo.cnf.gz
satcomp14/dated-5-13-u.cnf.gz
satcomp14/AProVE07-01.cnf.gz
satcomp14/SAT_dat.k80-24_1_rule_1.cnf.gz
satcomp14/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.gz
satcomp14/ACG-20-10p1.cnf.gz
satcomp14/minandmaxor128.cnf.gz
satcomp14/UR-20-10p0.cnf.gz
satcomp14/IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged.cnf.gz
satcomp14/SAT_dat.k75-24_1_rule_3.cnf.gz
satcomp14/SAT_dat.k70-24_1_rule_1.cnf.gz
satcomp14/SAT_dat.k30-30_rule.cnf.gz
satcomp14/aaai10-planning-ipc5-pathways-17-step21.cnf.gz
satcomp14/vmpc_33.cnf.gz
satcomp14/SAT_dat.k70-24_1_rule_3.cnf.gz
satcomp14/aes_24_4_keyfind_5.cnf.gz
satcomp14/atco_enc3_opt2_18_44.cnf.gz
satcomp14/dated-10-17-u.cnf.gz
satcomp14/aes_32_3_keyfind_1.cnf.gz
satcomp14/atco_enc1_opt2_20_12.cnf.gz
satcomp14/reg_s_2_unknown.cnf.gz
satcomp14/9dlx_vliw_at_b_iq9.cnf.gz
satcomp14/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf.gz
satcomp14/UCG-20-10p1.cnf.gz
satcomp14/UCG-20-10p0.cnf.gz
satcomp14/atco_enc3_opt2_10_12.cnf.gz
satcomp14/atco_enc3_opt2_05_21.cnf.gz
satcomp14/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf.gz
satcomp14/11pipe_k.cnf.gz
satcomp14/gss-20-s100.cnf.gz
satcomp14/002-80-12.cnf.gz
satcomp14/atco_enc2_opt2_10_21.cnf.gz
satcomp14/atco_enc3_opt2_10_14.cnf.gz
satcomp14/UTI-20-10p1.cnf.gz
satcomp14/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz
satcomp14/velev-vliw-uns-4.0-9-i1.cnf.gz
satcomp14/010-80-12.cnf.gz
satcomp14/001-80-12.cnf.gz
satcomp14/007-80-12.cnf.gz
satcomp14/008-80-12.cnf.gz
satcomp14/009-80-8.cnf.gz
satcomp14/ACG-20-5p1.cnf.gz
satcomp14/atco_enc3_opt1_13_48.cnf.gz
satcomp14/stable-400-0.1-12-98765432140012.cnf.gz
satcomp14/004-80-8.cnf.gz
satcomp14/14pipe_q0_k.cnf.gz
satcomp14/ACG-20-5p0.cnf.gz
satcomp14/002-80-8.cnf.gz
satcomp14/003-80-8.cnf.gz
satcomp14/9dlx_vliw_at_b_iq7.cnf.gz
satcomp14/aaai10-planning-ipc5-TPP-21-step11.cnf.gz
satcomp14/atco_enc1_opt1_10_15.cnf.gz
satcomp14/AProVE09-06.cnf.gz
satcomp14/008-80-8.cnf.gz
satcomp14/ACG-15-10p1.cnf.gz
satcomp14/atco_enc2_opt2_05_9.cnf.gz
satcomp14/bob12m02-opt.cnf.gz
satcomp14/007-80-8.cnf.gz
satcomp14/blocks-blocks-36-0.120-NOTKNOWN.cnf.gz
satcomp14/atco_enc3_opt1_04_50.cnf.gz
satcomp14/13pipe_q0_k.cnf.gz
satcomp14/UR-15-10p0.cnf.gz
satcomp14/gss-19-s100.cnf.gz
satcomp14/AProVE07-27.cnf.gz
satcomp14/bjrb07amba10andenv.cnf.gz
satcomp14/partial-10-11-s.cnf.gz
satcomp14/korf-17.cnf.gz
satcomp14/vmpc_32.renamed-as.sat05-1919.cnf.gz
satcomp14/atco_enc2_opt1_20_11.cnf.gz
satcomp14/ACG-15-10p0.cnf.gz
satcomp14/UR-15-10p1.cnf.gz
satcomp14/atco_enc1_opt1_10_21.cnf.gz
satcomp14/UCG-15-10p0.cnf.gz
satcomp14/atco_enc2_opt1_10_21.cnf.gz
satcomp14/UCG-20-5p0.cnf.gz
satcomp14/blocks-blocks-37-1.130-NOTKNOWN.cnf.gz
satcomp14/UCG-15-10p1.cnf.gz
satcomp14/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf.gz
satcomp14/005-80-12.cnf.gz
satcomp14/atco_enc1_opt2_10_14.cnf.gz
satcomp14/aaai10-planning-ipc5-pathways-13-step17.cnf.gz
satcomp14/UTI-20-10p0.cnf.gz
satcomp14/atco_enc1_opt2_10_15.cnf.gz
satcomp14/atco_enc2_opt2_20_11.cnf.gz
satcomp14/006-80-4.cnf.gz
satcomp14/bob12m02.cnf.gz
satcomp14/009-80-4.cnf.gz
satcomp14/6s16-opt.cnf.gz
satcomp14/countbitssrl032.cnf.gz
satcomp14/stable-400-0.1-7-9876543214007.cnf.gz
satcomp14/E02F22.cnf.gz
satcomp14/12pipe_q0_k.cnf.gz
satcomp14/008-80-4.cnf.gz
satcomp14/atco_enc3_opt1_03_53.cnf.gz
satcomp14/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf.gz
satcomp14/6s12.cnf.gz
satcomp14/bob12s02.cnf.gz
satcomp14/6s16.cnf.gz
satcomp14/dated-10-13-u.cnf.gz
satcomp14/6s184.cnf.gz
satcomp14/UR-20-5p0.cnf.gz
satcomp14/6s131-opt.cnf.gz
satcomp14/6s17-opt.cnf.gz
satcomp14/6s9.cnf.gz
satcomp14/6s10.cnf.gz
satcomp14/6s11-opt.cnf.gz
satcomp14/6s13-opt.cnf.gz
satcomp14/UTI-20-5p1.cnf.gz
satcomp14/bob12m09-opt.cnf.gz
satcomp14/aaai10-planning-ipc5-pathways-17-step20.cnf.gz
satcomp14/velev-vliw-uns-2.0-uq5.cnf.gz
satcomp14/6s130-opt.cnf.gz
satcomp14/stable-300-0.1-20-98765432130020.cnf.gz
satcomp14/atco_enc1_opt2_10_12.cnf.gz
satcomp14/dated-10-11-u.cnf.gz
satcomp14/grieu-vmpc-31.cnf.gz
satcomp14/11pipe_q0_k.cnf.gz
satcomp14/6s133.cnf.gz
satcomp14/AProVE07-08.cnf.gz
satcomp14/UCG-20-5p1.cnf.gz
satcomp14/10pipe_q0_k.cnf.gz
satcomp14/esawn_uw3.debugged.cnf.gz
satcomp14/grid-strips-grid-y-3.055-NOTKNOWN.cnf.gz
satcomp14/atco_enc2_opt2_05_4.cnf.gz
satcomp14/minxor128.cnf.gz
satcomp14/vmpc_29.cnf.gz
satcomp14/002-80-4.cnf.gz
satcomp14/bob12s09-opt.cnf.gz
satcomp14/manol-pipe-c10nidw.cnf.gz
satcomp14/partial-5-17-s.cnf.gz
satcomp14/total-10-13-u.cnf.gz
satcomp14/atco_enc1_opt1_18_18.cnf.gz
satcomp14/minxorminand064.cnf.gz
satcomp14/manol-pipe-g10bid_i.cnf.gz
satcomp14/grid-strips-grid-y-3.065-SAT.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug1.cnf.gz
satcomp14/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.050-NOTKNOWN.cnf.gz
satcomp14/9dlx_vliw_at_b_iq4.cnf.gz
satcomp14/atco_enc1_opt1_04_32.cnf.gz
satcomp14/blocks-blocks-36-0.130-NOTKNOWN.cnf.gz
satcomp14/q_query_3_l48_lambda.cnf.gz
satcomp14/manol-pipe-c10nid_i.cnf.gz
satcomp14/grid-strips-grid-y-3.035-NOTKNOWN.cnf.gz
satcomp14/atco_enc1_opt2_05_4.cnf.gz
satcomp14/q_query_3_l46_lambda.cnf.gz
satcomp14/q_query_3_l45_lambda.cnf.gz
satcomp14/gss-18-s100.cnf.gz
satcomp14/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf.gz
satcomp14/6s169-opt.cnf.gz
satcomp14/pb_300_10_lb_08.cnf.gz
satcomp14/8pipe_k.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug9.cnf.gz
satcomp14/q_query_3_L200_coli.sat.cnf.gz
satcomp14/AProVE07-03.cnf.gz
satcomp14/velev-vliw-uns-4.0-9.cnf.gz
satcomp14/beempgsol5b1.cnf.gz
satcomp14/beempgsol2b1.cnf.gz
satcomp14/post-cbmc-aes-ee-r2-noholes.cnf.gz
satcomp14/E02F20.cnf.gz
satcomp14/post-c32s-ss-8.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug8.cnf.gz
satcomp14/manol-pipe-c8nidw.cnf.gz
satcomp14/atco_enc1_opt1_03_56.cnf.gz
satcomp14/post-cbmc-aes-d-r2.cnf.gz
satcomp14/post-cbmc-aes-d-r2-noholes.cnf.gz
satcomp14/c10bi_i.cnf.gz
satcomp14/q_query_3_L150_coli.sat.cnf.gz
satcomp14/bob12m04.cnf.gz
satcomp14/9dlx_vliw_at_b_iq3.cnf.gz
satcomp14/atco_enc2_opt1_15_100.cnf.gz
satcomp14/partial-5-15-s.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug7.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug10.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug4.cnf.gz
satcomp14/9vliw_m_9stages_iq3_C1_bug3.cnf.gz
satcomp14/6s167-opt.cnf.gz
satcomp14/zfcp-2.8-u2-nh.cnf.gz
satcomp14/6s153.cnf.gz
satcomp14/post-cbmc-zfcp-2.8-u2.cnf.gz
satcomp14/7pipe_k.cnf.gz
satcomp14/pb_300_10_lb_07.cnf.gz
satcomp14/atco_enc1_opt1_15_240.cnf.gz
satcomp14/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.gz
satcomp14/openstacks-p30_3.085-SAT.cnf.gz
satcomp14/atco_enc1_opt1_05_21.cnf.gz
satcomp14/q_query_3_L100_coli.sat.cnf.gz
satcomp14/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf.gz
satcomp14/6s168-opt.cnf.gz
satcomp14/MD5-27-4.cnf.gz
satcomp14/maxxor032.cnf.gz
satcomp14/q_query_3_L80_coli.sat.cnf.gz
satcomp14/aaai10-planning-ipc5-TPP-30-step11.cnf.gz
satcomp14/q_query_3_L90_coli.sat.cnf.gz
satcomp14/k2fix_gr_rcs_w9.shuffled.cnf.gz
satcomp14/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.gz
satcomp14/atco_enc2_opt1_05_21.cnf.gz
satcomp14/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.gz
satcomp14/manol-pipe-c10nidw_s.cnf.gz
satcomp14/complete-500-0.1-17-98765432150017.cnf.gz
satcomp14/complete-500-0.1-8-9876543215008.cnf.gz
satcomp14/complete-500-0.1-7-9876543215007.cnf.gz
satcomp14/complete-500-0.1-15-98765432150015.cnf.gz
satcomp14/complete-500-0.1-1-9876543215001.cnf.gz
satcomp14/6s165-nonopt.cnf.gz
satcomp14/rbcl_xits_14_SAT.cnf.gz
satcomp14/aes_64_1_keyfind_1.cnf.gz
satcomp14/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf.gz
satcomp14/complete-400-0.1-3-9876543214003.cnf.gz
satcomp14/complete-400-0.1-12-98765432140012.cnf.gz
satcomp14/complete-400-0.1-16-98765432140016.cnf.gz
satcomp14/rpoc_xits_15_SAT.cnf.gz
satcomp14/complete-400-0.1-7-9876543214007.cnf.gz
satcomp14/itox_vc1130.cnf.gz
satcomp14/complete-300-0.1-4-9876543213004.cnf.gz
satcomp14/complete-300-0.1-8-9876543213008.cnf.gz
satcomp14/complete-300-0.1-18-98765432130018.cnf.gz
satcomp14/complete-300-0.1-7-9876543213007.cnf.gz
|
