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