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
|
satcomp16/10pipe_k.cnf.gz
satcomp16/14pipe_q0_k.cnf.gz
satcomp16/16pipe_16_ooo.cnf.gz
satcomp16/1dlx_c_iq57_a.cnf.gz
satcomp16/26_stack_cas_longest_true-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/9dlx_vliw_at_b_iq4.used-as.sat04-345.cnf.gz
satcomp16/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf.gz
satcomp16/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf.gz
satcomp16/ACG-20-10p0.cnf.gz
satcomp16/ACG-20-5p1.cnf.gz
satcomp16/AProVE07-25.cnf.gz
satcomp16/AProVE11-06.cnf.gz
satcomp16/C168_FW_UT_518.cnf.gz
satcomp16/E00N23.cnf.gz
satcomp16/E02F22.cnf.gz
satcomp16/Sz1024_34824.smt2-stp212.cnf.gz
satcomp16/Sz512_15127_1.smt2-stp212.cnf.gz
satcomp16/Sz512_15127_3.smt2-cvc4.cnf.gz
satcomp16/Sz512_15127_4.smt2-cvc4.cnf.gz
satcomp16/Sz512_15127_5.smt2-stp212.cnf.gz
satcomp16/Sz512_15127_6.smt2-stp212.cnf.gz
satcomp16/Sz512_15128_0.smt2-stp212.cnf.gz
satcomp16/Sz512_15128_1.smt2-cvc4.cnf.gz
satcomp16/UCG-20-5p1.cnf.gz
satcomp16/UR-15-10p0.cnf.gz
satcomp16/UTI-20-10p1.cnf.gz
satcomp16/UTI-20-5p1.cnf.gz
satcomp16/abb313GPIA-9-c.used-as.sat04-317.cnf.gz
satcomp16/ablmulub16x4o.cnf.gz
satcomp16/ablmulub2x32o.cnf.gz
satcomp16/ablmulub8x16o.cnf.gz
satcomp16/add_01_1000_4.smt2-cvc4.cnf.gz
satcomp16/aes_32_3_keyfind_2.cnf.gz
satcomp16/aes_32_5_keyfind_1.cnf.gz
satcomp16/aes_64_2_keyfind_1.cnf.gz
satcomp16/aes_64_3_keyfind_1.cnf.gz
satcomp16/ak016modbtsimpbisc.cnf.gz
satcomp16/ak032diagodiagoisc.cnf.gz
satcomp16/ak032modbtmodbtisc.cnf.gz
satcomp16/ak032modbtsimpbisc.cnf.gz
satcomp16/ak064boothboothisc.cnf.gz
satcomp16/ak064diagodiagoisc.cnf.gz
satcomp16/ak064modasbg2asisc.cnf.gz
satcomp16/ak064modbtmodbtisc.cnf.gz
satcomp16/ak064paralbg2btaig.cnf.gz
satcomp16/ak064paralparalisc.cnf.gz
satcomp16/ak064simpbbg2btaig.cnf.gz
satcomp16/ak128astepbg2msaig.cnf.gz
satcomp16/ak128boothbg2btisc.cnf.gz
satcomp16/ak128boothboothisc.cnf.gz
satcomp16/ak128diagobg2asaig.cnf.gz
satcomp16/ak128modasbg2asisc.cnf.gz
satcomp16/ak128modbtbg2msisc.cnf.gz
satcomp16/ak128paralbg2msisc.cnf.gz
satcomp16/ak128paralparalisc.cnf.gz
satcomp16/ak128simpbbg2msisc.cnf.gz
satcomp16/am_7_7.shuffled-as.sat03-363.cnf.gz
satcomp16/am_9_9.cnf.gz
satcomp16/arcfour_initialPermutation_5_32.cnf.gz
satcomp16/arcfour_initialPermutation_6_14.cnf.gz
satcomp16/barman-pfile06-022.sas.ex.7.cnf.gz
satcomp16/barman-pfile07-027.sas.cr.37.cnf.gz
satcomp16/barman-pfile07-028.sas.ex.15.cnf.gz
satcomp16/barman-pfile08-030.sas.cr.27.cnf.gz
satcomp16/barman-pfile08-032.sas.ex.15.cnf.gz
satcomp16/barman-pfile08-032.sas.ex.7.cnf.gz
satcomp16/barman-pfile09-036.sas.cr.33.cnf.gz
satcomp16/barman-pfile10-037.sas.ex.7.cnf.gz
satcomp16/barman-pfile10-038.sas.cr.25.cnf.gz
satcomp16/barman-pfile10-038.sas.ex.15.cnf.gz
satcomp16/barman-pfile10-039.sas.ex.15.cnf.gz
satcomp16/barman-pfile10-040.sas.cr.17.cnf.gz
satcomp16/barman-pfile10-040.sas.cr.21.cnf.gz
satcomp16/barman-pfile10-040.sas.ex.15.cnf.gz
satcomp16/countbitsarray04_32.cnf.gz
satcomp16/countbitssrl128.cnf.gz
satcomp16/ctl_3791_556_unsat.cnf.gz
satcomp16/ctl_4291_567_8_unsat.cnf.gz
satcomp16/cube-11-h13-unsat.cnf.gz
satcomp16/custmulsb2x32o.cnf.gz
satcomp16/custmulun16x16o.cnf.gz
satcomp16/dated-10-19-u.cnf.gz
satcomp16/div2.c.20.smt2-stp212.cnf.gz
satcomp16/e2_1.c.smt2-stp212.cnf.gz
satcomp16/e2_2.c.smt2-cvc4.cnf.gz
satcomp16/e2a_2.c.smt2-cvc4.cnf.gz
satcomp16/eq.atree.braun.11.unsat.cnf.gz
satcomp16/eq.atree.braun.12.unsat.cnf.gz
satcomp16/eq.atree.braun.13.unsat.cnf.gz
satcomp16/esawn_uw3.debugged.cnf.gz
satcomp16/f1000.cnf.gz
satcomp16/f600.cnf.gz
satcomp16/g250.29.cnf.gz
satcomp16/gaussian.c.75.smt2-cvc4.cnf.gz
satcomp16/gripper14u.cnf.gz
satcomp16/gss-20-s100.cnf.gz
satcomp16/gss-24-s100.cnf.gz
satcomp16/gss-26-s100.cnf.gz
satcomp16/gss-27-s100.cnf.gz
satcomp16/gss-28-s100.cnf.gz
satcomp16/gss-29-s100.cnf.gz
satcomp16/gus-md5-10.cnf.gz
satcomp16/gus-md5-12.cnf.gz
satcomp16/hitag2-8-60-0-0xb2021557d918860-94.cnf.gz
satcomp16/homer17.cnf.gz
satcomp16/ibm-2002-23r-k90.cnf.gz
satcomp16/k2mul.miter.cnf.gz
satcomp16/k_unsat.cnf.gz
satcomp16/korf-18.cnf.gz
satcomp16/li-exam-61.cnf.gz
satcomp16/li-exam-61.shuffled-as.sat03-366.cnf.gz
satcomp16/li-exam-62.cnf.gz
satcomp16/li-exam-63.cnf.gz
satcomp16/li-test4-100.cnf.gz
satcomp16/li-test4-95.cnf.gz
satcomp16/li-test4-96.cnf.gz
satcomp16/li-test4-98.cnf.gz
satcomp16/li-test4-99.cnf.gz
satcomp16/maxor128.cnf.gz
satcomp16/maxxororand032.cnf.gz
satcomp16/minxorminand128.cnf.gz
satcomp16/mix034_rmo.opt_false-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/miza-sr06-md5-48-01.cnf.gz
satcomp16/mizh-md5-47-3.cnf.gz
satcomp16/modgen-n200-m90860q08c40-1006.cnf.gz
satcomp16/modgen-n200-m90860q08c40-11953.cnf.gz
satcomp16/modgen-n200-m90860q08c40-12992.cnf.gz
satcomp16/modgen-n200-m90860q08c40-13845.cnf.gz
satcomp16/modgen-n200-m90860q08c40-1434.cnf.gz
satcomp16/modgen-n200-m90860q08c40-14424.cnf.gz
satcomp16/modgen-n200-m90860q08c40-14808.cnf.gz
satcomp16/modgen-n200-m90860q08c40-15163.cnf.gz
satcomp16/modgen-n200-m90860q08c40-15606.cnf.gz
satcomp16/modgen-n200-m90860q08c40-1585.cnf.gz
satcomp16/modgen-n200-m90860q08c40-16597.cnf.gz
satcomp16/modgen-n200-m90860q08c40-1876.cnf.gz
satcomp16/modgen-n200-m90860q08c40-18788.cnf.gz
satcomp16/modgen-n200-m90860q08c40-18972.cnf.gz
satcomp16/modgen-n200-m90860q08c40-19419.cnf.gz
satcomp16/modgen-n200-m90860q08c40-2087.cnf.gz
satcomp16/modgen-n200-m90860q08c40-21438.cnf.gz
satcomp16/modgen-n200-m90860q08c40-22556.cnf.gz
satcomp16/modgen-n200-m90860q08c40-25297.cnf.gz
satcomp16/modgen-n200-m90860q08c40-28046.cnf.gz
satcomp16/modgen-n200-m90860q08c40-29020.cnf.gz
satcomp16/modgen-n200-m90860q08c40-3230.cnf.gz
satcomp16/modgen-n200-m90860q08c40-3866.cnf.gz
satcomp16/modgen-n200-m90860q08c40-4208.cnf.gz
satcomp16/modgen-n200-m90860q08c40-5377.cnf.gz
satcomp16/modgen-n200-m90860q08c40-6295.cnf.gz
satcomp16/modgen-n200-m90860q08c40-6336.cnf.gz
satcomp16/modgen-n200-m90860q08c40-6967.cnf.gz
satcomp16/modgen-n200-m90860q08c40-9056.cnf.gz
satcomp16/mul_03_3000_1.smt2-cvc4.cnf.gz
satcomp16/mulhs016.cnf.gz
satcomp16/mulhs032.cnf.gz
satcomp16/mulhs064.cnf.gz
satcomp16/ndhf_xits_09_UNSAT.cnf.gz
satcomp16/ndhf_xits_17_UNKNOWN.cnf.gz
satcomp16/newton.2.2.i.smt2-cvc4.cnf.gz
satcomp16/newton.2.3.i.smt2-cvc4.cnf.gz
satcomp16/newton.2.3.i.smt2-stp212.cnf.gz
satcomp16/newton.3.3.i.smt2-stp212.cnf.gz
satcomp16/newton.4.3.i.smt2-stp212.cnf.gz
satcomp16/newton.5.1.i.smt2-cvc4.cnf.gz
satcomp16/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf.gz
satcomp16/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf.gz
satcomp16/par32-1-c.cnf.gz
satcomp16/par32-3-c.cnf.gz
satcomp16/partial-10-13-u.cnf.gz
satcomp16/partial-10-15-s.cnf.gz
satcomp16/partial-10-19-s.cnf.gz
satcomp16/partial-10-19-u.cnf.gz
satcomp16/partial-5-11-u.cnf.gz
satcomp16/partial-5-15-u.cnf.gz
satcomp16/partial-5-17-u.cnf.gz
satcomp16/partial-5-19-u.cnf.gz
satcomp16/pb_400_02_lb_15.cnf.gz
satcomp16/podwr001_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/q_query_3_L200_coli.sat.cnf.gz
satcomp16/qurt.c.20.smt2-cvc4.cnf.gz
satcomp16/rbcl_xits_09_UNKNOWN.cnf.gz
satcomp16/rbcl_xits_11_UNKNOWN.cnf.gz
satcomp16/rbcl_xits_13_UNKNOWN.cnf.gz
satcomp16/rpoc_xits_08_UNSAT.cnf.gz
satcomp16/rpoc_xits_09_UNSAT.cnf.gz
satcomp16/rpoc_xits_10_UNKNOWN.cnf.gz
satcomp16/rpoc_xits_11_UNKNOWN.cnf.gz
satcomp16/rpoc_xits_14_UNKNOWN.cnf.gz
satcomp16/safe-30-h29-unsat.cnf.gz
satcomp16/safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/safe027_pso.opt_true-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/safe028_tso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/safe029_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz
satcomp16/sat_prob_143.cnf.gz
satcomp16/sat_prob_23.cnf.gz
satcomp16/sat_prob_3.cnf.gz
satcomp16/sat_prob_63.cnf.gz
satcomp16/sat_prob_83.cnf.gz
satcomp16/schup-l2s-bc56s-1-k391.cnf.gz
satcomp16/servers_slapd_a_vc149923.cnf.gz
satcomp16/sin.c.75.smt2-cvc4.cnf.gz
satcomp16/sin2.c.2.smt2-cvc4.cnf.gz
satcomp16/sin2.c.20.smt2-cvc4.cnf.gz
satcomp16/slp-synthesis-aes-top21.cnf.gz
satcomp16/slp-synthesis-aes-top23.cnf.gz
satcomp16/slp-synthesis-aes-top26.cnf.gz
satcomp16/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf.gz
satcomp16/smulo128.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_07.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_08.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_09.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_10.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_11.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_12.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_13.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_14.cnf.gz
satcomp16/sncf_model_ixl_bmc_depth_15.cnf.gz
satcomp16/snw_13_8_CCSEncnopre.cnf.gz
satcomp16/snw_13_8_CCSpreOptEncpre.cnf.gz
satcomp16/snw_13_8_CCSpreOptnopre.cnf.gz
satcomp16/snw_13_8_CCSpreOptpre.cnf.gz
satcomp16/snw_13_8_pre.cnf.gz
satcomp16/snw_13_9_CCSEncpre.cnf.gz
satcomp16/snw_13_9_CCSpre.cnf.gz
satcomp16/snw_13_9_Encpre.cnf.gz
satcomp16/snw_13_9_pre.cnf.gz
satcomp16/snw_13_9_preOptEncpre.cnf.gz
satcomp16/snw_13_9_preOpt_pre.cnf.gz
satcomp16/snw_16_8_nopre.cnf.gz
satcomp16/snw_16_8_pre.cnf.gz
satcomp16/snw_16_8_preOpt_pre.cnf.gz
satcomp16/snw_16_9_CCSpre.cnf.gz
satcomp16/snw_16_9_CCSpreOptpre.cnf.gz
satcomp16/snw_16_9_Encpre.cnf.gz
satcomp16/snw_16_9_pre.cnf.gz
satcomp16/snw_16_9_preOptEncpre.cnf.gz
satcomp16/snw_16_9_preOpt_pre.cnf.gz
satcomp16/snw_17_9_CCSpreOptEncpre.cnf.gz
satcomp16/sokoban-p01.sas.ex.17.cnf.gz
satcomp16/sokoban-p04.sas.ex.13.cnf.gz
satcomp16/sokoban-p09.sas.cr.25.cnf.gz
satcomp16/sokoban-p10.sas.cr.35.cnf.gz
satcomp16/sokoban-p16.sas.cr.37.cnf.gz
satcomp16/sokoban-p16.sas.cr.39.cnf.gz
satcomp16/sokoban-p16.sas.ex.15.cnf.gz
satcomp16/sokoban-p16.sas.ex.17.cnf.gz
satcomp16/sokoban-p16.sas.ex.19.cnf.gz
satcomp16/sokoban-p16.sas.ex.21.cnf.gz
satcomp16/sokoban-p16.sas.ex.23.cnf.gz
satcomp16/sokoban-p17.sas.ex.11.cnf.gz
satcomp16/sokoban-p18.sas.cr.29.cnf.gz
satcomp16/sokoban-p19.sas.cr.23.cnf.gz
satcomp16/sokoban-p20.sas.cr.21.cnf.gz
satcomp16/sokoban-p20.sas.cr.23.cnf.gz
satcomp16/sokoban-p20.sas.cr.25.cnf.gz
satcomp16/sokoban-p20.sas.cr.27.cnf.gz
satcomp16/sokoban-p20.sas.cr.29.cnf.gz
satcomp16/sokoban-p20.sas.cr.31.cnf.gz
satcomp16/sokoban-p20.sas.cr.33.cnf.gz
satcomp16/sokoban-p20.sas.cr.35.cnf.gz
satcomp16/sokoban-p20.sas.cr.37.cnf.gz
satcomp16/sokoban-p20.sas.cr.39.cnf.gz
satcomp16/sokoban-p20.sas.ex.11.cnf.gz
satcomp16/sokoban-p20.sas.ex.13.cnf.gz
satcomp16/sokoban-p20.sas.ex.15.cnf.gz
satcomp16/sokoban-p20.sas.ex.17.cnf.gz
satcomp16/sokoban-p20.sas.ex.19.cnf.gz
satcomp16/sokoban-p20.sas.ex.21.cnf.gz
satcomp16/sokoban-p20.sas.ex.23.cnf.gz
satcomp16/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf.gz
satcomp16/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf.gz
satcomp16/sortnet-7-ipc5-h15-unsat.cnf.gz
satcomp16/sortnet-8-ipc5-h18-unsat.cnf.gz
satcomp16/square.2.0.i.smt2-cvc4.cnf.gz
satcomp16/test_v3_r3_vr10_c1_s24300.smt2-stp212.cnf.gz
satcomp16/test_v3_r8_vr5_c1_s8257.smt2-stp212.cnf.gz
satcomp16/test_v5_r5_vr1_c1_s15604.smt2-stp212.cnf.gz
satcomp16/test_v7_r12_vr10_c1_s18160.smt2-cvc4.cnf.gz
satcomp16/test_v7_r12_vr10_c1_s18160.smt2-stp212.cnf.gz
satcomp16/test_v7_r12_vr1_c1_s22787.smt2-cvc4.cnf.gz
satcomp16/test_v7_r17_vr10_c1_s3680.smt2-stp212.cnf.gz
satcomp16/test_v7_r17_vr1_c1_s30331.smt2-stp212.cnf.gz
satcomp16/test_v7_r17_vr5_c1_s25451.smt2-cvc4.cnf.gz
satcomp16/test_v7_r17_vr5_c1_s2807.smt2-stp212.cnf.gz
satcomp16/test_v7_r7_vr10_c1_s32506.smt2-cvc4.cnf.gz
satcomp16/total-10-13-u.cnf.gz
satcomp16/total-10-19-u.cnf.gz
satcomp16/total-5-17-u.cnf.gz
satcomp16/traffic_3_uc_sat.cnf.gz
satcomp16/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.gz
satcomp16/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf.gz
satcomp16/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz
satcomp16/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.gz
satcomp16/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf.gz
satcomp16/uum16.smt2-cvc4.cnf.gz
satcomp16/uum8.smt2-stp212.cnf.gz
satcomp16/valves-gates-1-k617-unsat.cnf.gz
satcomp16/velev-pipe-oun-1.1-05.cnf.gz
satcomp16/velev-vliw-uns-2.0-uq5.cnf.gz
|
