1 data/cnf/sc2022/main/urquhart3_25bis.shuffled.cnf.xz urquhart3_25bis.shuffled
2 data/cnf/sc2022/main/worker_20_20_16_0.9.cnf.xz worker_20_20_16_0.9
3 data/cnf/sc2022/main/tseitin_n192_d3.cnf.xz tseitin_n192_d3
4 data/cnf/sc2022/main/tseitin_n196_d3.cnf.xz tseitin_n196_d3
5 data/cnf/sc2022/main/tseitin_n200_d3.cnf.xz tseitin_n200_d3
6 data/cnf/sc2022/main/tseitin_grid_n14_m14.cnf.xz tseitin_grid_n14_m14
7 data/cnf/sc2022/main/rphp_p6_r28.cnf.xz rphp_p6_r28
8 data/cnf/sc2022/main/tseitin_grid_n16_m16.cnf.xz tseitin_grid_n16_m16
9 data/cnf/sc2022/main/rphp_p14_r14.cnf.xz rphp_p14_r14
10 data/cnf/sc2022/main/worker_40_40_30_0.9.cnf.xz worker_40_40_30_0.9
11 data/cnf/sc2022/main/20180321_140826713_p_cnf_320_1120.cnf.xz 20180321_140826713_p_cnf_320_1120
12 data/cnf/sc2022/main/mp1-squ_ali_s10x10_c39_bail_SAT.cnf.xz mp1-squ_ali_s10x10_c39_bail_SAT
13 data/cnf/sc2022/main/cliquecoloring_n18_k6_c5.cnf.xz cliquecoloring_n18_k6_c5
14 data/cnf/sc2022/main/worker_20_60_20_0.9.cnf.xz worker_20_60_20_0.9
15 data/cnf/sc2022/main/mdp-28-12-unsat.cnf.xz mdp-28-12-unsat
16 data/cnf/sc2022/main/mdp-28-11-unsat.cnf.xz mdp-28-11-unsat
17 data/cnf/sc2022/main/mdp-28-16-sat.cnf.xz mdp-28-16-sat
18 data/cnf/sc2022/main/mdp-28-10-sat.cnf.xz mdp-28-10-sat
19 data/cnf/sc2022/main/mdp-28-12-sat.cnf.xz mdp-28-12-sat
20 data/cnf/sc2022/main/mdp-32-16-unsat.cnf.xz mdp-32-16-unsat
21 data/cnf/sc2022/main/mdp-32-12-sat.cnf.xz mdp-32-12-sat
22 data/cnf/sc2022/main/mp1-squ_ali_s10x10_c39_abio_SAT.cnf.xz mp1-squ_ali_s10x10_c39_abio_SAT
23 data/cnf/sc2022/main/mp1-squ_ali_s10x10_c39_abix_SAT.cnf.xz mp1-squ_ali_s10x10_c39_abix_SAT
24 data/cnf/sc2022/main/worker_50_50_50_0.85.cnf.xz worker_50_50_50_0.85
25 data/cnf/sc2022/main/bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19.cnf.xz bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19
26 data/cnf/sc2022/main/mdp-36-16-unsat.cnf.xz mdp-36-16-unsat
27 data/cnf/sc2022/main/mdp-36-14-unsat.cnf.xz mdp-36-14-unsat
28 data/cnf/sc2022/main/mdp-36-11-unsat.cnf.xz mdp-36-11-unsat
29 data/cnf/sc2022/main/mdp-36-16-sat.cnf.xz mdp-36-16-sat
30 data/cnf/sc2022/main/mdp-36-12-sat.cnf.xz mdp-36-12-sat
31 data/cnf/sc2022/main/mdp-36-11-sat.cnf.xz mdp-36-11-sat
32 data/cnf/sc2022/main/mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf.xz mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519
33 data/cnf/sc2022/main/worker_40_80_35_0.85.cnf.xz worker_40_80_35_0.85
34 data/cnf/sc2022/main/ablmulub16x4o.cnf.xz ablmulub16x4o
35 data/cnf/sc2022/main/aes_32_2_keyfind_1.cnf.xz aes_32_2_keyfind_1
36 data/cnf/sc2022/main/BubbleVsPancakeSort_6_6.cnf.xz BubbleVsPancakeSort_6_6
37 data/cnf/sc2022/main/PancakeVsInsertSort_9_3.cnf.xz PancakeVsInsertSort_9_3
38 data/cnf/sc2022/main/PancakeVsInsertSort_6_7.cnf.xz PancakeVsInsertSort_6_7
39 data/cnf/sc2022/main/worker_40_80_40_0.85.cnf.xz worker_40_80_40_0.85
40 data/cnf/sc2022/main/PancakeVsSelectionSort_8_3.cnf.xz PancakeVsSelectionSort_8_3
41 data/cnf/sc2022/main/SE_PR_stb_588_138.apx_1.cnf.xz SE_PR_stb_588_138.apx_1
42 data/cnf/sc2022/main/cliquecoloring_n60_k5_c4.cnf.xz cliquecoloring_n60_k5_c4
43 data/cnf/sc2022/main/div-mitern174.cnf.xz div-mitern174
44 data/cnf/sc2022/main/eqsparcl12bpwtrc12.cnf.xz eqsparcl12bpwtrc12
45 data/cnf/sc2022/main/worker_30_120_30_0.8.cnf.xz worker_30_120_30_0.8
46 data/cnf/sc2022/main/PancakeVsInsertSort_8_5.cnf.xz PancakeVsInsertSort_8_5
47 data/cnf/sc2022/main/sqrt-mitern172.cnf.xz sqrt-mitern172
48 data/cnf/sc2022/main/PancakeVsInsertSort_9_4.cnf.xz PancakeVsInsertSort_9_4
49 data/cnf/sc2022/main/size_5_5_5_i198_r12.cnf.xz size_5_5_5_i198_r12
50 data/cnf/sc2022/main/PancakeVsInsertSort_7_7.cnf.xz PancakeVsInsertSort_7_7
51 data/cnf/sc2022/main/6s158_Iter2.cnf.xz 6s158_Iter2
52 data/cnf/sc2022/main/worker_80_80_80_0.8.cnf.xz worker_80_80_80_0.8
53 data/cnf/sc2022/main/combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2.cnf.xz combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2
54 data/cnf/sc2022/main/PancakeVsSelectionSort_8_4.cnf.xz PancakeVsSelectionSort_8_4
55 data/cnf/sc2022/main/div-mitern171.cnf.xz div-mitern171
56 data/cnf/sc2022/main/Wallace_Bits_Fast_2.cnf.cnf.xz Wallace_Bits_Fast_2.cnf
57 data/cnf/sc2022/main/Carry_Bits_Fast_18.cnf.cnf.xz Carry_Bits_Fast_18.cnf
58 data/cnf/sc2022/main/Carry_Bits_Fast_4.cnf.cnf.xz Carry_Bits_Fast_4.cnf
59 data/cnf/sc2022/main/Carry_Bits_Fast_12.cnf.cnf.xz Carry_Bits_Fast_12.cnf
60 data/cnf/sc2022/main/Carry_Bits_Fast_23.cnf.cnf.xz Carry_Bits_Fast_23.cnf
61 data/cnf/sc2022/main/satch2ways12u.cnf.xz satch2ways12u
62 data/cnf/sc2022/main/PancakeVsInsertSort_8_6.cnf.xz PancakeVsInsertSort_8_6
63 data/cnf/sc2022/main/worker_50_150_40_0.85.cnf.xz worker_50_150_40_0.85
64 data/cnf/sc2022/main/PancakeVsSelectionSort_7_6.cnf.xz PancakeVsSelectionSort_7_6
65 data/cnf/sc2022/main/PancakeVsInsertSort_7_8.cnf.xz PancakeVsInsertSort_7_8
66 data/cnf/sc2022/main/frb75-13-2.used-as.sat04-878.cnf.xz frb75-13-2.used-as.sat04-878
67 data/cnf/sc2022/main/Break_unsat_10_15.xml.cnf.xz Break_unsat_10_15.xml
68 data/cnf/sc2022/main/PancakeVsInsertSort_8_7.cnf.xz PancakeVsInsertSort_8_7
69 data/cnf/sc2022/main/PancakeVsSelectionSort_7_7.cnf.xz PancakeVsSelectionSort_7_7
70 data/cnf/sc2022/main/sqrt-mitern168.cnf.xz sqrt-mitern168
71 data/cnf/sc2022/main/div-mitern168.cnf.xz div-mitern168
72 data/cnf/sc2022/main/div-mitern167.cnf.xz div-mitern167
73 data/cnf/sc2022/main/hantzsche_wendt_unit_83.cnf.xz hantzsche_wendt_unit_83
74 data/cnf/sc2022/main/div-mitern165.cnf.xz div-mitern165
75 data/cnf/sc2022/main/manthey_single-ordered-initialized-w42-b8.cnf.xz manthey_single-ordered-initialized-w42-b8
76 data/cnf/sc2022/main/j3037_10_gmto_bm1.cnf.xz j3037_10_gmto_bm1
77 data/cnf/sc2022/main/j3045_4_rggt_bm1.cnf.xz j3045_4_rggt_bm1
78 data/cnf/sc2022/main/j3045_4_gmto_bm1.cnf.xz j3045_4_gmto_bm1
79 data/cnf/sc2022/main/SCPC-500-10.cnf.xz SCPC-500-10
80 data/cnf/sc2022/main/SCPC-500-8.cnf.xz SCPC-500-8
81 data/cnf/sc2022/main/SCPC-500-15.cnf.xz SCPC-500-15
82 data/cnf/sc2022/main/j3037_10_gmto_b.cnf.xz j3037_10_gmto_b
83 data/cnf/sc2022/main/SCPC-500-9.cnf.xz SCPC-500-9
84 data/cnf/sc2022/main/SCPC-500-7.cnf.xz SCPC-500-7
85 data/cnf/sc2022/main/SCPC-500-4.cnf.xz SCPC-500-4
86 data/cnf/sc2022/main/SCPC-500-18.cnf.xz SCPC-500-18
87 data/cnf/sc2022/main/SCPC-500-19.cnf.xz SCPC-500-19
88 data/cnf/sc2022/main/SCPC-500-2.cnf.xz SCPC-500-2
89 data/cnf/sc2022/main/hantzsche_wendt_unit_92.cnf.xz hantzsche_wendt_unit_92
90 data/cnf/sc2022/main/SCPC-500-17.cnf.xz SCPC-500-17
91 data/cnf/sc2022/main/j3045_10_gmto_bm1.cnf.xz j3045_10_gmto_bm1
92 data/cnf/sc2022/main/SCPC-500-16.cnf.xz SCPC-500-16
93 data/cnf/sc2022/main/SCPC-500-11.cnf.xz SCPC-500-11
94 data/cnf/sc2022/main/SCPC-500-20.cnf.xz SCPC-500-20
95 data/cnf/sc2022/main/div-mitern164.cnf.xz div-mitern164
96 data/cnf/sc2022/main/Wallace_Bits_Fast_7.cnf.cnf.xz Wallace_Bits_Fast_7.cnf
97 data/cnf/sc2022/main/Wallace_Bits_Fast_3.cnf.cnf.xz Wallace_Bits_Fast_3.cnf
98 data/cnf/sc2022/main/hantzsche_wendt_unit_93.cnf.xz hantzsche_wendt_unit_93
99 data/cnf/sc2022/main/Break_unsat_12_19.xml.cnf.xz Break_unsat_12_19.xml
100 data/cnf/sc2022/main/Carry_Save_Fast_3.cnf.cnf.xz Carry_Save_Fast_3.cnf
101 data/cnf/sc2022/main/LABS_n041_goal003.cnf.xz LABS_n041_goal003
102 data/cnf/sc2022/main/ortholatin-7.cnf.xz ortholatin-7
103 data/cnf/sc2022/main/manthey_single-ordered-initialized-w50-b7.cnf.xz manthey_single-ordered-initialized-w50-b7
104 data/cnf/sc2022/main/Break_triple_12_30.xml.cnf.xz Break_triple_12_30.xml
105 data/cnf/sc2022/main/j3045_4_mdd_b.cnf.xz j3045_4_mdd_b
106 data/cnf/sc2022/main/Carry_Bits_Fast_16.cnf.cnf.xz Carry_Bits_Fast_16.cnf
107 data/cnf/sc2022/main/Carry_Bits_Fast_8.cnf.cnf.xz Carry_Bits_Fast_8.cnf
108 data/cnf/sc2022/main/Carry_Bits_Fast_5.cnf.cnf.xz Carry_Bits_Fast_5.cnf
109 data/cnf/sc2022/main/52bits_12.dimacs.cnf.xz 52bits_12.dimacs
110 data/cnf/sc2022/main/50bits_11.dimacs.cnf.xz 50bits_11.dimacs
111 data/cnf/sc2022/main/sin-mitern29.cnf.xz sin-mitern29
112 data/cnf/sc2022/main/soelberg_unit_109.cnf.xz soelberg_unit_109
113 data/cnf/sc2022/main/Carry_Save_Fast_2.cnf.cnf.xz Carry_Save_Fast_2.cnf
114 data/cnf/sc2022/main/j3037_9_gmto_bm1.cnf.xz j3037_9_gmto_bm1
115 data/cnf/sc2022/main/j3037_9_gmto_b.cnf.xz j3037_9_gmto_b
116 data/cnf/sc2022/main/j3045_10_mdd_bm1.cnf.xz j3045_10_mdd_bm1
117 data/cnf/sc2022/main/j3037_1_rggt_b.cnf.xz j3037_1_rggt_b
118 data/cnf/sc2022/main/6s186_Iter20.cnf.xz 6s186_Iter20
119 data/cnf/sc2022/main/ktf_TF-3.tf_3_0.02_24.cnf.xz ktf_TF-3.tf_3_0.02_24
120 data/cnf/sc2022/main/j3037_1_rggt_bm1.cnf.xz j3037_1_rggt_bm1
121 data/cnf/sc2022/main/beempgsol2b1.cnf.xz beempgsol2b1
122 data/cnf/sc2022/main/reconf20_20_grid10_1_6141.cnf.xz reconf20_20_grid10_1_6141
123 data/cnf/sc2022/main/mp1-klieber2017s-0300-034-t12.cnf.xz mp1-klieber2017s-0300-034-t12
124 data/cnf/sc2022/main/mp1-blockpuzzle_5x12_s6_free3.cnf.xz mp1-blockpuzzle_5x12_s6_free3
125 data/cnf/sc2022/main/reconf20_20_grid10_4_4957.cnf.xz reconf20_20_grid10_4_4957
126 data/cnf/sc2022/main/Carry_Save_Fast_1.cnf.cnf.xz Carry_Save_Fast_1.cnf
127 data/cnf/sc2022/main/puzzle30_sat.cnf.xz puzzle30_sat
128 data/cnf/sc2022/main/j3037_9_mdd_b.cnf.xz j3037_9_mdd_b
129 data/cnf/sc2022/main/sin-mitern28.cnf.xz sin-mitern28
130 data/cnf/sc2022/main/sin_depth_miter_6.cnf.xz sin_depth_miter_6
131 data/cnf/sc2022/main/sin_depth_miter_5.cnf.xz sin_depth_miter_5
132 data/cnf/sc2022/main/ctl_4291_567_1_unsat_pre.cnf.xz ctl_4291_567_1_unsat_pre
133 data/cnf/sc2022/main/gss-18-s100.cnf.xz gss-18-s100
134 data/cnf/sc2022/main/atco_enc1_opt2_10_15.cnf.xz atco_enc1_opt2_10_15
135 data/cnf/sc2022/main/Break_16_56.xml.cnf.xz Break_16_56.xml
136 data/cnf/sc2022/main/mp1-9_27.cnf.xz mp1-9_27
137 data/cnf/sc2022/main/ctl_4291_567_12_unsat.cnf.xz ctl_4291_567_12_unsat
138 data/cnf/sc2022/main/rubikcube701-sc2017.cnf.xz rubikcube701-sc2017
139 data/cnf/sc2022/main/hantzsche_wendt_unit_147.cnf.xz hantzsche_wendt_unit_147
140 data/cnf/sc2022/main/6s184.cnf.xz 6s184
141 data/cnf/sc2022/main/soelberg_unit_158.cnf.xz soelberg_unit_158
142 data/cnf/sc2022/main/soelberg_unit_159.cnf.xz soelberg_unit_159
143 data/cnf/sc2022/main/div_miter_lec_1.cnf.xz div_miter_lec_1
144 data/cnf/sc2022/main/Break_triple_18_48.xml.cnf.xz Break_triple_18_48.xml
145 data/cnf/sc2022/main/summle_X111104_steps6_I1-2-2-4-4-8-25-100.cnf.xz summle_X111104_steps6_I1-2-2-4-4-8-25-100
146 data/cnf/sc2022/main/reconf20_61_myciel4_2.cnf.xz reconf20_61_myciel4_2
147 data/cnf/sc2022/main/ITC2021_Late_6.xml.cnf.xz ITC2021_Late_6.xml
148 data/cnf/sc2022/main/mp1-21.7.cnf.xz mp1-21.7
149 data/cnf/sc2022/main/SAT_dat.k80.cnf.xz SAT_dat.k80
150 data/cnf/sc2022/main/DLTM_twitter690_74_16.cnf.xz DLTM_twitter690_74_16
151 data/cnf/sc2022/main/summle_X111113_steps7_I1-2-2-4-4-8-25-100.cnf.xz summle_X111113_steps7_I1-2-2-4-4-8-25-100
152 data/cnf/sc2022/main/bz-X-4-7-6.cnf.xz bz-X-4-7-6
153 data/cnf/sc2022/main/summle_X111119_steps7_I1-2-2-4-4-8-25-100.cnf.xz summle_X111119_steps7_I1-2-2-4-4-8-25-100
154 data/cnf/sc2022/main/summle_X111121_steps7_I1-2-2-4-4-8-25-100.cnf.xz summle_X111121_steps7_I1-2-2-4-4-8-25-100
155 data/cnf/sc2022/main/md4__zeroOut_19__freeIn_23__seed_2.cnf.xz md4__zeroOut_19__freeIn_23__seed_2
156 data/cnf/sc2022/main/Break_triple_20_54.xml.cnf.xz Break_triple_20_54.xml
157 data/cnf/sc2022/main/Break_20_36.xml.cnf.xz Break_20_36.xml
158 data/cnf/sc2022/main/Break_20_54.xml.cnf.xz Break_20_54.xml
159 data/cnf/sc2022/main/006.cnf.xz 006
160 data/cnf/sc2022/main/Break_triple_20_72.xml.cnf.xz Break_triple_20_72.xml
161 data/cnf/sc2022/main/ITC2021_Early_4.xml.cnf.xz ITC2021_Early_4.xml
162 data/cnf/sc2022/main/gus-md5-11.cnf.xz gus-md5-11
163 data/cnf/sc2022/main/ITC2021_Late_1.xml.cnf.xz ITC2021_Late_1.xml
164 data/cnf/sc2022/main/003-23-80.cnf.xz 003-23-80
165 data/cnf/sc2022/main/af-synthesis_stb_50_20_8_sat.cnf.xz af-synthesis_stb_50_20_8_sat
166 data/cnf/sc2022/main/af-synthesis_stb_50_20_8_unsat.cnf.xz af-synthesis_stb_50_20_8_unsat
167 data/cnf/sc2022/main/smtlib-qfbv-aigs-countbits128-tseitin.cnf.xz smtlib-qfbv-aigs-countbits128-tseitin
168 data/cnf/sc2022/main/summle_X8634_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X8634_steps8_I1-2-2-4-4-8-25-100
169 data/cnf/sc2022/main/summle_X8651_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X8651_steps8_I1-2-2-4-4-8-25-100
170 data/cnf/sc2022/main/summle_X8646_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X8646_steps8_I1-2-2-4-4-8-25-100
171 data/cnf/sc2022/main/summle_X11113_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X11113_steps8_I1-2-2-4-4-8-25-100
172 data/cnf/sc2022/main/summle_X8639_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X8639_steps8_I1-2-2-4-4-8-25-100
173 data/cnf/sc2022/main/summle_X8637_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X8637_steps8_I1-2-2-4-4-8-25-100
174 data/cnf/sc2022/main/summle_X111102_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X111102_steps8_I1-2-2-4-4-8-25-100
175 data/cnf/sc2022/main/summle_X111107_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X111107_steps8_I1-2-2-4-4-8-25-100
176 data/cnf/sc2022/main/summle_X111117_steps8_I1-2-2-4-4-8-25-100.cnf.xz summle_X111117_steps8_I1-2-2-4-4-8-25-100
177 data/cnf/sc2022/main/sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness.cnf.xz sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness
178 data/cnf/sc2022/main/rphp_p95_r95.cnf.xz rphp_p95_r95
179 data/cnf/sc2022/main/rphp_p90_r90.cnf.xz rphp_p90_r90
180 data/cnf/sc2022/main/edit_distance041_183.cnf.xz edit_distance041_183
181 data/cnf/sc2022/main/soelberg_unit_223.cnf.xz soelberg_unit_223
182 data/cnf/sc2022/main/g2-mizh-md5-48-2.cnf.xz g2-mizh-md5-48-2
183 data/cnf/sc2022/main/6s105_Iter35.cnf.xz 6s105_Iter35
184 data/cnf/sc2022/main/rphp_p105_r105.cnf.xz rphp_p105_r105
185 data/cnf/sc2022/main/atco_enc1_opt2_10_16-sc2014.cnf.xz atco_enc1_opt2_10_16-sc2014
186 data/cnf/sc2022/main/grid-color-12-14-8-cb.cnf.xz grid-color-12-14-8-cb
187 data/cnf/sc2022/main/grid-color-12-14-6-cb.cnf.xz grid-color-12-14-6-cb
188 data/cnf/sc2022/main/grid-color-12-14-4-cb.cnf.xz grid-color-12-14-4-cb
189 data/cnf/sc2022/main/grid-color-12-14-2-cb.cnf.xz grid-color-12-14-2-cb
190 data/cnf/sc2022/main/grid-color-12-14-14-cb.cnf.xz grid-color-12-14-14-cb
191 data/cnf/sc2022/main/grid-color-12-14-12-cb.cnf.xz grid-color-12-14-12-cb
192 data/cnf/sc2022/main/grid-color-12-14-10-cb.cnf.xz grid-color-12-14-10-cb
193 data/cnf/sc2022/main/af-synthesis_stb_50_40_2_sat.cnf.xz af-synthesis_stb_50_40_2_sat
194 data/cnf/sc2022/main/Nb8T61.cnf.xz Nb8T61
195 data/cnf/sc2022/main/6s133-sc2014.cnf.xz 6s133-sc2014
196 data/cnf/sc2022/main/sin_depth_miter_8.cnf.xz sin_depth_miter_8
197 data/cnf/sc2022/main/ITC2021_Late_2.xml.cnf.xz ITC2021_Late_2.xml
198 data/cnf/sc2022/main/hwmcc15deep-6s516r-k18-sc2017.cnf.xz hwmcc15deep-6s516r-k18-sc2017
199 data/cnf/sc2022/main/Eternity-10-06_c18.cnf.xz Eternity-10-06_c18
200 data/cnf/sc2022/main/sin_depth_miter_4.cnf.xz sin_depth_miter_4
201 data/cnf/sc2022/main/reconf20_50_grid10_3_6844.cnf.xz reconf20_50_grid10_3_6844
202 data/cnf/sc2022/main/h31.cnf.xz h31
203 data/cnf/sc2022/main/div_miter_lec_4.cnf.xz div_miter_lec_4
204 data/cnf/sc2022/main/div_miter_lec_3.cnf.xz div_miter_lec_3
205 data/cnf/sc2022/main/vlsat2_113_1150.cnf.xz vlsat2_113_1150
206 data/cnf/sc2022/main/grid-color-14-14-8-cb.cnf.xz grid-color-14-14-8-cb
207 data/cnf/sc2022/main/grid-color-14-14-6-cb.cnf.xz grid-color-14-14-6-cb
208 data/cnf/sc2022/main/grid-color-14-14-2-cb.cnf.xz grid-color-14-14-2-cb
209 data/cnf/sc2022/main/grid-color-14-14-14-cb.cnf.xz grid-color-14-14-14-cb
210 data/cnf/sc2022/main/grid-color-14-14-12-cb.cnf.xz grid-color-14-14-12-cb
211 data/cnf/sc2022/main/grid-color-14-14-10-cb.cnf.xz grid-color-14-14-10-cb
212 data/cnf/sc2022/main/ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418.cnf.xz ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418
213 data/cnf/sc2022/main/20-100-lambda100-49_sat.cnf.xz 20-100-lambda100-49_sat
214 data/cnf/sc2022/main/reconf20_26_3-FullIns_4_1.cnf.xz reconf20_26_3-FullIns_4_1
215 data/cnf/sc2022/main/20-100-lambda100-89_sat.cnf.xz 20-100-lambda100-89_sat
216 data/cnf/sc2022/main/xor_op_n44_d3.cnf.xz xor_op_n44_d3
217 data/cnf/sc2022/main/reconf10_86_sp003_1.cnf.xz reconf10_86_sp003_1
218 data/cnf/sc2022/main/6-4-6-sc2018.cnf.xz 6-4-6-sc2018
219 data/cnf/sc2022/main/6s320rb1_Iter8.cnf.xz 6s320rb1_Iter8
220 data/cnf/sc2022/main/af-synthesis_stb_50_80_7_unsat.cnf.xz af-synthesis_stb_50_80_7_unsat
221 data/cnf/sc2022/main/af-synthesis_stb_50_80_7_sat.cnf.xz af-synthesis_stb_50_80_7_sat
222 data/cnf/sc2022/main/traffic_f_unknown.cnf.xz traffic_f_unknown
223 data/cnf/sc2022/main/ecarev-110-4099-22-30-7.cnf.xz ecarev-110-4099-22-30-7
224 data/cnf/sc2022/main/sqrt_ineq_3.c.cnf.xz sqrt_ineq_3.c
225 data/cnf/sc2022/main/6s320rb1_Iter9.cnf.xz 6s320rb1_Iter9
226 data/cnf/sc2022/main/af-synthesis_stb_50_100_4_unsat.cnf.xz af-synthesis_stb_50_100_4_unsat
227 data/cnf/sc2022/main/6s186_Iter99.cnf.xz 6s186_Iter99
228 data/cnf/sc2022/main/008-80-8.cnf.xz 008-80-8
229 data/cnf/sc2022/main/vlsat2_24450_2770239.dimacs.cnf.xz vlsat2_24450_2770239.dimacs
230 data/cnf/sc2022/main/005-80-12.cnf.xz 005-80-12
231 data/cnf/sc2022/main/satcoin-genesis-SAT-5.cnf.xz satcoin-genesis-SAT-5
232 data/cnf/sc2022/main/satcoin-genesis-SAT-8192.cnf.xz satcoin-genesis-SAT-8192
233 data/cnf/sc2022/main/satcoin-genesis-SAT-4.cnf.xz satcoin-genesis-SAT-4
234 data/cnf/sc2022/main/af-synthesis_stb_50_120_4_unsat.cnf.xz af-synthesis_stb_50_120_4_unsat
235 data/cnf/sc2022/main/6s105_Iter99.cnf.xz 6s105_Iter99
236 data/cnf/sc2022/main/af-synthesis_stb_50_140_1_sat.cnf.xz af-synthesis_stb_50_140_1_sat
237 data/cnf/sc2022/main/af-synthesis_stb_50_140_0_sat.cnf.xz af-synthesis_stb_50_140_0_sat
238 data/cnf/sc2022/main/8-5-6.cnf.xz 8-5-6
239 data/cnf/sc2022/main/af-synthesis_stb_50_140_3_sat.cnf.xz af-synthesis_stb_50_140_3_sat
240 data/cnf/sc2022/main/sha256__zeroOut_12__freeIn_16__seed_1.cnf.xz sha256__zeroOut_12__freeIn_16__seed_1
241 data/cnf/sc2022/main/sin_depth_miter_2.cnf.xz sin_depth_miter_2
242 data/cnf/sc2022/main/bobsmdct_init_k88.cnf.xz bobsmdct_init_k88
243 data/cnf/sc2022/main/h31_large.cnf.xz h31_large
244 data/cnf/sc2022/main/SC22_Timetable_C_436_E_39_Cl_29_S_27.cnf.xz SC22_Timetable_C_436_E_39_Cl_29_S_27
245 data/cnf/sc2022/main/SC22_Timetable_C_436_E_41_Cl_29_S_27.cnf.xz SC22_Timetable_C_436_E_41_Cl_29_S_27
246 data/cnf/sc2022/main/SC22_Timetable_C_436_E_43_Cl_29_S_27.cnf.xz SC22_Timetable_C_436_E_43_Cl_29_S_27
247 data/cnf/sc2022/main/reconf10_140_queen6_1.cnf.xz reconf10_140_queen6_1
248 data/cnf/sc2022/main/SC22_Timetable_C_436_E_40_Cl_29_S_27.cnf.xz SC22_Timetable_C_436_E_40_Cl_29_S_27
249 data/cnf/sc2022/main/SC22_Timetable_C_436_E_42_Cl_29_S_27.cnf.xz SC22_Timetable_C_436_E_42_Cl_29_S_27
250 data/cnf/sc2022/main/manol-pipe-f7nidw.cnf.xz manol-pipe-f7nidw
251 data/cnf/sc2022/main/SC22_Timetable_C_451_E_43_Cl_30_S_27.cnf.xz SC22_Timetable_C_451_E_43_Cl_30_S_27
252 data/cnf/sc2022/main/bobsmdct_k88.cnf.xz bobsmdct_k88
253 data/cnf/sc2022/main/SC22_Timetable_C_451_E_48_Cl_30_S_27.cnf.xz SC22_Timetable_C_451_E_48_Cl_30_S_27
254 data/cnf/sc2022/main/SC22_Timetable_C_451_E_45_Cl_30_S_27.cnf.xz SC22_Timetable_C_451_E_45_Cl_30_S_27
255 data/cnf/sc2022/main/intel046_Iter124.cnf.xz intel046_Iter124
256 data/cnf/sc2022/main/reconf10_145_queen6_2.cnf.xz reconf10_145_queen6_2
257 data/cnf/sc2022/main/af-synthesis_stb_50_200_4_sat.cnf.xz af-synthesis_stb_50_200_4_sat
258 data/cnf/sc2022/main/SC22_Timetable_C_451_E_46_Cl_30_S_27.cnf.xz SC22_Timetable_C_451_E_46_Cl_30_S_27
259 data/cnf/sc2022/main/SC22_Timetable_C_451_E_50_Cl_30_S_28.cnf.xz SC22_Timetable_C_451_E_50_Cl_30_S_28
260 data/cnf/sc2022/main/reconf10_99_Ins_3_1.cnf.xz reconf10_99_Ins_3_1
261 data/cnf/sc2022/main/reconf10_42_queen20_4_0961.cnf.xz reconf10_42_queen20_4_0961
262 data/cnf/sc2022/main/hyp_cec_multi_1.cnf.xz hyp_cec_multi_1
263 data/cnf/sc2022/main/hyp_cec_multi_3.cnf.xz hyp_cec_multi_3
264 data/cnf/sc2022/main/3d_perfect_euler_bricks.cnf.xz 3d_perfect_euler_bricks
265 data/cnf/sc2022/main/grid-strips-grid-y-3.045-NOTKNOWN.cnf.xz grid-strips-grid-y-3.045-NOTKNOWN
266 data/cnf/sc2022/main/SC21_Timetable_C_527_E_71_Cl_35_S_35.cnf.xz SC21_Timetable_C_527_E_71_Cl_35_S_35
267 data/cnf/sc2022/main/SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf.xz SC21_Timetable_C_542_E_71_Cl_36_S_35
268 data/cnf/sc2022/main/pj2018_k10.cnf.xz pj2018_k10
269 data/cnf/sc2022/main/reconf10_68_queen15_2.cnf.xz reconf10_68_queen15_2
270 data/cnf/sc2022/main/4d_euler_bricks.cnf.xz 4d_euler_bricks
271 data/cnf/sc2022/main/ps_200_300_70.cnf.xz ps_200_300_70
272 data/cnf/sc2022/main/pj2003_k9.cnf.xz pj2003_k9
273 data/cnf/sc2022/main/pj2002_k9.cnf.xz pj2002_k9
274 data/cnf/sc2022/main/sudoku-N30-22.cnf.xz sudoku-N30-22
275 data/cnf/sc2022/main/sudoku-N30-7.cnf.xz sudoku-N30-7
276 data/cnf/sc2022/main/sudoku-N30-29.cnf.xz sudoku-N30-29
277 data/cnf/sc2022/main/sudoku-N30-24.cnf.xz sudoku-N30-24
278 data/cnf/sc2022/main/sudoku-N30-8.cnf.xz sudoku-N30-8
279 data/cnf/sc2022/main/sudoku-N30-10.cnf.xz sudoku-N30-10
280 data/cnf/sc2022/main/sudoku-N30-20.cnf.xz sudoku-N30-20
281 data/cnf/sc2022/main/sudoku-N30-6.cnf.xz sudoku-N30-6
282 data/cnf/sc2022/main/sudoku-N30-27.cnf.xz sudoku-N30-27
283 data/cnf/sc2022/main/sudoku-N30-4.cnf.xz sudoku-N30-4
284 data/cnf/sc2022/main/sudoku-N30-11.cnf.xz sudoku-N30-11
285 data/cnf/sc2022/main/ps_200_323_70.cnf.xz ps_200_323_70
286 data/cnf/sc2022/main/hyp_cec_multi_4.cnf.xz hyp_cec_multi_4
287 data/cnf/sc2022/main/9dlx_vliw_at_b_iq6.cnf.xz 9dlx_vliw_at_b_iq6
288 data/cnf/sc2022/main/hyp_cec_multi_5.cnf.xz hyp_cec_multi_5
289 data/cnf/sc2022/main/pj2015_k9.cnf.xz pj2015_k9
290 data/cnf/sc2022/main/4d_perfect_euler_bricks.cnf.xz 4d_perfect_euler_bricks
291 data/cnf/sc2022/main/6s22_Iter57.cnf.xz 6s22_Iter57
292 data/cnf/sc2022/main/atco_enc3_opt1_03_53.cnf.xz atco_enc3_opt1_03_53
293 data/cnf/sc2022/main/20-100-p100-55_sat.cnf.xz 20-100-p100-55_sat
294 data/cnf/sc2022/main/barman-pfile10-038.sas.ex.15.cnf.xz barman-pfile10-038.sas.ex.15
295 data/cnf/sc2022/main/knight_18.cnf.xz knight_18
296 data/cnf/sc2022/main/q_query_3_L200_coli.sat.cnf.xz q_query_3_L200_coli.sat
297 data/cnf/sc2022/main/sin_depth_miter_1.cnf.xz sin_depth_miter_1
298 data/cnf/sc2022/main/vlsat2_57038_10572502.dimacs.cnf.xz vlsat2_57038_10572502.dimacs
299 data/cnf/sc2022/main/UTI-20-10p0-sc2009.cnf.xz UTI-20-10p0-sc2009
300 data/cnf/sc2022/main/cfi-rigid-t2-0048-01-or_3.cnf.xz cfi-rigid-t2-0048-01-or_3
301 data/cnf/sc2022/main/reconf20_320_hc-square-2_1.cnf.xz reconf20_320_hc-square-2_1
302 data/cnf/sc2022/main/abw-V-nos6.mtx-w220.cnf.xz abw-V-nos6.mtx-w220
303 data/cnf/sc2022/main/sum_of_three_cubes_33_known_representation.cnf.xz sum_of_three_cubes_33_known_representation
304 data/cnf/sc2022/main/spg_420_280.cnf.xz spg_420_280
305 data/cnf/sc2022/main/6s22_Iter99.cnf.xz 6s22_Iter99
306 data/cnf/sc2022/main/sum_of_three_cubes_165_known_representation.cnf.xz sum_of_three_cubes_165_known_representation
307 data/cnf/sc2022/main/SAT_H_instances_childsnack_p06.hddl_2.cnf.xz SAT_H_instances_childsnack_p06.hddl_2
308 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind40.cnf.xz linked_list_swap_contents_safety_unwind40
309 data/cnf/sc2022/main/cfi-rigid-s2-0064-04-or_2.cnf.xz cfi-rigid-s2-0064-04-or_2
310 data/cnf/sc2022/main/cfi-rigid-r2-0072-01-or_3.cnf.xz cfi-rigid-r2-0072-01-or_3
311 data/cnf/sc2022/main/coreMQTT:MQTT_SerializeConnect.cnf.xz coreMQTT:MQTT_SerializeConnect
312 data/cnf/sc2022/main/cfi-rigid-s2-0064-02-or_2.cnf.xz cfi-rigid-s2-0064-02-or_2
313 data/cnf/sc2022/main/s2n:s2n_stuffer_private_key_from_pem.cnf.xz s2n:s2n_stuffer_private_key_from_pem
314 data/cnf/sc2022/main/cfi-rigid-z2-0088-03-or_2.cnf.xz cfi-rigid-z2-0088-03-or_2
315 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind41.cnf.xz linked_list_swap_contents_safety_unwind41
316 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind43.cnf.xz linked_list_swap_contents_safety_unwind43
317 data/cnf/sc2022/main/bobsmdct_k500.cnf.xz bobsmdct_k500
318 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind44.cnf.xz linked_list_swap_contents_safety_unwind44
319 data/cnf/sc2022/main/ex175_20.cnf.xz ex175_20
320 data/cnf/sc2022/main/corePKCS11:C_CreateObject.cnf.xz corePKCS11:C_CreateObject
321 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind48.cnf.xz linked_list_swap_contents_safety_unwind48
322 data/cnf/sc2022/main/string_compare_safety_cbmc_unwinding_670.cnf.xz string_compare_safety_cbmc_unwinding_670
323 data/cnf/sc2022/main/ncc_none_7047_6_3_3_0_0_420.cnf.xz ncc_none_7047_6_3_3_0_0_420
324 data/cnf/sc2022/main/intel036_Iter109.cnf.xz intel036_Iter109
325 data/cnf/sc2022/main/velev-vliw-sat-4.0-b8.cnf.xz velev-vliw-sat-4.0-b8
326 data/cnf/sc2022/main/ncc_none_3001_7_3_3_1_31_435991723.cnf.xz ncc_none_3001_7_3_3_1_31_435991723
327 data/cnf/sc2022/main/Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces.cnf.xz Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces
328 data/cnf/sc2022/main/string_compare_safety_cbmc_unwinding_730.cnf.xz string_compare_safety_cbmc_unwinding_730
329 data/cnf/sc2022/main/sum_of_three_cubes_165_unknown_representation.cnf.xz sum_of_three_cubes_165_unknown_representation
330 data/cnf/sc2022/main/sum_of_three_cubes_3_unknown_representation.cnf.xz sum_of_three_cubes_3_unknown_representation
331 data/cnf/sc2022/main/sum_of_three_cubes_906_unknown_representation.cnf.xz sum_of_three_cubes_906_unknown_representation
332 data/cnf/sc2022/main/sum_of_three_cubes_33_unknown_representation.cnf.xz sum_of_three_cubes_33_unknown_representation
333 data/cnf/sc2022/main/sum_of_three_cubes_still_open.cnf.xz sum_of_three_cubes_still_open
334 data/cnf/sc2022/main/Nb52T6.cnf.xz Nb52T6
335 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind55.cnf.xz linked_list_swap_contents_safety_unwind55
336 data/cnf/sc2022/main/SAT_MS_sat_snake_p01.pddl_39.cnf.xz SAT_MS_sat_snake_p01.pddl_39
337 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind56.cnf.xz linked_list_swap_contents_safety_unwind56
338 data/cnf/sc2022/main/Kakuro-easy-112-ext.xml.hg_7.cnf.xz Kakuro-easy-112-ext.xml.hg_7
339 data/cnf/sc2022/main/pj2005_k80.cnf.xz pj2005_k80
340 data/cnf/sc2022/main/reconf20_116_le450_25c_1.cnf.xz reconf20_116_le450_25c_1
341 data/cnf/sc2022/main/UNSAT_MS_opt_snake_p20.pddl_29.cnf.xz UNSAT_MS_opt_snake_p20.pddl_29
342 data/cnf/sc2022/main/Kakuro-easy-117-ext.xml.hg_5.cnf.xz Kakuro-easy-117-ext.xml.hg_5
343 data/cnf/sc2022/main/ota-for-aws-iot-embedded-sdk:parseJSONbyModel.cnf.xz ota-for-aws-iot-embedded-sdk:parseJSONbyModel
344 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind59.cnf.xz linked_list_swap_contents_safety_unwind59
345 data/cnf/sc2022/main/gaussian.c.75.smt2-cvc4.cnf.xz gaussian.c.75.smt2-cvc4
346 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_hdr_write.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_hdr_write
347 data/cnf/sc2022/main/Kakuro-easy-125-ext.xml.hg_4.cnf.xz Kakuro-easy-125-ext.xml.hg_4
348 data/cnf/sc2022/main/aws-c-common:aws_priority_queue_s_remove_node.cnf.xz aws-c-common:aws_priority_queue_s_remove_node
349 data/cnf/sc2022/main/SAT_H_instances_childsnack_p10.hddl_2.cnf.xz SAT_H_instances_childsnack_p10.hddl_2
350 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind66.cnf.xz linked_list_swap_contents_safety_unwind66
351 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind67.cnf.xz linked_list_swap_contents_safety_unwind67
352 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type
353 data/cnf/sc2022/main/coreMQTT:MQTT_Connect.cnf.xz coreMQTT:MQTT_Connect
354 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind71.cnf.xz linked_list_swap_contents_safety_unwind71
355 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv
356 data/cnf/sc2022/main/cfi-rigid-d3-0180-02-orig.cnf.xz cfi-rigid-d3-0180-02-orig
357 data/cnf/sc2022/main/linked_list_swap_contents_safety_unwind74.cnf.xz linked_list_swap_contents_safety_unwind74
358 data/cnf/sc2022/main/GP_81_430_13.cnf.xz GP_81_430_13
359 data/cnf/sc2022/main/UNSAT_H_instances_childsnack_p12.hddl_1.cnf.xz UNSAT_H_instances_childsnack_p12.hddl_1
360 data/cnf/sc2022/main/pj2016_k80.cnf.xz pj2016_k80
361 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id
362 data/cnf/sc2022/main/GP_120_400_15.cnf.xz GP_120_400_15
363 data/cnf/sc2022/main/cfi-rigid-t2-0048-02-or_3_shuffle_all.cnf.xz cfi-rigid-t2-0048-02-or_3_shuffle_all
364 data/cnf/sc2022/main/cfi-rigid-t2-0048-03-or_3_shuffle_all.cnf.xz cfi-rigid-t2-0048-03-or_3_shuffle_all
365 data/cnf/sc2022/main/cfi-rigid-t2-0048-01-or_3_shuffle_all.cnf.xz cfi-rigid-t2-0048-01-or_3_shuffle_all
366 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq
367 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks
368 data/cnf/sc2022/main/sum_of_three_cubes_still_open_large.cnf.xz sum_of_three_cubes_still_open_large
369 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad
370 data/cnf/sc2022/main/worker_500_500_500_0.35.cnf.xz worker_500_500_500_0.35
371 data/cnf/sc2022/main/aws-c-common:aws_priority_queue_s_sift_either.cnf.xz aws-c-common:aws_priority_queue_s_sift_either
372 data/cnf/sc2022/main/4g_5color_166_100_02.cnf.xz 4g_5color_166_100_02
373 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size
374 data/cnf/sc2022/main/aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key.cnf.xz aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key
375 data/cnf/sc2022/main/cfi-rigid-z2-0088-02-or_2_shuffle_all.cnf.xz cfi-rigid-z2-0088-02-or_2_shuffle_all
376 data/cnf/sc2022/main/cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf.xz cfi-rigid-z2-0088-03-or_2_shuffle_all
377 data/cnf/sc2022/main/cfi-rigid-z2-0088-01-or_2_shuffle_all.cnf.xz cfi-rigid-z2-0088-01-or_2_shuffle_all
378 data/cnf/sc2022/main/pj2016_k120.cnf.xz pj2016_k120
379 data/cnf/sc2022/main/cfi-rigid-s2-0064-03-or_2_shuffle_all.cnf.xz cfi-rigid-s2-0064-03-or_2_shuffle_all
380 data/cnf/sc2022/main/coreJSON:skipCollection.cnf.xz coreJSON:skipCollection
381 data/cnf/sc2022/main/s2n:s2n_stuffer_write_base64.cnf.xz s2n:s2n_stuffer_write_base64
382 data/cnf/sc2022/main/pj2016_k140.cnf.xz pj2016_k140
383 data/cnf/sc2022/main/GP_200_313_5.cnf.xz GP_200_313_5
384 data/cnf/sc2022/main/Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix.cnf.xz Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix
385 data/cnf/sc2022/main/pj2008_k300.cnf.xz pj2008_k300
386 data/cnf/sc2022/main/GP_300_250_15.cnf.xz GP_300_250_15
387 data/cnf/sc2022/main/GP_500_200_20.cnf.xz GP_500_200_20
388 data/cnf/sc2022/main/GP_100_948_34.cnf.xz GP_100_948_34
389 data/cnf/sc2022/main/GP_100_948_32.cnf.xz GP_100_948_32
390 data/cnf/sc2022/main/GP_100_948_33.cnf.xz GP_100_948_33
391 data/cnf/sc2022/main/pj2008_k400.cnf.xz pj2008_k400
392 data/cnf/sc2022/main/GP_100_950_32.cnf.xz GP_100_950_32
393 data/cnf/sc2022/main/GP_100_950_33.cnf.xz GP_100_950_33
394 data/cnf/sc2022/main/GP_100_950_34.cnf.xz GP_100_950_34
395 data/cnf/sc2022/main/GP_100_951_37.cnf.xz GP_100_951_37
396 data/cnf/sc2022/main/GP_100_951_35.cnf.xz GP_100_951_35
397 data/cnf/sc2022/main/bmc_QICE_rxrsp_vld_30.cnf.xz bmc_QICE_rxrsp_vld_30
398 data/cnf/sc2022/main/bmc_QICE_req_sfl_30.cnf.xz bmc_QICE_req_sfl_30
399 data/cnf/sc2022/main/bmc_QICE_snp_vld_50.cnf.xz bmc_QICE_snp_vld_50
400 data/cnf/sc2022/main/SAT_MS_sat_nurikabe_p16.pddl_166.cnf.xz SAT_MS_sat_nurikabe_p16.pddl_166
