1 3col120_5_2.shuffled
2 6s165
3 brent_63_0
4 brent_63_0.22
5 brent_65_0.1
6 brent_67_0.05
7 brent_69_0
8 brent_71_0.25
9 C208_FA_UT_3254
10 c499_gr_2pin_w6.shuffled
11 c880_gr_rcs_w7.shuffled
12 clqcolor-08-06-07.shuffled-as.sat05-1257
13 connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951
14 ferry8_ks99i.renamed-as.sat05-4005
15 grid_10_20.shuffled
16 iso-brn100.shuffled-as.sat05-3025
17 iso-icl004.shuffled-as.sat05-3238
18 iso-ukn004.shuffled-as.sat05-3385
19 mm-1x10-10-10-sb.1.shuffled-as.sat03-1489
20 mrpp_8x8#22_10
21 new-difficult-26-243-24-70
22 pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324
23 pyhala-braun-sat-35-4-04.shuffled
24 rovers1_ks99i.renamed-as.sat05-3971
25 satsgi-n23himBHm26-p0-q248
26 srhd-sgi-m37-q446.25-n35-p30-s33692332
27 g2-T99.2.0
28 gensys-icl002.shuffled-as.sat05-2714
29 grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347
30 instance_n6_i6_pp_ci_ce
31 square.2.0.i.smt2-cvc4
32 Urquhart-s3-b3.shuffled-as.sat03-1556
33 5col100_15_6.shuffled
34 combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2
35 hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin
36 ibm-2004-03-k70
37 lisa19_99_a.shuffled
38 patat-08-comp-3
39 stb_588_138.apx_2_DS-ST
40 vmpc_24
41 6s166
42 brent_51_0.17
43 brent_63_0.26
44 mrpp_4x4#12_12
45 php-010-009.shuffled-as.sat05-1185
46 PRP_30_39
47 qwh.40.560.shuffled-as.sat03-1654
48 rand_net70-40-10.shuffled
49 sgen1-unsat-97-100.cnf.mis-72.debugged
50 brent_63_0.2
51 brent_69_0.05
52 brent_63_0.15
53 PRP_20_40
54 rand_net50-60-10.shuffled
55 brent_51_0.29
56 9vliw_bp_mc.shuffled
57 PRP_30_36
58 PRP_40_40
59 PRP_30_40
60 shift1add.28943
61 ContextModel_output_7_3_9.bul_.dimacs
62 goldberg03:hard_eq_check:i10mul.miter.used-as.sat04-333
63 mchess16-mixed-45percent-blocked
64 PRP_30_37
65 PRP_30_38
66 PRP_30_41
67 rbsat-v760c43649gyes10
68 hash_table_find_safety_size_29
69 PRP_30_35
70 brent_51_0.07
71 brent_63_0.1
72 ContextModel_output_6_3_8.bul_.dimacs
73 hash_table_find_safety_size_30
74 PRP_20_50
75 shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562
76 CNP-5-1100
77 SCPC-800-43
78 mrpp_6x6#18_20
79 SCPC-800-49
80 SCPC-700-80
81 SCPC-700-88
82 170223547
83 rbsat-v760c43649gyes5
84 SC23_Timetable_C_474_E_50_Cl_32_D_6_T_50
85 TimetableCNFEncoding_20_UNKNOWN
86 DivU_624_11.cnf.sanitized
87 stb_792_333.apx_1_DS-ST
88 DivS_568_11.cnf.sanitized
89 DivU_1520_10.cnf.sanitized
90 grs-64-32
91 mchess16-mixed-35percent-blocked
92 SCPC-800-41
93 SCPC-800-42
94 SCPC-800-40
95 SCPC-800-44
96 SCPC-1000-20
97 g2-slp-synthesis-aes-top29
98 SC23_Timetable_C_484_E_50_Cl_33_D_6_T_50
99 grs-96-32
100 SCPC-700-81
101 g2-ak128astepbg2asisc
102 SCPC-700-84
103 SC23_Timetable_C_473_E_50_Cl_32_D_6_T_50
104 asconhashv12_opt64_H13_M2-axxJh7DAq767y_m4_5.c
105 jkkk-one-one-11-32-unsat
106 SCPC-700-87
107 shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711
108 asconhashv12_opt64_H7_M2-OrF8zEw_m2_4.c
109 SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50
110 SC23_Timetable_C_482_E_50_Cl_33_D_6_T_50
111 DivS_862_11.cnf.sanitized
112 SC23_Timetable_C_483_E_50_Cl_33_D_6_T_50
113 DivS_942_11.cnf.sanitized
114 SC23_Timetable_C_473_E_49_Cl_32_D_6_T_50
115 SC23_Timetable_C_478_E_50_Cl_32_D_6_T_50
116 SCPC-800-46
117 SC23_Timetable_C_481_E_51_Cl_32_D_6_T_50
118 SCPC-800-50
119 mchess16-mixed-25percent-blocked
120 SAT_dat.k10
121 SCPC-700-82
122 SC23_Timetable_C_476_E_50_Cl_32_D_6_T_50
123 mod4block_2vars_10gates_u2_autoenc-sc2009
124 mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534
125 SCPC-1000-18
126 grs-128-32
127 SC23_Timetable_C_473_E_52_Cl_32_D_6_T_50
128 asconhashv12_opt64_H8_M2-I61h2mH5_m2_6.c
129 brent_69_0.3
130 hash_table_find_safety_size_27
131 ncc_none_7047_6_3_3_0_0_420
132 asconhashv12_opt64_H5_M2-A8qZX_m0_3_U23.c
133 asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c
134 asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c
135 crafted_n12_d6_c4_num4
136 aes_decry_2_rounds.debugged
137 asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c
138 brent_51_0.28
139 SC23_Timetable_C_477_E_50_Cl_32_D_6_T_50
140 asconhashv12_opt64_H4_M2-ldRf_m1_2_U21.c
141 asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c
142 asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c
143 hash_table_find_safety_size_11
144 hash_table_find_safety_size_10
145 TableSymModel_output_8_4_7.bul_.dimacs
146 hash_table_find_safety_size_13
147 TableModel_output_8_4_7.bul_.dimacs
148 SC23_Timetable_C_481_E_49_Cl_32_D_6_T_50
149 vmpc_28.shuffled-as.sat05-1957
150 hash_table_find_safety_size_14
151 hash_table_find_safety_size_12
152 SC23_Timetable_C_480_E_50_Cl_32_D_6_T_50
153 WS_500_16_90_70.apx_2_DC-ST
154 SCPC-700-86
155 46bits_11.dimacs
156 stb_588_138.apx_2_DC-ST
157 asconhashv12_opt64_H13_M2-NBRdIKEb8MS2W_m3_5.c
158 SCPC-900-27
159 mchess18-mixed-35percent-blocked
160 asconhashv12_opt64_H9_M2-Jdds95CIv_m1_5.c
161 grs-192-32
162 asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c
163 SC23_Timetable_C_488_E_50_Cl_33_D_6_T_50
164 asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c
165 asconhashv12_opt64_H8_M2-1yQCyA0j_m2_6.c
166 ER_400_20_4.apx_1_DC-ST
167 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07
168 php17-mixed-35percent-blocked
169 WS_500_16_70_10.apx_2_DC-ST
170 mchess18-mixed-45percent-blocked
171 sat-bench-trig-bhaskara
172 hash_table_find_safety_size_15
173 asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c
174 sat-bench-trig-taylor2
175 asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c
176 Grain_no_init_ver1_out200_known_last105_0_u
177 6s20-sc2013
178 asconhashv12_opt64_H9_M2-wNfQskE8G_m1_6_U0.c
179 ER_400_20_7.apx_1_DC-ST
180 PRP_100_150
181 IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged
182 brent_13_0.1
183 hash_table_find_safety_size_16
184 ER_500_30_3.apx_2_DC-ST
185 T87.2.0
186 ContextModel_output_6_5_6.bul_.dimacs
187 asconhashv12_opt64_H8_M2-bL4cM6NJ_m4_5_U14.c
188 PRP_100_300
189 grs-192-48
190 brent_9_0
191 spg_420_280
192 satcoin-genesis-UNSAT-5920
193 velev-pipe-o-uns-1.0-7
194 hash_table_find_safety_size_19
195 asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c
196 stb_418_125.apx_2_DC-ST
197 PRP_100_350
198 mp1-klieber2017s-1600-022-eq
199 DLTM_twitter690_74_16
200 hash_table_find_safety_size_17
201 WS_400_24_70_10.apx_2_DC-ST
202 WS_400_24_70_10.apx_2_DC-AD
203 stb_531_83.apx_2_DC-AD
204 hash_table_find_safety_size_26
205 SC23_Timetable_C_486_E_50_Cl_33_D_6_T_50
206 rbsat-v1150c84314gyes10
207 minxor128
208 grs-128-64
209 spg_200_307
210 Schur_161_5_d40
211 hash_table_find_safety_size_23
212 SCPC-900-29
213 satcoin-genesis-UNSAT-9080
214 hash_table_find_safety_size_20
215 hash_table_find_safety_size_21
216 hash_table_find_safety_size_24
217 PRP_200_100
218 mchess18-mixed-25percent-blocked
219 WS_400_24_70_10.apx_1_DC-ST
220 em_11_3_4_cmp
221 php18-mixed-35percent-blocked
222 satcoin-genesis-UNSAT-10600
223 10pipe_q0_k
224 satcoin-genesis-UNSAT-7200
225 grs-160-64
226 satcoin-genesis-UNSAT-11900
227 satcoin-genesis-UNSAT-9880
228 hash_table_find_safety_size_18
229 grs-48-128
230 g2-T49.2.0
231 hash_table_find_safety_size_25
232 ContextModel_output_6_4_6.bul_.dimacs
233 satcoin-genesis-UNSAT-12300
234 baseballcover13with25_and3positions
235 grs-96-96
236 PRP_100_550
237 hash_table_find_safety_size_22
238 satcoin-genesis-UNSAT-11400
239 PRP_100_400
240 rook-47-0-1
241 SCPC-900-31
242 satcoin-genesis-UNSAT-17800
243 satcoin-genesis-UNSAT-18400
244 satcoin-genesis-UNSAT-19800
245 satcoin-genesis-UNSAT-17400
246 PRP_100_250
247 TableModel_output_8_3_10.bul_.dimacs
248 satcoin-genesis-UNSAT-19500
249 grs-48-160
250 grs-32-160
251 satcoin-genesis-UNSAT-18800
252 REGRandom-K4-L1-Seed5
253 brent_15_0.25
254 satcoin-genesis-UNSAT-18600
255 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169
256 WS_400_24_90_10.apx_2_DC-AD
257 PRP_100_450
258 grs-64-160
259 sat-bench-trig-taylor4
260 goldcrest-and-16
261 6g_6color_366_050_04
262 multiplier_13bits__miter_15
263 CNF_to_alien_11
264 SC23_Timetable_C_490_E_50_Cl_33_D_6_T_50
265 BZ2File_write_11
266 GzipFile_close_11
267 oisc-subrv-sll-nested-15
268 mchess20-mixed-45percent-blocked
269 mchess20-mixed-25percent-blocked
270 PRP_100_500
271 multiplier_14bits__miter_14
272 PRP_100_600
273 sat-bench-trig-taylor6
274 TableSymModel_output_6_4_6.bul_.dimacs
275 os_fwalk_12
276 grs-32-256
277 mchess20-mixed-35percent-blocked
278 preimage_80r_490m_160h_seed_150
279 or_randxor_k3_n520_m520
280 TableSymModel_output_8_3_10.bul_.dimacs
281 eqspctbk14spwtcl14
282 rphp_p20_r20
283 multiplier_16bits__miter_19
284 15pipe_q0_k
285 LZMAFile___init___14
286 REGRandom-K4-L4-Seed10
287 SC23_Timetable_C_473_E_45_Cl_32_D_6_T_50
288 16_1
289 cliquecoloring_n14_k9_c8
290 intervals122
291 intervals727
292 intervals753
293 or_randxor_k3_n560_m560
294 rphp_p60_r60
295 intervals802
296 REGRandom-K4-L3-Seed15
297 TableSymModel_output_6_3_8.bul_.dimacs
298 Urquhart-s5-b4.shuffled
299 22_1
300 31_1
301 ER_500_10_1.apx_1_DC-AD
302 FileObject_open_12
303 grs-192-160
304 grs-192-256
305 intervals244
306 oisc-subrv-and-nested-14
307 or_randxor_k3_n540_m540
308 Schur_160_5_d34
309 20_2
310 21_1
311 cliquecoloring_n12_k9_c8
312 CNFPlus_from_fp_12
313 CNF_to_alien_12
314 collections_namedtuple_15
315 ContextModel_output_8_4_9.bul.dimacs
316 FileObject_open_13
317 grs-96-192
318 intervals222
319 intervals477
320 intervals633
321 intervals7
322 intervals80
323 or_randxor_k3_n600_m600
324 or_randxor_k3_n640_m640
325 REGRandom-K3-L3-Seed10
326 TableSymModel_output_7_3_9.bul_.dimacs
327 tph8
328 tseitin_d3_n160
329 tseitin_d3_n180000
330 tseitin_grid_n260_m260
331 WCNF_to_alien_14
332 WS_400_24_90_10.apx_1_DS-ST
333 cliquecoloring_n18_k7_c6
334 ContextModel_output_8_4_8.bul_.dimacs
335 DecompressReader_read_12
336 intervals327
337 intervals718
338 intervals803
339 intervals855
340 mchess22-mixed-25percent-blocked
341 mchess22-mixed-35percent-blocked
342 mchess22-mixed-45percent-blocked
343 par32-4.shuffled
344 php15-mixed-15percent-blocked
345 rphp_p30_r30
346 rphp_p8_r250
347 satch2ways15u
348 StreamReader_readline_13
349 TableModel_output_6_3_8.bul_.dimacs
350 TableSymModel_output_6_5_6.bul_.dimacs
351 tseitin_d3_n110000
352 tseitingrid7x160_shuffled-sc2016
353 WCNFPlus_from_fp_13
354 WS_400_32_90_10.apx_1_DC-AD
355 17_0
356 18_1
357 23_2
358 27_1
359 cliquecoloring_n16_k7_c6
360 intervals553
361 intervals607
362 php17-mixed-15percent-blocked
363 php18-mixed-15percent-blocked
364 pmg-12-UNSAT.sat05-3940.reshuffled-07
365 posixpath_expanduser_14
366 satch2ways16w
367 TableModel_output_6_4_6.bul_.dimacs
368 TableModel_output_7_3_9.bul_.dimacs
369 TableModel_output_8_4_8.bul_.dimacs
370 tseitin_grid_n100_m100
371 WCNF_from_fp_14
372 WS_500_32_50_10.apx_2_DC-AD
373 24_0
374 ER_500_10_2.apx_1_DS-ST
375 ER_500_10_5.apx_2_DC-ST
376 intervals961
377 REGRandom-K4-L2-Seed20
378 SC23_Timetable_C_473_E_46_Cl_32_D_6_T_50
379 sgen3-n260-s62321009-sat
380 TableSymModel_output_8_4_8.bul_.dimacs
381 WCNFPlus_to_alien_14
382 25_2
383 26_1
384 28_2
385 32_0
386 ContextModel_output_8_4_10.bul.dimacs
387 grs-48-256
388 intervals467
389 intervals788
390 multiplier_15bits__miter_20
391 tseitin_d3_n10000
392 tseitin_d3_n200
393 WCNF_from_fp_13
394 19_2
395 30_2
396 intervals313
397 LZMAFile_write_12
398 php16-mixed-15percent-blocked
399 29_1
400 posixpath__joinrealpath_13
