total uncompressed bytes

17.2 MB

total files

2077

Fix

2071 wasted files

total waste: 17.2 MB

1. boolector/test/log/countbits016.smt2 : 3.7 MB
2. boolector/test/log/problem_130.smt2 : 3.6 MB
3. boolector/contrib/smtcomp/smtcomp14-extwrapper/boolector-1.5.118 : 3.1 MB
4. boolector/test/log/nondestr_subst1.smt2 : 1.0 MB
5. boolector/test/log/nondestr_subst18.smt2 : 236.4 KB
6. boolector/src/btorrewrite.c : 215.2 KB
7. boolector/src/parser/btorsmt2.c : 160.6 KB
8. boolector/src/boolector.c : 146.5 KB
9. boolector/src/btormbt.c : 129.8 KB
10. boolector/test/test_bv.cpp : 123.1 KB
11. boolector/src/api/python/pyboolector.pyx : 108.8 KB
12. boolector/src/btoribv.cc : 108.0 KB
13. boolector/examples/btormc/ponylink-slaveTXlen-sat.btor2 : 105.6 KB
14. boolector/src/btorproputils.c : 104.4 KB
15. boolector/src/btorcore.c : 96.8 KB
16. boolector/src/btorslvfun.c : 92.8 KB
17. boolector/src/btorslvquant.c : 82.1 KB
18. boolector/src/btornode.c : 81.0 KB
19. boolector/src/boolector.h : 80.6 KB
20. boolector/test/log/regrcalypto3.smt2 : 77.5 KB
21. boolector/src/parser/btorsmt.c : 76.0 KB
22. boolector/src/btorbv.c : 67.7 KB
23. boolector/src/BitVector.hh : 67.5 KB
24. boolector/src/btorclone.c : 62.1 KB
25. boolector/src/btoruntrace.c : 59.2 KB
26. boolector/src/btorexp.c : 57.3 KB
27. boolector/src/dumper/btordumpsmt.c : 55.1 KB
28. boolector/src/btorslvsls.c : 52.8 KB
29. boolector/test/test_propinv.cpp : 51.8 KB
30. boolector/test/log/nondestr_subst7.smt2 : 50.7 KB
31. boolector/src/preprocess/btorextract.c : 49.8 KB
32. boolector/test/test_lambda.cpp : 49.7 KB
33. boolector/src/btoropt.c : 47.9 KB
34. boolector/src/btormain.c : 47.4 KB
35. boolector/src/parser/btorbtor.c : 47.3 KB
36. boolector/src/btormc.c : 47.2 KB
37. boolector/src/btoraig.c : 44.3 KB
38. boolector/src/btormodel.c : 44.1 KB
39. boolector/src/btorchkclone.c : 43.1 KB
40. boolector/src/btorsynth.c : 41.5 KB
41. boolector/test/log/headline13.smt2 : 38.6 KB
42. boolector/src/aigprop.c : 36.8 KB
43. boolector/examples/generators/queens/queensbv.py : 31.8 KB
44. boolector/test/log/dumpsmt2.out : 31.5 KB
45. boolector/src/btorbeta.c : 31.1 KB
46. boolector/src/btortypes.h : 28.0 KB
47. boolector/test/test_exp.cpp : 27.8 KB
48. boolector/src/btorimc.cc : 26.6 KB
49. boolector/test/log/fifo32ia04k05.smt2 : 26.1 KB
50. boolector/src/dumper/btordumpbtor.c : 25.6 KB
51. boolector/src/btornode.h : 25.4 KB
52. boolector/src/btormcmain.c : 25.3 KB
53. src-generated/bindings.rs : 25.2 KB
54. boolector/src/btoraigvec.c : 24.4 KB
55. boolector/src/preprocess/btornormquant.c : 23.0 KB
56. boolector/test/CMakeLists.txt : 22.4 KB
57. boolector/test/log/fifo32bc04k05.smt2 : 22.4 KB
58. boolector/test/test_normquant.cpp : 22.3 KB
59. boolector/test/log/fifo32in04k05.smt2 : 21.9 KB
60. boolector/src/api/python/btorapi.pxd : 20.1 KB
61. boolector/src/btorsat.c : 19.1 KB
62. boolector/cmake/FindPythonExtensions.cmake : 19.0 KB
63. boolector/src/btorbv.h : 18.6 KB
64. boolector/src/btorsort.c : 18.1 KB
65. boolector/src/btoribv.hh : 18.1 KB
66. boolector/contrib/ddmbt.py : 18.0 KB
67. boolector/NEWS : 18.0 KB
68. boolector/src/btorsubst.c : 17.8 KB
69. boolector/src/parser/btorbtor2.c : 17.1 KB
70. boolector/src/btorslvprop.c : 16.4 KB
71. boolector/src/btorexp.h : 16.1 KB
72. boolector/src/btorslsutils.c : 16.1 KB
73. boolector/test/test_parseerror.cpp : 15.6 KB
74. boolector/test/log/nondestr_subst2.smt2 : 15.2 KB
75. boolector/CMakeLists.txt : 15.0 KB
76. boolector/src/btorprintmodel.c : 14.9 KB
77. boolector/cmake/targetLinkLibrariesWithDynamicLookup.cmake : 14.6 KB
78. boolector/src/preprocess/btornormadd.c : 14.5 KB
79. boolector/test/test_mc.cpp : 14.2 KB
80. boolector/cmake/UseCython.cmake : 14.0 KB
81. boolector/test/log/rw18.btor : 13.8 KB
82. boolector/src/btordcr.c : 13.7 KB
83. boolector/src/utils/btorutil.c : 13.7 KB
84. boolector/test/log/dumpsmt2.btor : 13.7 KB
85. boolector/test/log/rw17.btor : 13.7 KB
86. boolector/test/log/dumpbtor2.btor : 13.7 KB
87. boolector/src/btordbg.c : 13.7 KB
88. boolector/test/log/dumpbtor2.out : 13.7 KB
89. boolector/test/log/random4.btor : 13.5 KB
90. boolector/test/log/random5.btor : 13.4 KB
91. boolector/test/log/regrmodel2.btor : 13.2 KB
92. boolector/test/test_prop.cpp : 12.9 KB
93. boolector/doc/pyboolector.rst : 12.9 KB
94. boolector/src/preprocess/btorder.c : 12.7 KB
95. boolector/src/btorlsutils.c : 12.6 KB
96. boolector/test/test_misc.cpp : 12.2 KB
97. boolector/examples/api/python/api_usage_examples.py : 11.9 KB
98. boolector/test/log/rw16.btor : 11.8 KB
99. boolector/test/log/random3.btor : 11.8 KB
100. boolector/cmake/CodeCoverage.cmake : 11.7 KB
101. boolector/src/btorcore.h : 11.6 KB
102. boolector/examples/api/c/sudoku/sudoku.c : 11.4 KB
103. boolector/test/log/nondestr_subst8.smt2 : 11.3 KB
104. boolector/src/dumper/btordumpaig.c : 11.3 KB
105. boolector/src/btorslvaigprop.c : 11.2 KB
106. boolector/src/preprocess/btorminiscope.c : 10.7 KB
107. boolector/src/utils/btorhashint.c : 10.5 KB
108. boolector/doc/cboolector.rst : 10.5 KB
109. boolector/test/test_logic.cpp : 10.2 KB
110. boolector/src/preprocess/btorskolemize.c : 10.0 KB
111. boolector/pypi/setup.py : 9.9 KB
112. boolector/test/test_aigvec.cpp : 9.8 KB
113. boolector/src/mcapi/leapyear.c : 9.8 KB
114. boolector/src/utils/boolectornodemap.c : 9.8 KB
115. boolector/src/btorchkmodel.c : 9.5 KB
116. boolector/src/preprocess/btorvarsubst.c : 9.4 KB
117. boolector/src/preprocess/btorskel.c : 9.4 KB
118. boolector/src/preprocess/btormerge.c : 9.3 KB
119. boolector/src/preprocess/btorelimslices.c : 9.1 KB
120. boolector/src/boolectormc.c : 8.9 KB
121. boolector/test/test_arithmetic.cpp : 8.8 KB
122. src-generated/options.rs : 8.8 KB
123. boolector/src/btorparse.c : 8.7 KB
124. boolector/src/preprocess/btorunconstrained.c : 8.7 KB
125. boolector/test/log/nextpoweroftwo016.smt2 : 8.5 KB
126. boolector/test/log/nondestr_subst11.smt2 : 8.5 KB
127. boolector/test/log/regrexpleak2.btor : 8.3 KB
128. boolector/src/sat/btorlgl.c : 8.2 KB
129. boolector/test/test_overflow.cpp : 8.1 KB
130. boolector/test/test_shift.cpp : 7.9 KB
131. boolector/examples/generators/queens/queenslia.py : 7.8 KB
132. boolector/src/utils/btorstack.h : 7.8 KB
133. boolector/src/utils/btorhashptr.c : 7.6 KB
134. boolector/COMPILING_WINDOWS.md : 7.6 KB
135. boolector/README.md : 7.5 KB
136. boolector/test/log/regrdomabst5.smt2 : 7.4 KB
137. boolector/test/test_inc.cpp : 7.2 KB
138. boolector/src/btormc.h : 6.9 KB
139. boolector/test/log/nondestr_subst12.smt2 : 6.9 KB
140. boolector/contrib/windows_patches/CaDiCaL_20190730.patch : 6.9 KB
141. boolector/src/btorass.c : 6.9 KB
142. boolector/test/test_comp.cpp : 6.8 KB
143. boolector/src/preprocess/btorpreprocess.c : 6.5 KB
144. boolector/examples/api/c/boundsprop/theorems.c : 6.5 KB
145. boolector/doc/mkcdoc.py : 6.4 KB
146. boolector/test/log/nondestr_subst13.smt2 : 6.3 KB
147. boolector/doc/conf.py : 6.3 KB
148. boolector/src/sat/btorcms.cc : 6.3 KB
149. boolector/doc/Makefile : 6.3 KB
150. boolector/examples/generators/smulo/genbenchmarks.sh : 6.2 KB
151. boolector/src/btoraig.h : 6.2 KB
152. boolector/contrib/btorcheckmodel.py : 6.2 KB
153. boolector/src/btoraigvec.h : 6.2 KB
154. boolector/test/log/nondestr_subst15.smt2 : 6.1 KB
155. boolector/configure.sh : 6.1 KB
156. boolector/test/log/binarysearch32s016.smt2 : 6.1 KB
157. boolector/examples/api/c/selectionsortmem/selectionsortmem.c : 6.0 KB
158. boolector/src/btorrwcache.c : 6.0 KB
159. boolector/test/log/nondestr_subst16.smt2 : 5.9 KB
160. boolector/src/utils/btormem.c : 5.9 KB
161. boolector/examples/api/c/swapmem/swapmem.c : 5.8 KB
162. boolector/test/log/nondestr_subst14.smt2 : 5.7 KB
163. boolector/test/log/regr3vl1.btor : 5.7 KB
164. boolector/examples/api/c/doublereversearray/doublereversearray.c : 5.7 KB
165. boolector/src/btoropt.h : 5.7 KB
166. boolector/src/CMakeLists.txt : 5.6 KB
167. boolector/test/log/regrbfs1.btor : 5.6 KB
168. boolector/src/sat/btorminisat.cc : 5.6 KB
169. boolector/examples/api/c/bubblesortmem/bubblesortmem.c : 5.5 KB
170. boolector/test/log/regrembeddedconstraint2.btor : 5.5 KB
171. boolector/test/test.h : 5.5 KB
172. boolector/test/log/regrembeddedconstraint6.btor : 5.5 KB
173. boolector/test/log/regrembeddedconstraint4.btor : 5.5 KB
174. boolector/src/utils/btornodeiter.c : 5.4 KB
175. boolector/contrib/check-traces.py : 5.4 KB
176. boolector/test/log/regr3vl4.btor : 5.4 KB
177. boolector/test/log/regrmark3.btor : 5.3 KB
178. boolector/test/log/regrembeddedconstraint13.btor : 5.3 KB
179. boolector/test/log/regrmark2.btor : 5.2 KB
180. boolector/src/preprocess/btorelimapplies.c : 5.2 KB
181. boolector/src/btorchkclone.h : 5.2 KB
182. boolector/examples/api/c/memcpy/memcpy.c : 5.2 KB
183. boolector/contrib/btorvis/btor2dot.py : 5.2 KB
184. boolector/test/log/regr3vl3.btor : 5.1 KB
185. boolector/test/log/regr3vl2.btor : 5.1 KB
186. boolector/src/btorsat.h : 5.1 KB
187. boolector/test/log/regrembeddedconstraint12.btor : 5.1 KB
188. boolector/src/boolectormc.h : 5.0 KB
189. boolector/examples/api/c/selectionsort/selectionsort.c : 5.0 KB
190. boolector/src/btorabort.h : 4.9 KB
191. boolector/examples/api/c/binarysearch/binarysearch.c : 4.9 KB
192. boolector/contrib/gen-scripts/gen-ex-swap-rotate.py : 4.7 KB
193. boolector/test/test_sort.cpp : 4.7 KB
194. boolector/src/utils/btorqueue.h : 4.7 KB
195. boolector/src/utils/btorhashptr.h : 4.6 KB
196. boolector/contrib/gen-scripts/gen-fisher-yates-sat.py : 4.6 KB
197. boolector/examples/btor-memclear-example.txt : 4.6 KB
198. boolector/contrib/gen-scripts/gen-mod-fisher-yates-sat.py : 4.6 KB
199. boolector/contrib/gen-scripts/gen-fisher-yates.py : 4.5 KB
200. boolector/examples/api/c/boundsprop/minand.c : 4.5 KB
201. boolector/contrib/gen-scripts/adder_nofun.py : 4.5 KB
202. boolector/examples/api/c/bubblesort/bubblesort.c : 4.5 KB
203. boolector/examples/api/c/boundsprop/maxand.c : 4.5 KB
204. boolector/examples/btormc/run-examples.sh : 4.3 KB
205. boolector/examples/api/c/nextpowerof2/nextpowerof2.c : 4.3 KB
206. boolector/test/test_rotate.cpp : 4.3 KB
207. boolector/examples/api/c/boundsprop/maxor.c : 4.3 KB
208. boolector/src/api/python/mkenums.py : 4.2 KB
209. boolector/examples/api/c/boundsprop/minxor.c : 4.2 KB
210. boolector/examples/api/c/boundsprop/minor.c : 4.2 KB
211. boolector/examples/api/c/matrixmultass/matrixmultass.c : 4.2 KB
212. boolector/src/btorsort.h : 4.2 KB
213. boolector/examples/generators/countbits/countbitsarray.sh : 4.1 KB
214. boolector/test/test_aig.cpp : 4.1 KB
215. boolector/test/log/regrcollectprem.btor : 4.1 KB
216. boolector/src/btorclone.h : 4.1 KB
217. boolector/test/test_modelgensmt2.cpp : 4.0 KB
218. boolector/src/btorchkfailed.c : 4.0 KB
219. boolector/src/btorproputils.h : 3.9 KB
220. boolector/src/utils/btormem.h : 3.9 KB
221. boolector/examples/api/c/matrixmultcomm/matrixmultcomm.c : 3.9 KB
222. boolector/src/utils/btorhashint.h : 3.8 KB
223. boolector/src/btortrapi.h : 3.8 KB
224. boolector/src/sat/btorcadical.c : 3.7 KB
225. boolector/src/btordbg.h : 3.7 KB
226. boolector/contrib/gen-scripts/adder_fun_array.py : 3.7 KB
227. boolector/test/log/kreise.smt2 : 3.7 KB
228. boolector/examples/api/c/bv/bv2.c : 3.6 KB
229. boolector/test/log/simple0-from-carsten.smt2 : 3.6 KB
230. boolector/pypi/azure-pipelines-pypi.yml : 3.6 KB
231. boolector/contrib/docker/Dockerfile : 3.6 KB
232. boolector/test/test_modelgen.cpp : 3.5 KB
233. boolector/examples/api/c/array/array2.c : 3.5 KB
234. boolector/test/log/rw212.smt2 : 3.5 KB
235. boolector/test/log/modelgensmt227.smt2 : 3.5 KB
236. boolector/src/preprocess/btorack.c : 3.5 KB
237. boolector/test/test_unionfind.cpp : 3.5 KB
238. boolector/examples/api/c/boundsprop/maxxor.c : 3.5 KB
239. boolector/examples/api/c/CMakeLists.txt : 3.5 KB
240. boolector/contrib/windows_patches/Lingeling_20190110.patch : 3.4 KB
241. boolector/src/utils/btornodemap.c : 3.4 KB
242. boolector/src/utils/btorunionfind.c : 3.4 KB
243. boolector/test/log/smtlshr3.smt2 : 3.4 KB
244. boolector/test/log/smtashr3.smt2 : 3.4 KB
245. boolector/test/log/regrcalypto2.smt2 : 3.4 KB
246. boolector/test/test_hash.cpp : 3.4 KB
247. boolector/test/test_util.cpp : 3.4 KB
248. boolector/src/utils/btoroptparse.h : 3.4 KB
249. boolector/src/sat/btorpicosat.c : 3.3 KB
250. boolector/test/log/smtshl3.smt2 : 3.3 KB
251. boolector/examples/api/c/boundsprop/minandmain.c : 3.3 KB
252. boolector/examples/api/c/quickstart.c : 3.3 KB
253. boolector/examples/api/c/boundsprop/minxormain.c : 3.3 KB
254. boolector/examples/api/c/boundsprop/maxxormain.c : 3.3 KB
255. boolector/examples/api/c/boundsprop/maxormain.c : 3.3 KB
256. boolector/examples/api/c/boundsprop/minormain.c : 3.3 KB
257. boolector/src/btormodel.h : 3.3 KB
258. boolector/contrib/poolector.py : 3.3 KB
259. boolector/examples/api/c/boundsprop/maxandmain.c : 3.3 KB
260. boolector/examples/api/c/array/array1.c : 3.3 KB
261. boolector/src/btorslvsls.h : 3.2 KB
262. boolector/src/btorass.h : 3.2 KB
263. boolector/src/utils/boolectornodemap.h : 3.2 KB
264. boolector/contrib/gen-scripts/gen-ex1.py : 3.2 KB
265. boolector/test/log/regsmtparselet.smt2 : 3.2 KB
266. boolector/contrib/docker/DOCKER.md : 3.2 KB
267. boolector/test/log/sc12fuzzcheck2.smt2 : 3.2 KB
268. boolector/test/log/nondestr_subst17.smt2 : 3.1 KB
269. boolector/test/log/swapmem002ue.smt2 : 3.1 KB
270. boolector/examples/api/c/ispowerof2/ispowerof2.c : 3.0 KB
271. boolector/src/utils/btorpartgen.c : 3.0 KB
272. boolector/contrib/gen-scripts/gen-ex2.py : 3.0 KB
273. boolector/contrib/setup-utils.sh : 3.0 KB
274. boolector/contrib/gen-scripts/adder_fun_bv.py : 3.0 KB
275. boolector/test/test_stack.cpp : 3.0 KB
276. boolector/contrib/gen-scripts/gen-ex-swap.py : 3.0 KB
277. boolector/azure-pipelines.yml : 2.9 KB
278. boolector/src/utils/btoroptparse.c : 2.9 KB
279. boolector/src/utils/btorutil.h : 2.9 KB
280. boolector/examples/generators/countbits/countbitstable.sh : 2.9 KB
281. boolector/examples/generators/countbits/nlzbe.sh : 2.9 KB
282. boolector/examples/generators/countbits/nlzbs.sh : 2.9 KB
283. boolector/examples/generators/umulo/genbenchmarks.sh : 2.8 KB
284. boolector/examples/generators/adder/adder.py : 2.8 KB
285. boolector/test/log/nondestr_subst5.smt2 : 2.8 KB
286. boolector/src/utils/btorrng.c : 2.7 KB
287. boolector/test/test_queue.cpp : 2.7 KB
288. boolector/test/test_boolectornodemap.cpp : 2.7 KB
289. boolector/test/run-test-case.py : 2.7 KB
290. boolector/test/log/lazywritememleak1.btor : 2.7 KB
291. boolector/examples/api/c/linearsearch/linearsearch.c : 2.6 KB
292. boolector/test/log/swapmem002se.smt2 : 2.6 KB
293. boolector/src/api/python/boolector_py.c : 2.6 KB
294. boolector/examples/api/c/max/max.c : 2.5 KB
295. boolector/contrib/runparbtormbt : 2.5 KB
296. boolector/src/btorparse.h : 2.5 KB
297. boolector/src/utils/btornodeiter.h : 2.5 KB
298. boolector/cmake/FindCython.cmake : 2.5 KB
299. boolector/test/test_inthashmap.cpp : 2.5 KB
300. boolector/src/btorslvfun.h : 2.5 KB
301. boolector/test/log/count03plus2inc.smt2 : 2.4 KB
302. boolector/contrib/smtcomp/sc19-prepare-competition-zipfile.sh : 2.4 KB
303. boolector/examples/generators/countbits/nlzbsdown.sh : 2.4 KB
304. boolector/src/btormctypes.h : 2.4 KB
305. boolector/contrib/gen-scripts/gen-write_reverse_arrays.py : 2.4 KB
306. boolector/test/log/regrcalypto1.smt2 : 2.4 KB
307. boolector/examples/generators/mulhs/mulhs.sh : 2.4 KB
308. boolector/examples/generators/countbits/countbits.c : 2.3 KB
309. boolector/examples/api/c/array/array3.c : 2.3 KB
310. boolector/contrib/ddcrossboolector : 2.3 KB
311. boolector/test/log/modelgen27.btor : 2.3 KB
312. boolector/examples/generators/icbrt/icbrteqchk.sh : 2.3 KB
313. boolector/test/log/palsqr58.smt2 : 2.2 KB
314. boolector/doc/mkdocopts.py : 2.2 KB
315. boolector/src/utils/btornodemap.h : 2.2 KB
316. boolector/test/log/palsqr56.smt2 : 2.2 KB
317. boolector/src/btorrwcache.h : 2.2 KB
318. boolector/src/utils/btoraigmap.c : 2.2 KB
319. boolector/src/btorslvprop.h : 2.2 KB
320. boolector/examples/generators/writechains/writechains.c : 2.2 KB
321. boolector/src/btorslv.h : 2.1 KB
322. boolector/examples/generators/icbrt/icbrt4.sh : 2.1 KB
323. boolector/contrib/btorvis/btorvis.sh : 2.1 KB
324. boolector/examples/api/c/bv/bv1.c : 2.1 KB
325. boolector/examples/generators/icbrt/icbrt2.sh : 2.1 KB
326. boolector/examples/generators/pjex/pjex.c : 2.1 KB
327. boolector/test/test_inthash.cpp : 2.1 KB
328. boolector/test/test_smtaxioms.cpp : 2.0 KB
329. boolector/examples/generators/adler32/adler32.sh : 2.0 KB
330. boolector/src/preprocess/btorembed.c : 2.0 KB
331. boolector/examples/generators/countbits/countbitssrl.sh : 2.0 KB
332. boolector/test/log/count03inc.smt2 : 2.0 KB
333. boolector/examples/generators/icbrt/icbrt3.sh : 2.0 KB
334. boolector/src/utils/btorrng.h : 2.0 KB
335. boolector/examples/generators/icbrt/icbrt1.sh : 1.9 KB
336. boolector/examples/generators/pjex/pjex0.c : 1.9 KB
337. boolector/test/log/regrmodel1.btor : 1.9 KB
338. boolector/examples/api/c/swapmem/genbenchmarks.sh : 1.9 KB
339. boolector/examples/api/python/quickstart.py : 1.9 KB
340. boolector/src/aigprop.h : 1.8 KB
341. boolector/examples/generators/csa/gencsa.c : 1.8 KB
342. boolector/test/log/modelgensmt226.smt2 : 1.8 KB
343. boolector/src/dumper/btordumpbtor.h : 1.8 KB
344. boolector/examples/generators/countbits/countbitsrotate.sh : 1.8 KB
345. boolector/test/log/dubreva002ue.smt2 : 1.8 KB
346. boolector/cmake/FindGoogleTest.cmake : 1.8 KB
347. boolector/pypi/build.sh : 1.8 KB
348. boolector/src/btortrapi.c : 1.8 KB
349. boolector/test/log/count03to6.smt2 : 1.7 KB
350. boolector/test/log/bmc0k4.smt2 : 1.7 KB
351. boolector/test/test_nodemap.cpp : 1.7 KB
352. boolector/examples/generators/writechains/genbenchmarks.sh : 1.7 KB
353. boolector/src/btorbeta.h : 1.7 KB
354. boolector/examples/generators/isqrt/isqrteqchk.sh : 1.7 KB
355. boolector/examples/generators/isqrt/isqrt4.sh : 1.7 KB
356. boolector/src/api/python/CMakeLists.txt : 1.7 KB
357. boolector/examples/generators/bitrev/bitrev.sh : 1.7 KB
358. boolector/examples/generators/isqrt/isqrt2.sh : 1.7 KB
359. boolector/src/btorabort.c : 1.6 KB
360. boolector/test/log/nondestr_subst6.smt2 : 1.6 KB
361. boolector/contrib/build-and-test-all-configurations.sh : 1.6 KB
362. boolector/src/btorlog.h : 1.6 KB
363. boolector/test/log/wchains002ue.smt2 : 1.6 KB
364. boolector/src/btormsg.c : 1.6 KB
365. boolector/examples/api/c/nextpowerof2/genbenchmarks.sh : 1.6 KB
366. boolector/test/log/invalidmodel2.smt2 : 1.5 KB
367. boolector/examples/generators/isqrt/isqrt3.sh : 1.5 KB
368. boolector/examples/api/c/doublereversearray/genbenchmarks.sh : 1.5 KB
369. boolector/examples/generators/bubblesortnext/bubblesortnext.sh : 1.5 KB
370. boolector/contrib/windows_patches/PicoSAT_20190110.patch : 1.5 KB
371. boolector/examples/generators/isqrt/isqrt1.sh : 1.5 KB
372. boolector/test/log/wchains002se.smt2 : 1.5 KB
373. boolector/test/test_mem.cpp : 1.5 KB
374. boolector/examples/generators/adler32/adler32o.sh : 1.4 KB
375. boolector/contrib/smtcomp/sc17-prepare-competition-zipfile.sh : 1.4 KB
376. boolector/contrib/smtcomp/sc18-prepare-competition-zipfile.sh : 1.4 KB
377. boolector/contrib/testprintmodelsmt2.sh : 1.4 KB
378. boolector/contrib/smtcomp/sc15-prepare-competition-zipfile.sh : 1.4 KB
379. boolector/src/preprocess/btorpputils.c : 1.4 KB
380. boolector/test/log/bubblesort.basic : 1.3 KB
381. boolector/test/log/bubsort002un.smt2 : 1.3 KB
382. boolector/test/log/selsort002un.smt2 : 1.3 KB
383. boolector/src/btorlsutils.h : 1.3 KB
384. boolector/test/log/modelgen26.btor : 1.3 KB
385. boolector/AUTHORS : 1.3 KB
386. boolector/examples/api/c/binarysearch/genbenchmarks.sh : 1.3 KB
387. boolector/examples/api/c/matrixmultcomm/genbenchmarks.sh : 1.3 KB
388. boolector/src/dumper/btordumpaig.h : 1.3 KB
389. boolector/examples/api/c/selectionsortmem/genbenchmarks.sh : 1.3 KB
390. boolector/examples/api/c/bubblesortmem/genbenchmarks.sh : 1.3 KB
391. boolector/src/utils/btoraigmap.h : 1.3 KB
392. boolector/COPYING : 1.3 KB
393. boolector/cmake/FindGMP.cmake : 1.3 KB
394. boolector/test/log/regrdomabst6.smt2 : 1.2 KB
395. boolector/test/log/nondestr_subst19.smt2 : 1.2 KB
396. boolector/examples/generators/countbits/genbenchmarks.sh : 1.2 KB
397. boolector/contrib/btorcheckmodelsmt2.sh : 1.2 KB
398. boolector/src/btorsynth.h : 1.2 KB
399. boolector/contrib/smtcomp/sc14-prepare-competition-zipfile.sh : 1.2 KB
400. boolector/test/log/memcpy02.smt2 : 1.2 KB
401. boolector/examples/api/c/memcpy/genbenchmarks.sh : 1.2 KB
402. boolector/src/btorrewrite.h : 1.2 KB
403. boolector/src/btormsg.h : 1.1 KB
404. boolector/contrib/smtcomp/sc16-prepare-competition-zipfile.sh : 1.1 KB
405. boolector/src/btorprintmodel.h : 1.1 KB
406. boolector/src/btorconfig.h.in : 1.1 KB
407. boolector/examples/generators/countinc/countinc.sh : 1.1 KB
408. boolector/contrib/setup-cadical.sh : 1.1 KB
409. boolector/test/log/smtextarrayaxiom4.smt2 : 1.1 KB
410. boolector/src/api/python/boolector_py.h : 1.1 KB
411. boolector/src/utils/btorunionfind.h : 1.0 KB
412. boolector/test/log/regrbetacache2.btor : 1.0 KB
413. boolector/doc/index.rst : 1.0 KB
414. boolector/src/utils/btorpartgen.h : 972 B
415. boolector/test/log/random1.btor2 : 968 B
416. boolector/test/log/csa4w8.smt2 : 954 B
417. boolector/test/log/csa4w4.smt2 : 954 B
418. boolector/examples/generators/sbls/sbls.c : 948 B
419. boolector/examples/generators/smulo/smulov2.sh : 942 B
420. boolector/test/log/regrbetacache1.btor : 935 B
421. boolector/src/btorslsutils.h : 933 B
422. boolector/src/utils/btorhash.h : 928 B
423. boolector/src/dumper/btordumpsmt.h : 927 B
424. boolector/test/test_satmgr.cpp : 923 B
425. boolector/contrib/setup-picosat.sh : 906 B
426. boolector/doc/boolector.rst : 902 B
427. boolector/test/log/smtlshr2.smt2 : 895 B
428. boolector/test/log/smtashr2.smt2 : 895 B
429. boolector/cmake/FindCryptoMiniSat.cmake : 895 B
430. boolector/test/log/smtrotate.smt2 : 891 B
431. boolector/src/btorslvaigprop.h : 885 B
432. boolector/test/log/smtshl2.smt2 : 879 B
433. boolector/contrib/fix_cython_windows.sh : 866 B
434. boolector/doc/_static/custom.css : 860 B
435. boolector/examples/api/c/exception.cpp : 859 B
436. boolector/test/log/rw50.btor : 850 B
437. boolector/test/log/rw48.btor : 850 B
438. boolector/examples/generators/hwb/genhwb.sh : 850 B
439. boolector/cmake/Toolchain-mingw-win32.cmake : 845 B
440. boolector/src/sat/btorlgl.h : 836 B
441. boolector/THANKS : 836 B
442. boolector/cmake/FindBtor2Tools.cmake : 824 B
443. boolector/examples/generators/fadd/sp.c : 810 B
444. boolector/test/log/count02inc.smt2 : 805 B
445. boolector/cmake/FindLingeling.cmake : 793 B
446. boolector/test/log/rw213.smt2 : 781 B
447. boolector/cmake/FindMiniSat.cmake : 781 B
448. boolector/cmake/FindCaDiCaL.cmake : 766 B
449. boolector/cmake/FindPicoSAT.cmake : 765 B
450. boolector/test/log/rwr1.btor : 751 B
451. boolector/contrib/setup-btor2tools.sh : 745 B
452. boolector/contrib/smtcomp/smtcomp14-extwrapper/boolector_ext.sh : 742 B
453. boolector/src/api/python/pyboolector_abort.cpp : 731 B
454. boolector/src/sat/btorpicosat.h : 728 B
455. boolector/src/sat/btorminisat.h : 722 B
456. boolector/src/sat/btorcadical.h : 722 B
457. boolector/contrib/gcov/genhtmlreport : 719 B
458. boolector/test/log/write16.btor : 706 B
459. boolector/src/sat/btorcms.h : 706 B
460. boolector/contrib/setup-lingeling.sh : 704 B
461. boolector/test/log/bm3.smt2 : 699 B
462. boolector/test/log/headline14.btor : 698 B
463. boolector/test/log/csa3w32.smt2 : 689 B
464. boolector/test/log/csa3w16.smt2 : 689 B
465. boolector/cmake/CheckSignals.cmake : 681 B
466. boolector/test/log/smtaxiombvsmod64.smt2 : 679 B
467. boolector/test/log/smtaxiombvsmod32.smt2 : 679 B
468. boolector/test/log/smtaxiombvsmod16.smt2 : 679 B
469. boolector/test/log/write17.btor : 678 B
470. boolector/test/log/csa3w8.smt2 : 678 B
471. boolector/test/log/csa3w4.smt2 : 678 B
472. boolector/src/preprocess/btornormquant.h : 674 B
473. boolector/test/log/smtaxiombvsmod8.smt2 : 662 B
474. boolector/test/log/smtaxiombvsmod7.smt2 : 662 B
475. boolector/test/log/smtaxiombvsmod6.smt2 : 662 B
476. boolector/test/log/smtaxiombvsmod5.smt2 : 662 B
477. boolector/test/log/smtaxiombvsmod4.smt2 : 662 B
478. boolector/test/log/smtaxiombvsmod3.smt2 : 662 B
479. boolector/test/log/smtaxiombvsmod2.smt2 : 662 B
480. boolector/test/log/smtaxiombvsmod1.smt2 : 662 B
481. boolector/test/log/write4.btor : 660 B
482. boolector/src/api/python/README : 658 B
483. src-generated/update-bindings.sh : 655 B
484. boolector/src/preprocess/btorskolemize.h : 649 B
485. boolector/cmake/CheckTimeUtils.cmake : 648 B
486. boolector/test/log/write15.btor : 647 B
487. boolector/test/log/smtextarrayaxiom3.smt2 : 635 B
488. boolector/test/log/count02incuns.smt2 : 631 B
489. boolector/test/log/process.btor : 624 B
490. boolector/test/log/nextarray5.btor : 621 B
491. boolector/contrib/setup-cms.sh : 619 B
492. boolector/examples/generators/mulcom/runsatsolver.sh : 618 B
493. boolector/examples/generators/mulass/runsatsolver.sh : 618 B
494. boolector/examples/generators/addcom/runsatsolver.sh : 618 B
495. boolector/examples/generators/addass/runsatsolver.sh : 618 B
496. boolector/test/log/const_to_dec.out : 601 B
497. boolector/src/btorchkmodel.h : 600 B
498. boolector/test/log/davidcokchallenge.smt2 : 599 B
499. boolector/test/log/modelgen21.btor : 591 B
500. boolector/test/log/bv_to_dec_char_bitvec.out : 591 B
501. boolector/examples/generators/addcom/generate.sh : 590 B
502. boolector/src/btordcr.h : 584 B
503. boolector/test/log/smtextarray3sat7.smt2 : 580 B
504. boolector/test/log/smtextarray3sat6.smt2 : 580 B
505. boolector/test/log/smtextarray3sat5.smt2 : 580 B
506. boolector/test/log/smtextarray3sat4.smt2 : 580 B
507. boolector/test/log/smtextarray3sat3.smt2 : 580 B
508. boolector/test/log/smtextarray3sat2.smt2 : 580 B
509. boolector/test/log/smtextarray3sat1.smt2 : 580 B
510. boolector/test/log/smtextarray3sat0.smt2 : 580 B
511. boolector/examples/generators/mulcom/generate.sh : 573 B
512. boolector/test/log/hd11.btor : 570 B
513. boolector/examples/api/c/memcpy/memcpycode.c : 567 B
514. boolector/.clang-format : 566 B
515. boolector/test/log/sc2011rules-qf-abv-ex.smt2 : 565 B
516. boolector/examples/generators/smulo/smulov1.sh : 559 B
517. boolector/examples/generators/hwb/generate.sh : 558 B
518. boolector/examples/generators/addass/generate.sh : 545 B
519. boolector/examples/generators/mulass/generate.sh : 542 B
520. boolector/test/log/rw157.btor : 540 B
521. boolector/test/log/headline15.btor : 540 B
522. boolector/test/log/smtaxiombvsrem64.smt2 : 538 B
523. boolector/test/log/smtaxiombvsrem32.smt2 : 538 B
524. boolector/test/log/smtaxiombvsrem16.smt2 : 538 B
525. boolector/test/log/smtaxiombvsdiv64.smt2 : 537 B
526. boolector/test/log/smtaxiombvsdiv32.smt2 : 537 B
527. boolector/test/log/smtaxiombvsdiv16.smt2 : 537 B
528. boolector/contrib/setup-minisat.sh : 536 B
529. boolector/test/log/smtaxiombvsrem8.smt2 : 532 B
530. boolector/test/log/smtaxiombvsrem7.smt2 : 532 B
531. boolector/test/log/smtaxiombvsrem6.smt2 : 532 B
532. boolector/test/log/smtaxiombvsrem5.smt2 : 532 B
533. boolector/test/log/smtaxiombvsrem4.smt2 : 532 B
534. boolector/test/log/smtaxiombvsrem3.smt2 : 532 B
535. boolector/test/log/smtaxiombvsrem2.smt2 : 532 B
536. boolector/test/log/smtaxiombvsrem1.smt2 : 532 B
537. boolector/test/log/udiv_unbounded_const.out : 531 B
538. boolector/test/log/smtaxiombvsdiv8.smt2 : 531 B
539. boolector/test/log/smtaxiombvsdiv7.smt2 : 531 B
540. boolector/test/log/smtaxiombvsdiv6.smt2 : 531 B
541. boolector/test/log/smtaxiombvsdiv5.smt2 : 531 B
542. boolector/test/log/smtaxiombvsdiv4.smt2 : 531 B
543. boolector/test/log/smtaxiombvsdiv3.smt2 : 531 B
544. boolector/test/log/smtaxiombvsdiv2.smt2 : 531 B
545. boolector/test/log/smtaxiombvsdiv1.smt2 : 531 B
546. boolector/test/log/array_strange.basic : 528 B
547. boolector/test/log/modelgensmt21.smt2 : 518 B
548. boolector/examples/generators/smulo/smulov3.sh : 518 B
549. boolector/test/log/hd13.btor : 516 B
550. boolector/test/log/modelgensmt26.smt2 : 508 B
551. boolector/test/log/hd16.btor : 502 B
552. boolector/examples/generators/umulo/umulov1.sh : 498 B
553. boolector/test/log/read9.btor : 496 B
554. boolector/src/btorexit.h : 493 B
555. boolector/test/log/arraycond8.btor : 491 B
556. boolector/test/log/arraycond7.btor : 491 B
557. boolector/test/log/arraycond6.btor : 491 B
558. boolector/test/log/arraycond5.btor : 491 B
559. boolector/test/log/rw178.btor : 489 B
560. boolector/test/log/smod_exp.out : 488 B
561. boolector/test/log/regrmodel4.btor : 488 B
562. boolector/examples/generators/umulo/umulov2.sh : 486 B
563. boolector/examples/generators/smulo/smulov4.sh : 486 B
564. boolector/test/log/redxor_exp.out : 483 B
565. boolector/test/log/bm2.smt2 : 483 B
566. boolector/src/btorlogic.h : 482 B
567. boolector/contrib/windows_patches/Btor2Tools_20190110.patch : 480 B
568. boolector/src/api/python/pyboolector_abort.h : 476 B
569. boolector/test/log/sc2011rules-qf-bv-ex.smt2 : 466 B
570. boolector/test/log/rw101.btor : 465 B
571. boolector/test/log/hd14.btor : 457 B
572. boolector/test/log/rw100.btor : 456 B
573. boolector/test/log/headline16.btor : 454 B
574. boolector/test/log/regrencparamapps.smt2 : 453 B
575. boolector/test/log/extarraywrite3.smt2 : 450 B
576. boolector/test/log/regrlemmaloop_embeddedconstraints.btor : 447 B
577. boolector/test/log/rw55.btor : 444 B
578. boolector/test/log/rw54.btor : 444 B
579. boolector/test/log/rw53.btor : 444 B
580. boolector/cmake/CheckNoExportDynamic.cmake : 444 B
581. boolector/test/log/invalidmodel3.btor : 437 B
582. boolector/test/log/uremudivaxiom4no.btor : 436 B
583. boolector/test/log/smulo_exp.out : 435 B
584. boolector/test/log/nextautomata4.btor : 435 B
585. boolector/test/log/hd12.btor : 435 B
586. boolector/test/log/bvsmod.axiom : 435 B
587. boolector/src/preprocess/btorder.h : 435 B
588. boolector/src/btorsubst.h : 434 B
589. boolector/src/preprocess/btorpputils.h : 432 B
590. boolector/test/log/modelgensmt221.smt2 : 430 B
591. boolector/contrib/setup-all.sh : 430 B
592. boolector/test/log/extarraywrite3sat.smt2 : 427 B
593. boolector/test/log/rww1.btor : 426 B
594. boolector/test/log/nondestr_subst4.smt2 : 425 B
595. boolector/test/log/calprob14sat5ksimp.btor : 425 B
596. boolector/src/parser/btorsmt2.h : 421 B
597. boolector/test/log/uremudivaxiom4.btor : 420 B
598. boolector/src/parser/btorsmt.h : 419 B
599. boolector/test/log/arraycond18.btor : 417 B
600. boolector/test/log/smtextarrayaxiom2.smt2 : 415 B
601. boolector/test/log/bvsrem.axiom : 415 B
602. boolector/test/log/regrrwbinexpconcatzeroconst.smt2 : 414 B
603. boolector/test/log/swap.basic : 413 B
604. boolector/examples/api/c/boundsprop/minxor.h : 413 B
605. boolector/examples/api/c/boundsprop/minand.h : 413 B
606. boolector/examples/api/c/boundsprop/maxxor.h : 413 B
607. boolector/examples/api/c/boundsprop/maxand.h : 413 B
608. boolector/examples/btormc/factorial4even.btor2 : 411 B
609. boolector/src/btorslvquant.h : 410 B
610. boolector/test/log/smtsub0.smt2 : 406 B
611. boolector/examples/api/c/boundsprop/minor.h : 404 B
612. boolector/examples/api/c/boundsprop/maxor.h : 404 B
613. boolector/test/log/regrmodel3.btor : 403 B
614. boolector/src/preprocess/btorskel.h : 402 B
615. boolector/src/parser/btorbtor2.h : 402 B
616. boolector/test/log/hd17.btor : 400 B
617. boolector/src/parser/btorbtor.h : 399 B
618. boolector/src/preprocess/btorminiscope.h : 398 B
619. boolector/test/log/smtarraycond3.smt2 : 397 B
620. boolector/src/preprocess/btorpreprocess.h : 397 B
621. boolector/test/log/read16.btor : 395 B
622. boolector/test/log/regrdomabst1.btor : 394 B
623. boolector/test/log/sub_unbounded_const.out : 393 B
624. boolector/src/preprocess/btorunconstrained.h : 393 B
625. boolector/src/preprocess/btorelimslices.h : 392 B
626. boolector/src/btorchkfailed.h : 387 B
627. boolector/src/preprocess/btorelimapplies.h : 384 B
628. boolector/test/log/painc.smt2 : 383 B
629. boolector/src/preprocess/btorembed.h : 383 B
630. boolector/src/preprocess/btorvarsubst.h : 380 B
631. boolector/test/log/modelgensmt215.smt2 : 378 B
632. boolector/contrib/btorops.sh : 378 B
633. boolector/src/btormain.h : 377 B
634. boolector/src/preprocess/btorack.h : 376 B
635. boolector/test/log/substcyclic1.btor : 375 B
636. boolector/test/log/bvsdiv.axiom : 375 B
637. boolector/src/preprocess/btorextract.h : 374 B
638. boolector/src/preprocess/btornormadd.h : 373 B
639. boolector/test/log/const_to_hex.out : 371 B
640. boolector/test/log/modelgensmt210.smt2 : 368 B
641. boolector/src/preprocess/btormerge.h : 368 B
642. boolector/test/log/nondestr_subst20.smt2 : 367 B
643. boolector/test/log/lambda2.btor : 365 B
644. boolector/src/boolectormain.c : 365 B
645. boolector/test/log/nondestr_subst10.smt2 : 364 B
646. boolector/test/log/mult_unbounded_const.out : 364 B
647. boolector/test/log/bv_to_hex_char_bitvec.out : 361 B
648. boolector/test/log/smtextarray2sat3.smt2 : 360 B
649. boolector/test/log/smtextarray2sat2.smt2 : 360 B
650. boolector/test/log/smtextarray2sat1.smt2 : 360 B
651. boolector/test/log/smtextarray2sat0.smt2 : 360 B
652. boolector/test/log/regrembeddedconstraint8.btor : 360 B
653. boolector/test/log/regrembeddedconstraint10.btor : 360 B
654. boolector/test/log/invalidmodel1.smt2 : 360 B
655. boolector/test/log/hex_to_const.out : 360 B
656. boolector/test/log/regsubslapd149921red.btor : 354 B
657. boolector/test/log/getvalue3.smt2 : 352 B
658. boolector/test/log/random2.btor : 351 B
659. boolector/test/log/hd4.btor : 351 B
660. boolector/test/log/arraycond12.btor : 350 B
661. boolector/test/log/srl_same_bw.btor : 348 B
662. boolector/test/log/sll_same_bw.btor : 348 B
663. boolector/test/log/ror_same_bw.btor : 348 B
664. boolector/test/log/rol_same_bw.btor : 348 B
665. boolector/test/log/hd18.btor : 344 B
666. boolector/test/log/smtarraycond2.smt2 : 342 B
667. boolector/test/log/hd9.btor : 340 B
668. boolector/test/log/rw136.btor : 339 B
669. boolector/test/log/hd3.btor : 339 B
670. boolector/test/log/random1.btor : 336 B
671. boolector/test/log/normalize_mul_incomplete.btor : 336 B
672. boolector/test/log/normalize_and_incomplete.btor : 336 B
673. boolector/test/log/normalize_add_incomplete.btor : 336 B
674. boolector/test/log/hd2.btor : 336 B
675. boolector/test/log/read4.btor : 334 B
676. boolector/test/log/nextautomata3.btor : 334 B
677. boolector/test/log/getvalue2.smt2 : 331 B
678. boolector/test/log/btorperr003.btor : 330 B
679. boolector/test/log/btorperr002.btor : 330 B
680. boolector/test/log/btorperr001.btor : 330 B
681. boolector/test/log/btorperr000.btor : 330 B
682. boolector/test/log/inverse_const.out : 325 B
683. boolector/test/log/rw37.btor : 324 B
684. boolector/test/log/rw215.smt2 : 323 B
685. boolector/test/log/ext12.btor : 321 B
686. boolector/test/log/blabs.smt2 : 316 B
687. boolector/test/log/memclear_bw32p3.btor : 313 B
688. boolector/test/log/nondestr_subst3.smt2 : 312 B
689. boolector/test/log/hd5.btor : 308 B
690. boolector/test/log/smtarraycond1.smt2 : 307 B
691. boolector/test/log/headline1.btor : 307 B
692. boolector/examples/btormc/twocount2c.btor2 : 306 B
693. boolector/test/log/smtextarrayaxiom1.smt2 : 305 B
694. boolector/test/log/modelgensmt27.smt2 : 305 B
695. boolector/test/log/arraycond3.btor : 305 B
696. boolector/src/mcapi/makefile : 304 B
697. boolector/test/log/rw29.btor : 303 B
698. boolector/test/log/rw28.btor : 303 B
699. boolector/test/log/rw179.btor : 303 B
700. boolector/test/log/ext27.btor : 303 B
701. boolector/test/log/smtaxiombvslt64.smt2 : 302 B
702. boolector/test/log/smtaxiombvslt32.smt2 : 302 B
703. boolector/test/log/smtaxiombvslt16.smt2 : 302 B
704. boolector/test/log/smtaxiombvsle64.smt2 : 302 B
705. boolector/test/log/smtaxiombvsle32.smt2 : 302 B
706. boolector/test/log/smtaxiombvsle16.smt2 : 302 B
707. boolector/test/log/modelgensmt25.smt2 : 297 B
708. boolector/test/log/smtaxiombvslt8.smt2 : 296 B
709. boolector/test/log/smtaxiombvslt7.smt2 : 296 B
710. boolector/test/log/smtaxiombvslt6.smt2 : 296 B
711. boolector/test/log/smtaxiombvslt5.smt2 : 296 B
712. boolector/test/log/smtaxiombvslt4.smt2 : 296 B
713. boolector/test/log/smtaxiombvslt3.smt2 : 296 B
714. boolector/test/log/smtaxiombvslt2.smt2 : 296 B
715. boolector/test/log/smtaxiombvslt1.smt2 : 296 B
716. boolector/test/log/smtaxiombvsle8.smt2 : 296 B
717. boolector/test/log/smtaxiombvsle7.smt2 : 296 B
718. boolector/test/log/smtaxiombvsle6.smt2 : 296 B
719. boolector/test/log/smtaxiombvsle5.smt2 : 296 B
720. boolector/test/log/smtaxiombvsle4.smt2 : 296 B
721. boolector/test/log/smtaxiombvsle3.smt2 : 296 B
722. boolector/test/log/smtaxiombvsle2.smt2 : 296 B
723. boolector/test/log/smtaxiombvsle1.smt2 : 296 B
724. boolector/test/log/modelgensmt220.smt2 : 295 B
725. boolector/test/log/hd8.btor : 293 B
726. boolector/test/log/smtaxiommccarthy.smt2 : 291 B
727. boolector/test/log/read8.btor : 291 B
728. boolector/cmake/BoolectorConfig.cmake : 285 B
729. boolector/examples/btormc/twocount32.btor2 : 278 B
730. boolector/test/log/sdiv_exp.out : 277 B
731. boolector/test/log/gtewithsub.btor : 274 B
732. boolector/test/log/arraycond4.btor : 274 B
733. boolector/test/log/regr-distinct.smt2 : 272 B
734. boolector/test/log/smtlshr1.smt2 : 271 B
735. boolector/test/log/smtashr1.smt2 : 271 B
736. boolector/test/log/smtshl1.smt2 : 267 B
737. boolector/test/log/nextarray8.btor : 267 B
738. boolector/test/log/nestedfun1.smt2 : 267 B
739. boolector/test/log/smtextarrayaxiom4uf.smt2 : 266 B
740. boolector/test/log/smtextarrayaxiom3uf.smt2 : 266 B
741. boolector/test/log/smtextarrayaxiom2uf.smt2 : 266 B
742. boolector/test/log/smtextarrayaxiom1uf.smt2 : 266 B
743. boolector/test/log/hd1.btor : 266 B
744. boolector/test/log/modelgensmt28.smt2 : 265 B
745. boolector/examples/btormc/twocount2.btor2 : 264 B
746. boolector/test/log/rw214.smt2 : 261 B
747. boolector/test/log/lazyitex.btor : 257 B
748. boolector/test/log/translateaxiom.sh : 255 B
749. boolector/test/log/modelgen17.btor : 255 B
750. boolector/test/log/rw216.smt2 : 254 B
751. boolector/test/log/rw32.btor : 253 B
752. boolector/test/log/rw177.btor : 253 B
753. boolector/test/log/rw175.btor : 253 B
754. boolector/test/log/rw176.btor : 251 B
755. boolector/test/log/rw174.btor : 251 B
756. boolector/test/log/hd20.btor : 251 B
757. boolector/test/log/ext28.btor : 251 B
758. boolector/test/log/smtextarray1sat1.smt2 : 250 B
759. boolector/test/log/smtextarray1sat0.smt2 : 250 B
760. boolector/test/log/rw59.btor : 250 B
761. boolector/test/log/rw58.btor : 250 B
762. boolector/test/log/modelgen9.btor : 250 B
763. boolector/examples/btormc/noninitstate.btor2 : 250 B
764. boolector/test/log/ext13.btor : 248 B
765. boolector/test/log/add_unbounded_const.out : 248 B
766. boolector/test/log/umulo_exp.out : 247 B
767. boolector/test/log/regrpointerchasing1.btor : 247 B
768. boolector/test/log/nondestr_subst9.smt2 : 247 B
769. boolector/test/log/nextautomata1.btor : 245 B
770. boolector/test/log/arraycond2.btor : 243 B
771. boolector/test/log/arraycond1.btor : 243 B
772. boolector/test/log/nextarray3.btor : 242 B
773. boolector/test/log/rw57.btor : 241 B
774. boolector/test/log/rw56.btor : 241 B
775. boolector/test/log/read2.btor : 241 B
776. boolector/test/log/read1.btor : 241 B
777. boolector/test/log/write12.btor : 239 B
778. boolector/test/log/nextarray2.btor : 239 B
779. boolector/test/log/ulttheorem1.btor : 238 B
780. boolector/test/log/ssubo_exp.out : 236 B
781. boolector/test/log/write7.btor : 235 B
782. boolector/test/log/write10.btor : 235 B
783. boolector/test/log/verbose2.btor : 235 B
784. boolector/test/log/write23.btor : 234 B
785. boolector/test/log/rw221.smt2 : 234 B
786. boolector/test/log/srem_exp.out : 231 B
787. boolector/test/log/regrembeddedconstraint14.btor : 230 B
788. boolector/test/log/ext19.btor : 229 B
789. boolector/.gitattributes : 229 B
790. boolector/test/log/write2.btor : 228 B
791. boolector/test/log/nextarray4.btor : 228 B
792. boolector/test/log/headline11.btor : 228 B
793. boolector/test/log/headline7.btor : 226 B
794. boolector/test/log/decimal_to_const.out : 226 B
795. boolector/test/log/regexit0basic.btor : 225 B
796. boolector/test/log/bvslt.axiom : 225 B
797. boolector/test/log/bvsle.axiom : 225 B
798. boolector/test/log/modelgen14.btor : 223 B
799. boolector/test/log/hd19.btor : 223 B
800. boolector/test/log/arraycond14.btor : 223 B
801. boolector/test/log/mulassoc5.smt2 : 222 B
802. boolector/test/log/mulassoc6.smt2 : 221 B
803. boolector/test/log/mulassoc4.smt2 : 221 B
804. boolector/test/log/write3.btor : 220 B
805. boolector/test/log/traverse_hash_str2i.out : 220 B
806. boolector/test/log/smtaxiombvashr64.smt2 : 219 B
807. boolector/test/log/smtaxiombvashr32.smt2 : 219 B
808. boolector/test/log/smtaxiombvashr16.smt2 : 219 B
809. boolector/test/log/constarray.smt2 : 219 B
810. boolector/test/log/issue96.smt2 : 218 B
811. boolector/test/log/sult2.btor : 216 B
812. boolector/test/log/modelgen19.btor : 216 B
813. boolector/test/log/smtaxiombvashr8.smt2 : 215 B
814. boolector/test/log/smtaxiombvashr7.smt2 : 215 B
815. boolector/test/log/smtaxiombvashr6.smt2 : 215 B
816. boolector/test/log/smtaxiombvashr5.smt2 : 215 B
817. boolector/test/log/smtaxiombvashr4.smt2 : 215 B
818. boolector/test/log/smtaxiombvashr3.smt2 : 215 B
819. boolector/test/log/smtaxiombvashr2.smt2 : 215 B
820. boolector/test/log/smtaxiombvashr1.smt2 : 215 B
821. boolector/test/log/uremsimp32.smt2 : 214 B
822. boolector/test/log/arraycond11.btor : 213 B
823. boolector/test/log/write20.btor : 210 B
824. boolector/test/log/upprop1.btor : 210 B
825. boolector/test/log/hd10.btor : 210 B
826. boolector/test/log/3vl5.btor : 210 B
827. boolector/test/log/rw39.btor : 209 B
828. boolector/test/log/arraycond17.btor : 209 B
829. boolector/test/log/translateaxioms.sh : 208 B
830. boolector/test/log/headline6.btor : 208 B
831. boolector/test/log/modelgensmt29.smt2 : 206 B
832. boolector/test/log/hd21.btor : 204 B
833. boolector/examples/btormc/recount4.btor2 : 204 B
834. boolector/test/log/ext4.btor : 203 B
835. boolector/test/log/regrembeddedconstraint7.btor : 199 B
836. boolector/test/log/regrembeddedconstraint1.btor : 199 B
837. boolector/test/log/rw220.smt2 : 198 B
838. boolector/test/log/sult.btor : 197 B
839. boolector/test/log/headline8.btor : 197 B
840. boolector/test/log/hd7.btor : 197 B
841. boolector/test/log/ext18.btor : 197 B
842. boolector/test/log/ext9.btor : 196 B
843. boolector/test/log/udiv32castdown16.btor : 195 B
844. boolector/test/log/rw89.btor : 195 B
845. boolector/test/log/rw88.btor : 195 B
846. boolector/test/log/read5.btor : 194 B
847. boolector/test/log/notdistadd1.smt2 : 194 B
848. boolector/test/log/ext25.btor : 194 B
849. boolector/test/log/ext23.btor : 193 B
850. boolector/test/log/write22.btor : 190 B
851. boolector/test/log/rw87.btor : 190 B
852. boolector/test/log/rw86.btor : 190 B
853. boolector/test/log/hd15.btor : 190 B
854. boolector/examples/generators/mulass/mulass.template : 190 B
855. boolector/examples/generators/addass/addass.template : 190 B
856. boolector/test/log/substitute3.btor : 189 B
857. boolector/test/log/cmp_const.out : 189 B
858. boolector/test/log/udiv16castdown8.btor : 185 B
859. boolector/test/log/nextarray6.btor : 184 B
860. boolector/test/log/smtaxiombvxnor64.smt2 : 183 B
861. boolector/test/log/smtaxiombvxnor32.smt2 : 183 B
862. boolector/test/log/smtaxiombvxnor16.smt2 : 183 B
863. boolector/test/log/ext17.btor : 183 B
864. boolector/test/log/write9.btor : 182 B
865. boolector/test/log/smtaxiombvxor64.smt2 : 182 B
866. boolector/test/log/smtaxiombvxor32.smt2 : 182 B
867. boolector/test/log/smtaxiombvxor16.smt2 : 182 B
868. boolector/test/log/slice_const.out : 182 B
869. boolector/test/log/possdivzero.smt2 : 182 B
870. boolector/test/log/write5.btor : 181 B
871. boolector/test/log/udiv8castdown7.btor : 181 B
872. boolector/test/log/udiv8castdown6.btor : 181 B
873. boolector/test/log/udiv8castdown5.btor : 181 B
874. boolector/test/log/udiv8castdown4.btor : 181 B
875. boolector/test/log/smtaxiombvxnor8.smt2 : 181 B
876. boolector/test/log/smtaxiombvxnor7.smt2 : 181 B
877. boolector/test/log/smtaxiombvxnor6.smt2 : 181 B
878. boolector/test/log/smtaxiombvxnor5.smt2 : 181 B
879. boolector/test/log/smtaxiombvxnor4.smt2 : 181 B
880. boolector/test/log/smtaxiombvxnor3.smt2 : 181 B
881. boolector/test/log/smtaxiombvxnor2.smt2 : 181 B
882. boolector/test/log/smtaxiombvxnor1.smt2 : 181 B
883. boolector/test/log/rw33.btor : 181 B
884. boolector/test/log/read6.btor : 181 B
885. boolector/test/log/ext16.btor : 181 B
886. boolector/test/log/smtaxiombvxor8.smt2 : 180 B
887. boolector/test/log/smtaxiombvxor7.smt2 : 180 B
888. boolector/test/log/smtaxiombvxor6.smt2 : 180 B
889. boolector/test/log/smtaxiombvxor5.smt2 : 180 B
890. boolector/test/log/smtaxiombvxor4.smt2 : 180 B
891. boolector/test/log/smtaxiombvxor3.smt2 : 180 B
892. boolector/test/log/smtaxiombvxor2.smt2 : 180 B
893. boolector/test/log/smtaxiombvxor1.smt2 : 180 B
894. boolector/test/log/ext24.btor : 179 B
895. boolector/test/log/arraycondconstaig.btor : 179 B
896. boolector/test/log/rw60.btor : 178 B
897. boolector/test/log/rw102.btor : 178 B
898. boolector/test/log/ext5.btor : 178 B
899. boolector/test/log/rw103.btor : 177 B
900. boolector/test/log/rw35.btor : 176 B
901. boolector/pypi/setup.cfg : 176 B
902. boolector/test/log/write13.btor : 175 B
903. boolector/test/log/slt_exp.out : 175 B
904. boolector/test/log/sgt_exp.out : 175 B
905. boolector/test/log/read3.btor : 175 B
906. boolector/test/log/mul4mod.btor : 175 B
907. boolector/test/log/slte_exp.out : 174 B
908. boolector/test/log/sgte_exp.out : 174 B
909. boolector/test/log/rw218.smt2 : 174 B
910. boolector/test/log/negsdivzero.smt2 : 174 B
911. boolector/test/log/rw219.smt2 : 172 B
912. boolector/test/log/rw129.btor : 172 B
913. boolector/test/log/notdistadd0.smt2 : 171 B
914. boolector/test/log/negdistadd.smt2 : 171 B
915. boolector/test/log/factor18446744073709551617.btor : 171 B
916. boolector/test/log/ext26.btor : 171 B
917. boolector/test/log/regsmod1.smt2 : 170 B
918. boolector/examples/generators/Makefile : 170 B
919. boolector/test/log/usubo_exp.out : 169 B
920. boolector/test/log/ror_exp.out : 168 B
921. boolector/test/log/rol_exp.out : 168 B
922. boolector/test/log/addnegmul1.btor : 168 B
923. boolector/test/log/regrdomabst4.btor : 166 B
924. boolector/test/log/issue97.smt2 : 166 B
925. boolector/test/log/dumpsmt1.out : 166 B
926. boolector/test/log/sum.basic : 165 B
927. boolector/test/log/rw41.btor : 165 B
928. boolector/test/log/saddo_exp.out : 164 B
929. boolector/test/log/rw72.btor : 164 B
930. boolector/test/log/rw70.btor : 164 B
931. boolector/test/log/rw69.btor : 164 B
932. boolector/test/log/rw217.smt2 : 164 B
933. boolector/test/log/ext20.btor : 164 B
934. boolector/test/log/rw97.btor : 163 B
935. boolector/test/log/rw96.btor : 163 B
936. boolector/test/log/regrrwbinexpconcatzeroconst.btor : 163 B
937. boolector/test/log/ext21.btor : 163 B
938. boolector/test/log/arraycond13.btor : 163 B
939. boolector/test/log/substitute4.btor : 162 B
940. boolector/test/log/rw71.btor : 162 B
941. boolector/pypi/Dockerfile : 161 B
942. boolector/test/log/smtaxiombvule64.smt2 : 160 B
943. boolector/test/log/smtaxiombvule32.smt2 : 160 B
944. boolector/test/log/smtaxiombvule16.smt2 : 160 B
945. boolector/test/log/smtaxiombvuge64.smt2 : 160 B
946. boolector/test/log/smtaxiombvuge32.smt2 : 160 B
947. boolector/test/log/smtaxiombvuge16.smt2 : 160 B
948. boolector/test/log/smtaxiombvule8.smt2 : 158 B
949. boolector/test/log/smtaxiombvule7.smt2 : 158 B
950. boolector/test/log/smtaxiombvule6.smt2 : 158 B
951. boolector/test/log/smtaxiombvule5.smt2 : 158 B
952. boolector/test/log/smtaxiombvule4.smt2 : 158 B
953. boolector/test/log/smtaxiombvule3.smt2 : 158 B
954. boolector/test/log/smtaxiombvule2.smt2 : 158 B
955. boolector/test/log/smtaxiombvule1.smt2 : 158 B
956. boolector/test/log/smtaxiombvuge8.smt2 : 158 B
957. boolector/test/log/smtaxiombvuge7.smt2 : 158 B
958. boolector/test/log/smtaxiombvuge6.smt2 : 158 B
959. boolector/test/log/smtaxiombvuge5.smt2 : 158 B
960. boolector/test/log/smtaxiombvuge4.smt2 : 158 B
961. boolector/test/log/smtaxiombvuge3.smt2 : 158 B
962. boolector/test/log/smtaxiombvuge2.smt2 : 158 B
963. boolector/test/log/smtaxiombvuge1.smt2 : 158 B
964. boolector/test/log/smt2perr080.out : 158 B
965. boolector/test/log/modelgen6.btor : 158 B
966. boolector/test/log/headline12.btor : 158 B
967. boolector/test/log/smt2perr094.out : 157 B
968. boolector/test/log/smt2perr093.out : 157 B
969. boolector/test/log/rw99.btor : 157 B
970. boolector/test/log/rw98.btor : 157 B
971. boolector/test/log/rw34.btor : 157 B
972. boolector/test/log/udivzero.smt2 : 156 B
973. boolector/test/log/smtaxiombvsub64.smt2 : 155 B
974. boolector/test/log/smtaxiombvsub32.smt2 : 155 B
975. boolector/test/log/smtaxiombvsub16.smt2 : 155 B
976. boolector/test/log/smtaxiombvnand64.smt2 : 155 B
977. boolector/test/log/smtaxiombvnand32.smt2 : 155 B
978. boolector/test/log/smtaxiombvnand16.smt2 : 155 B
979. boolector/test/log/rw93.btor : 155 B
980. boolector/test/log/rw36.btor : 155 B
981. boolector/test/log/rw92.btor : 154 B
982. boolector/test/log/regrembeddedconstraint5.btor : 154 B
983. boolector/test/log/read17.btor : 154 B
984. boolector/test/log/smtaxiombvsub8.smt2 : 153 B
985. boolector/test/log/smtaxiombvsub7.smt2 : 153 B
986. boolector/test/log/smtaxiombvsub6.smt2 : 153 B
987. boolector/test/log/smtaxiombvsub5.smt2 : 153 B
988. boolector/test/log/smtaxiombvsub4.smt2 : 153 B
989. boolector/test/log/smtaxiombvsub3.smt2 : 153 B
990. boolector/test/log/smtaxiombvsub2.smt2 : 153 B
991. boolector/test/log/smtaxiombvsub1.smt2 : 153 B
992. boolector/test/log/smtaxiombvnor64.smt2 : 153 B
993. boolector/test/log/smtaxiombvnor32.smt2 : 153 B
994. boolector/test/log/smtaxiombvnor16.smt2 : 153 B
995. boolector/test/log/smtaxiombvnand8.smt2 : 153 B
996. boolector/test/log/smtaxiombvnand7.smt2 : 153 B
997. boolector/test/log/smtaxiombvnand6.smt2 : 153 B
998. boolector/test/log/smtaxiombvnand5.smt2 : 153 B
999. boolector/test/log/smtaxiombvnand4.smt2 : 153 B
1000. boolector/test/log/smtaxiombvnand3.smt2 : 153 B
1001. boolector/test/log/smtaxiombvnand2.smt2 : 153 B
1002. boolector/test/log/smtaxiombvnand1.smt2 : 153 B
1003. boolector/test/log/read18.btor : 153 B
1004. boolector/test/log/arraycondconst.btor : 153 B
1005. boolector/test/log/3vl1.btor : 153 B
1006. boolector/test/log/nextarray1.btor : 152 B
1007. boolector/test/log/write21.btor : 151 B
1008. boolector/test/log/smtaxiombvnor8.smt2 : 151 B
1009. boolector/test/log/smtaxiombvnor7.smt2 : 151 B
1010. boolector/test/log/smtaxiombvnor6.smt2 : 151 B
1011. boolector/test/log/smtaxiombvnor5.smt2 : 151 B
1012. boolector/test/log/smtaxiombvnor4.smt2 : 151 B
1013. boolector/test/log/smtaxiombvnor3.smt2 : 151 B
1014. boolector/test/log/smtaxiombvnor2.smt2 : 151 B
1015. boolector/test/log/smtaxiombvnor1.smt2 : 151 B
1016. boolector/examples/generators/makefile.common : 150 B
1017. boolector/test/log/rw94.btor : 149 B
1018. boolector/test/log/rw40.btor : 149 B
1019. boolector/test/log/rw24.btor : 149 B
1020. boolector/test/log/hd6.btor : 149 B
1021. boolector/test/log/ext15.btor : 149 B
1022. boolector/examples/api/c/binarysearch/makefile : 149 B
1023. boolector/test/log/nextcounter5.btor : 148 B
1024. boolector/test/log/smtaxiombvugt64.smt2 : 147 B
1025. boolector/test/log/smtaxiombvugt32.smt2 : 147 B
1026. boolector/test/log/smtaxiombvugt16.smt2 : 147 B
1027. boolector/test/log/smtaxiombvsgt64.smt2 : 147 B
1028. boolector/test/log/smtaxiombvsgt32.smt2 : 147 B
1029. boolector/test/log/smtaxiombvsgt16.smt2 : 147 B
1030. boolector/test/log/smtaxiombvsge64.smt2 : 147 B
1031. boolector/test/log/smtaxiombvsge32.smt2 : 147 B
1032. boolector/test/log/smtaxiombvsge16.smt2 : 147 B
1033. boolector/test/log/rw95.btor : 147 B
1034. boolector/test/log/modelgen15.btor : 147 B
1035. boolector/test/log/rw38.btor : 146 B
1036. boolector/test/log/rw23.btor : 146 B
1037. boolector/test/log/rw22.btor : 146 B
1038. boolector/test/log/regrexpleak1.btor : 146 B
1039. boolector/test/log/smtaxiombvugt8.smt2 : 145 B
1040. boolector/test/log/smtaxiombvugt7.smt2 : 145 B
1041. boolector/test/log/smtaxiombvugt6.smt2 : 145 B
1042. boolector/test/log/smtaxiombvugt5.smt2 : 145 B
1043. boolector/test/log/smtaxiombvugt4.smt2 : 145 B
1044. boolector/test/log/smtaxiombvugt3.smt2 : 145 B
1045. boolector/test/log/smtaxiombvugt2.smt2 : 145 B
1046. boolector/test/log/smtaxiombvugt1.smt2 : 145 B
1047. boolector/test/log/smtaxiombvsgt8.smt2 : 145 B
1048. boolector/test/log/smtaxiombvsgt7.smt2 : 145 B
1049. boolector/test/log/smtaxiombvsgt6.smt2 : 145 B
1050. boolector/test/log/smtaxiombvsgt5.smt2 : 145 B
1051. boolector/test/log/smtaxiombvsgt4.smt2 : 145 B
1052. boolector/test/log/smtaxiombvsgt3.smt2 : 145 B
1053. boolector/test/log/smtaxiombvsgt2.smt2 : 145 B
1054. boolector/test/log/smtaxiombvsgt1.smt2 : 145 B
1055. boolector/test/log/smtaxiombvsge8.smt2 : 145 B
1056. boolector/test/log/smtaxiombvsge7.smt2 : 145 B
1057. boolector/test/log/smtaxiombvsge6.smt2 : 145 B
1058. boolector/test/log/smtaxiombvsge5.smt2 : 144 B
1059. boolector/test/log/smtaxiombvsge4.smt2 : 144 B
1060. boolector/test/log/smtaxiombvsge3.smt2 : 144 B
1061. boolector/test/log/smtaxiombvsge2.smt2 : 144 B
1062. boolector/test/log/smtaxiombvsge1.smt2 : 144 B
1063. boolector/test/log/smt2perr106.out : 144 B
1064. boolector/test/log/smt2perr105.out : 144 B
1065. boolector/test/log/rw91.btor : 144 B
1066. boolector/test/log/regrnormquant.smt2 : 144 B
1067. boolector/test/log/modelgen8.btor : 144 B
1068. boolector/test/log/modelgen23.btor : 144 B
1069. boolector/test/log/smtor.smt2 : 143 B
1070. boolector/test/log/rw90.btor : 143 B
1071. boolector/test/log/rw25.btor : 143 B
1072. boolector/test/log/rw21.btor : 143 B
1073. boolector/test/log/smtiff.smt2 : 142 B
1074. boolector/test/log/nextautomata2.btor : 142 B
1075. boolector/test/log/modelgen10.btor : 142 B
1076. boolector/test/log/rw124.btor : 141 B
1077. boolector/test/log/modelgen24.btor : 141 B
1078. boolector/test/log/smt2perr081.out : 140 B
1079. boolector/test/log/rw20.btor : 140 B
1080. boolector/test/log/rw19.btor : 140 B
1081. boolector/test/log/rw123.btor : 140 B
1082. boolector/test/log/rw116.btor : 140 B
1083. boolector/test/log/rw115.btor : 140 B
1084. boolector/test/log/bvashr.axiom : 140 B
1085. boolector/test/log/write6.btor : 139 B
1086. boolector/test/log/uremtheorem1.btor : 139 B
1087. boolector/test/log/modelgen25.btor : 139 B
1088. boolector/examples/generators/writechains/makefile : 139 B
1089. boolector/test/log/substitute40.btor : 138 B
1090. boolector/test/log/smtxor.smt2 : 138 B
1091. boolector/test/log/rw51.btor : 138 B
1092. boolector/test/log/regrdomabst2.btor : 138 B
1093. boolector/test/log/modelgen22.btor : 138 B
1094. boolector/examples/generators/mulcom/mulcom.template : 138 B
1095. boolector/examples/generators/addcom/addcom.template : 138 B
1096. boolector/test/log/headline3.btor : 137 B
1097. boolector/test/log/headline2.btor : 137 B
1098. boolector/test/log/ext29.btor : 137 B
1099. boolector/test/log/rw31.btor : 136 B
1100. boolector/test/log/regprim11simp.btor : 136 B
1101. boolector/test/log/nextcounter1.btor : 136 B
1102. boolector/test/log/smt2perr079.smt2 : 135 B
1103. boolector/test/log/rw30.btor : 135 B
1104. boolector/test/log/smt2perr100.out : 134 B
1105. boolector/test/log/smt2perr094.smt2 : 134 B
1106. boolector/test/log/smt2perr093.smt2 : 134 B
1107. boolector/test/log/rw126.btor : 134 B
1108. boolector/test/log/rw125.btor : 134 B
1109. boolector/test/log/echo.smt2 : 134 B
1110. boolector/test/log/uremsimp32.btor : 133 B
1111. boolector/test/log/smtrepeat.smt2 : 133 B
1112. boolector/test/log/sdiveqashr2false32.smt2 : 133 B
1113. boolector/test/log/rw128.btor : 133 B
1114. boolector/test/log/rw127.btor : 133 B
1115. boolector/test/log/regrmark1.btor : 132 B
1116. boolector/test/log/rw152.btor : 131 B
1117. boolector/test/log/rw147.btor : 131 B
1118. boolector/test/log/smtandvar.smt2 : 130 B
1119. boolector/test/log/rw151.btor : 130 B
1120. boolector/test/log/read11.btor : 130 B
1121. boolector/test/log/read10.btor : 130 B
1122. boolector/test/log/rw153.btor : 129 B
1123. boolector/test/log/rw150.btor : 129 B
1124. boolector/test/log/rw148.btor : 129 B
1125. boolector/test/log/rw145.btor : 129 B
1126. boolector/test/log/normaddneg1.btor : 129 B
1127. boolector/test/log/normaddneg0.btor : 129 B
1128. boolector/test/log/modelgen18.btor : 129 B
1129. boolector/test/log/rw146.btor : 128 B
1130. boolector/test/log/headline10.btor : 128 B
1131. boolector/examples/btormc/count4.btor2 : 128 B
1132. boolector/examples/btormc/count2.btor2 : 128 B
1133. boolector/test/log/smtnotvar.smt2 : 127 B
1134. boolector/test/log/smt2perr081.smt2 : 127 B
1135. boolector/test/log/exactlyone.btor : 127 B
1136. boolector/test/log/rw149.btor : 126 B
1137. boolector/test/log/rw144.btor : 126 B
1138. boolector/test/log/nextarray7.btor : 126 B
1139. boolector/test/log/ext14.btor : 126 B
1140. boolector/test/log/distri8.btor : 126 B
1141. boolector/test/log/distri7.btor : 126 B
1142. boolector/test/log/distri6.btor : 126 B
1143. boolector/test/log/distri5.btor : 126 B
1144. boolector/test/log/distri4.btor : 126 B
1145. boolector/test/log/distri3.btor : 126 B
1146. boolector/test/log/distri2.btor : 126 B
1147. boolector/test/log/distri1.btor : 126 B
1148. boolector/test/log/write24.btor : 125 B
1149. boolector/test/log/smt2perr080.smt2 : 125 B
1150. boolector/test/log/arraycond10.btor : 125 B
1151. boolector/test/log/3vl6.btor : 125 B
1152. boolector/test/log/sdivo_exp.out : 124 B
1153. boolector/test/log/smt2perr096.out : 123 B
1154. boolector/test/log/rw120.btor : 123 B
1155. boolector/test/log/extarraywrite2.btor : 123 B
1156. boolector/test/log/rw122.btor : 122 B
1157. boolector/test/log/rw119.btor : 122 B
1158. boolector/test/log/rw112.btor : 122 B
1159. boolector/test/log/prim8bugreduced.btor : 122 B
1160. boolector/test/log/smtvar.smt2 : 121 B
1161. boolector/test/log/rw121.btor : 121 B
1162. boolector/test/log/rw114.btor : 121 B
1163. boolector/test/log/rw111.btor : 121 B
1164. boolector/test/log/getvalue1.smt2 : 121 B
1165. boolector/test/log/smt2perr114.out : 120 B
1166. boolector/test/log/smt2perr002.out : 120 B
1167. boolector/test/log/smt2perr001.out : 120 B
1168. boolector/test/log/smt2perr000.out : 120 B
1169. boolector/test/log/rw118.btor : 120 B
1170. boolector/test/log/rw113.btor : 120 B
1171. boolector/test/log/regmismatch.out : 120 B
1172. boolector/test/log/rwpropindexpluszero8.btor : 119 B
1173. boolector/test/log/rwpropindexpluszero7.btor : 119 B
1174. boolector/test/log/rwpropindexpluszero6.btor : 119 B
1175. boolector/test/log/rwpropindexpluszero5.btor : 119 B
1176. boolector/test/log/rw117.btor : 119 B
1177. boolector/test/log/rw110.btor : 119 B
1178. boolector/test/log/extarraywrite1.btor : 119 B
1179. boolector/test/log/rwpropindexpluszero4.btor : 118 B
1180. boolector/test/log/rwpropindexpluszero3.btor : 118 B
1181. boolector/test/log/rwpropindexpluszero2.btor : 118 B
1182. boolector/test/log/rwpropindexpluszero1.btor : 118 B
1183. boolector/test/log/rwpropindexplusconst4.btor : 118 B
1184. boolector/test/log/rwpropindexplusconst3.btor : 118 B
1185. boolector/test/log/rwpropindexplusconst2.btor : 118 B
1186. boolector/test/log/rwpropindexplusconst1.btor : 118 B
1187. boolector/test/log/rw52.btor : 118 B
1188. boolector/test/log/rw167.btor : 118 B
1189. boolector/test/log/rw166.btor : 118 B
1190. boolector/test/log/rw163.btor : 118 B
1191. boolector/test/log/rw162.btor : 118 B
1192. boolector/test/log/rw109.btor : 118 B
1193. boolector/test/log/ext3.btor : 118 B
1194. boolector/test/log/smtsignextend.smt2 : 117 B
1195. boolector/test/log/rw169.btor : 117 B
1196. boolector/test/log/rw168.btor : 117 B
1197. boolector/test/log/rw165.btor : 117 B
1198. boolector/test/log/rw164.btor : 117 B
1199. boolector/test/log/lin4.btor : 117 B
1200. boolector/test/log/factoroutinvadd.btor : 117 B
1201. boolector/test/log/arraycond16.btor : 117 B
1202. boolector/test/log/smtzeroextend.smt2 : 116 B
1203. boolector/test/log/smtbbbrwl0.btor : 116 B
1204. boolector/test/log/smt2perr078.out : 116 B
1205. boolector/test/log/lazyreadwritebug1.btor : 116 B
1206. boolector/test/log/factoroutadd.btor : 116 B
1207. boolector/test/log/factor18446744073709551617reduced.btor : 116 B
1208. boolector/test/log/modelgensmt24.smt2 : 115 B
1209. boolector/test/log/modelgensmt23.smt2 : 115 B
1210. boolector/test/log/modelgensmt225.smt2 : 115 B
1211. boolector/test/log/modelgensmt224.smt2 : 115 B
1212. boolector/test/log/modelgensmt223.smt2 : 115 B
1213. boolector/test/log/modelgensmt222.smt2 : 115 B
1214. boolector/test/log/modelgensmt22.smt2 : 115 B
1215. boolector/test/log/modelgensmt219.smt2 : 115 B
1216. boolector/test/log/modelgensmt218.smt2 : 115 B
1217. boolector/test/log/modelgensmt217.smt2 : 115 B
1218. boolector/test/log/modelgensmt216.smt2 : 115 B
1219. boolector/test/log/modelgensmt214.smt2 : 115 B
1220. boolector/test/log/modelgensmt213.smt2 : 115 B
1221. boolector/test/log/modelgensmt212.smt2 : 115 B
1222. boolector/test/log/modelgensmt211.smt2 : 115 B
1223. boolector/test/log/write8.btor : 114 B
1224. boolector/test/log/substitute39.btor : 114 B
1225. boolector/test/log/substitute35.btor : 114 B
1226. boolector/test/log/substitute31.btor : 114 B
1227. boolector/test/log/substitute27.btor : 114 B
1228. boolector/test/log/substitute23.btor : 114 B
1229. boolector/test/log/substitute19.btor : 114 B
1230. boolector/test/log/modelgen7.btor : 114 B
1231. boolector/test/log/modelgen1.btor : 114 B
1232. boolector/test/log/factor18446744073709551617const.btor : 114 B
1233. boolector/test/log/3vl4.btor : 114 B
1234. boolector/test/log/substitute38.btor : 113 B
1235. boolector/test/log/substitute37.btor : 113 B
1236. boolector/test/log/substitute34.btor : 113 B
1237. boolector/test/log/substitute33.btor : 113 B
1238. boolector/test/log/substitute30.btor : 113 B
1239. boolector/test/log/substitute29.btor : 113 B
1240. boolector/test/log/substitute26.btor : 113 B
1241. boolector/test/log/substitute25.btor : 113 B
1242. boolector/test/log/substitute22.btor : 113 B
1243. boolector/test/log/substitute21.btor : 113 B
1244. boolector/test/log/substitute18.btor : 113 B
1245. boolector/test/log/substitute17.btor : 113 B
1246. boolector/test/log/substitute36.btor : 112 B
1247. boolector/test/log/substitute32.btor : 112 B
1248. boolector/test/log/substitute28.btor : 112 B
1249. boolector/test/log/substitute24.btor : 112 B
1250. boolector/test/log/substitute20.btor : 112 B
1251. boolector/test/log/substitute16.btor : 112 B
1252. boolector/test/log/smtflet.smt2 : 112 B
1253. boolector/test/log/smtbv255.smt2 : 112 B
1254. boolector/test/log/read12.btor : 112 B
1255. boolector/test/log/smt2perr110.out : 111 B
1256. boolector/test/log/write14.btor : 110 B
1257. boolector/examples/api/c/sudoku/example3.sudoku : 110 B
1258. boolector/examples/api/c/sudoku/example2.sudoku : 110 B
1259. boolector/examples/api/c/sudoku/example1.sudoku : 110 B
1260. boolector/test/log/rw173.btor : 109 B
1261. boolector/test/log/rw172.btor : 109 B
1262. boolector/test/log/rw134.btor : 109 B
1263. boolector/test/log/ext8.btor : 109 B
1264. boolector/test/log/ext7.btor : 109 B
1265. boolector/test/log/ext2.btor : 109 B
1266. boolector/test/log/3vl3.btor : 109 B
1267. boolector/test/log/sub_exp.out : 108 B
1268. boolector/test/log/smt2perr121.out : 108 B
1269. boolector/test/log/rw171.btor : 108 B
1270. boolector/test/log/rw170.btor : 108 B
1271. boolector/test/log/rw80.btor : 106 B
1272. boolector/test/log/rw195.btor : 106 B
1273. boolector/test/log/rw194.btor : 106 B
1274. boolector/test/log/rw193.btor : 106 B
1275. boolector/test/log/rw192.btor : 106 B
1276. boolector/test/log/factor4294967297.btor : 106 B
1277. boolector/test/log/factor4294967295.btor : 106 B
1278. boolector/test/log/rw47.btor : 105 B
1279. boolector/test/log/rw107.btor : 105 B
1280. boolector/test/log/rw106.btor : 105 B
1281. boolector/test/log/rw105.btor : 105 B
1282. boolector/test/log/rw104.btor : 105 B
1283. boolector/test/log/ext22.btor : 105 B
1284. boolector/test/log/rw79.btor : 104 B
1285. boolector/test/log/rw78.btor : 104 B
1286. boolector/test/log/rw77.btor : 104 B
1287. boolector/test/log/rw76.btor : 104 B
1288. boolector/test/log/rw75.btor : 104 B
1289. boolector/test/log/rw74.btor : 104 B
1290. boolector/test/log/rw211.btor : 104 B
1291. boolector/test/log/regmismatch.smt2 : 104 B
1292. boolector/test/log/factor18446744073709551617yconst.btor : 104 B
1293. boolector/test/log/smt2perr068.smt2 : 103 B
1294. boolector/test/log/rw210.btor : 103 B
1295. boolector/test/log/rw209.btor : 103 B
1296. boolector/test/log/rw203.btor : 103 B
1297. boolector/test/log/rw202.btor : 103 B
1298. boolector/test/log/rw201.btor : 103 B
1299. boolector/test/log/read7.btor : 103 B
1300. boolector/test/log/read22.btor : 103 B
1301. boolector/test/log/read21.btor : 103 B
1302. boolector/test/log/read20.btor : 103 B
1303. boolector/test/log/smtfalse.smt2 : 102 B
1304. boolector/test/log/rw73.btor : 102 B
1305. boolector/test/log/rw207.btor : 102 B
1306. boolector/test/log/rw191.btor : 102 B
1307. boolector/test/log/rw190.btor : 102 B
1308. boolector/test/log/rw189.btor : 102 B
1309. boolector/test/log/rw188.btor : 102 B
1310. boolector/test/log/write19.btor : 101 B
1311. boolector/test/log/write18.btor : 101 B
1312. boolector/test/log/rw206.btor : 101 B
1313. boolector/test/log/rw205.btor : 101 B
1314. boolector/test/log/rw199.btor : 101 B
1315. boolector/test/log/rw198.btor : 101 B
1316. boolector/test/log/rw197.btor : 101 B
1317. boolector/test/log/read19.btor : 101 B
1318. boolector/test/log/nextarrayinput1.btor : 101 B
1319. boolector/test/log/uaddo_exp.out : 100 B
1320. boolector/test/log/rw208.btor : 100 B
1321. boolector/test/log/rw200.btor : 100 B
1322. boolector/examples/generators/countbits/makefile : 100 B
1323. boolector/test/log/rw204.btor : 99 B
1324. boolector/test/log/rw196.btor : 99 B
1325. boolector/test/log/rw139.btor : 99 B
1326. boolector/test/log/rw138.btor : 99 B
1327. boolector/test/log/substitute2.btor : 98 B
1328. boolector/test/log/smt2perr143.out : 98 B
1329. boolector/test/log/rw49.btor : 98 B
1330. boolector/test/log/rw140.btor : 98 B
1331. boolector/test/log/rw183.btor : 97 B
1332. boolector/test/log/rw181.btor : 97 B
1333. boolector/test/log/rw156.btor : 97 B
1334. boolector/test/log/rw143.btor : 97 B
1335. boolector/test/log/rw142.btor : 97 B
1336. boolector/test/log/rw141.btor : 97 B
1337. boolector/test/log/rw137.btor : 97 B
1338. boolector/test/log/getvalue3.out : 97 B
1339. boolector/test/log/ext6.btor : 97 B
1340. boolector/test/log/arraycond9.btor : 97 B
1341. boolector/test/log/andopt12.btor : 97 B
1342. boolector/test/log/verbose1.btor : 96 B
1343. boolector/test/log/substitute15.btor : 96 B
1344. boolector/test/log/substitute12.btor : 96 B
1345. boolector/test/log/rw135.btor : 96 B
1346. boolector/test/log/factor2209.btor : 96 B
1347. boolector/test/log/factor18446744073709551617xconst.btor : 96 B
1348. boolector/test/log/andopt13.btor : 96 B
1349. boolector/test/log/andopt11.btor : 96 B
1350. boolector/test/log/andopt10.btor : 96 B
1351. boolector/test/log/smt2perr102.smt2 : 95 B
1352. boolector/test/log/smt2perr026.out : 95 B
1353. boolector/test/log/ext11.btor : 95 B
1354. boolector/test/log/andopt8.btor : 95 B
1355. boolector/test/log/andopt7.btor : 95 B
1356. boolector/test/log/substitute14.btor : 94 B
1357. boolector/test/log/substitute13.btor : 94 B
1358. boolector/test/log/substitute11.btor : 94 B
1359. boolector/test/log/substitute10.btor : 94 B
1360. boolector/test/log/smt2perr122.out : 94 B
1361. boolector/test/log/smt2perr106.smt2 : 94 B
1362. boolector/test/log/smt2perr105.smt2 : 94 B
1363. boolector/test/log/rw182.btor : 94 B
1364. boolector/test/log/rw180.btor : 94 B
1365. boolector/test/log/eagerreadbug.btor : 94 B
1366. boolector/test/log/udivtheorem1.btor : 93 B
1367. boolector/test/log/seq1.btor : 93 B
1368. boolector/test/log/sqrt18446744073709551617.btor : 92 B
1369. boolector/test/log/rw187.btor : 92 B
1370. boolector/test/log/andopt6.btor : 92 B
1371. .gitmodules : 92 B
1372. boolector/test/log/rw186.btor : 91 B
1373. boolector/test/log/rw108.btor : 91 B
1374. boolector/test/log/getvalue2.out : 91 B
1375. boolector/test/log/sra_exp.out : 90 B
1376. boolector/test/log/smt2perr145.out : 90 B
1377. boolector/test/log/smt2perr137.out : 90 B
1378. boolector/test/log/smt2perr095.smt2 : 90 B
1379. boolector/test/log/smt2perr092.smt2 : 90 B
1380. boolector/test/log/rw185.btor : 90 B
1381. boolector/test/log/rw184.btor : 90 B
1382. boolector/test/log/modelgen20.btor : 90 B
1383. boolector/test/log/andopt3.btor : 90 B
1384. boolector/test/log/andopt2.btor : 90 B
1385. boolector/test/log/rw131.btor : 89 B
1386. boolector/test/log/rw130.btor : 89 B
1387. boolector/test/log/regaddnorm2.btor : 89 B
1388. boolector/test/log/andopt9.btor : 89 B
1389. boolector/test/log/smt2perr028.out : 88 B
1390. boolector/test/log/rw133.btor : 88 B
1391. boolector/test/log/rw132.btor : 88 B
1392. boolector/test/log/regrembeddedconstraint9.btor : 88 B
1393. boolector/test/log/peekpokelong.basic : 88 B
1394. boolector/test/log/smt2perr082.out : 87 B
1395. boolector/test/log/rw161.btor : 87 B
1396. boolector/test/log/rw160.btor : 87 B
1397. boolector/test/log/regrembeddedconstraint3.btor : 87 B
1398. boolector/test/log/read14.btor : 87 B
1399. boolector/test/log/read13.btor : 87 B
1400. boolector/test/log/smttrue.smt2 : 86 B
1401. boolector/test/log/smt2perr142.out : 86 B
1402. boolector/test/log/smt2perr103.smt2 : 86 B
1403. boolector/test/log/rw159.btor : 86 B
1404. boolector/test/log/rw158.btor : 86 B
1405. boolector/test/log/regrembeddedconstraint11.btor : 86 B
1406. boolector/test/log/substitute1.btor : 85 B
1407. boolector/test/log/smt2perr104.smt2 : 85 B
1408. boolector/test/log/smt2perr100.smt2 : 85 B
1409. boolector/test/log/smt2perr082.smt2 : 85 B
1410. boolector/test/log/sext_exp.out : 85 B
1411. boolector/test/log/smt2perr163.smt2 : 84 B
1412. boolector/test/log/smt2perr124.out : 84 B
1413. boolector/test/log/smt2perr101.smt2 : 84 B
1414. boolector/test/log/smt2perr064.out : 84 B
1415. boolector/test/log/smt2perr034.out : 84 B
1416. boolector/test/log/smt2perr008.smt2 : 84 B
1417. boolector/test/log/sqrt53.btor : 83 B
1418. boolector/test/log/sqrt49.btor : 83 B
1419. boolector/test/log/sqrt25.btor : 83 B
1420. boolector/test/log/smt2perr109.smt2 : 83 B
1421. boolector/test/log/smt2perr108.smt2 : 83 B
1422. boolector/test/log/smt2perr079.out : 83 B
1423. boolector/test/log/regr6srem-3.btor : 83 B
1424. boolector/test/log/regr6smod-3.btor : 83 B
1425. boolector/test/log/regr5srem-3.btor : 83 B
1426. boolector/test/log/regr5smod-3.btor : 83 B
1427. boolector/test/log/regr-6srem3.btor : 83 B
1428. boolector/test/log/regr-6smod3.btor : 83 B
1429. boolector/test/log/regr-5srem3.btor : 83 B
1430. boolector/test/log/regr-5smod3.btor : 83 B
1431. boolector/test/log/write1.btor : 82 B
1432. boolector/test/log/substitute9.btor : 82 B
1433. boolector/test/log/sqrt9.btor : 82 B
1434. boolector/test/log/sqrt4295098369.btor : 82 B
1435. boolector/test/log/sqrt4294967297.btor : 82 B
1436. boolector/test/log/sqrt4.btor : 82 B
1437. boolector/test/log/smt2perr069.out : 81 B
1438. boolector/test/log/concatslice2.btor : 81 B
1439. boolector/test/log/substitute8.btor : 80 B
1440. boolector/test/log/substitute7.btor : 80 B
1441. boolector/test/log/substitute5.btor : 80 B
1442. boolector/test/log/smt2pushpop0.smt2 : 80 B
1443. boolector/test/log/smt2perr136.out : 80 B
1444. boolector/test/log/smt2perr091.out : 80 B
1445. boolector/test/log/smt2perr019.out : 80 B
1446. boolector/test/log/seq0.btor : 80 B
1447. boolector/test/log/modelgen13.btor : 80 B
1448. boolector/test/log/smt2perr050.out : 79 B
1449. boolector/test/log/smt2perr027.out : 79 B
1450. boolector/test/log/rw27.btor : 79 B
1451. boolector/test/log/modelgen12.btor : 79 B
1452. boolector/test/log/concatslice1.btor : 79 B
1453. boolector/test/log/smt2perr095.out : 78 B
1454. boolector/test/log/smt2perr092.out : 78 B
1455. boolector/test/log/smt2perr089.smt2 : 78 B
1456. boolector/test/log/rw68.btor : 78 B
1457. boolector/test/log/rw67.btor : 78 B
1458. boolector/test/log/rw66.btor : 78 B
1459. boolector/test/log/rw64.btor : 78 B
1460. boolector/test/log/rw63.btor : 78 B
1461. boolector/test/log/rw62.btor : 78 B
1462. boolector/test/log/peekpoke.basic : 78 B
1463. boolector/test/log/modelgen5.btor : 78 B
1464. boolector/test/log/modelgen16.btor : 78 B
1465. boolector/test/log/echo.out : 78 B
1466. boolector/test/log/andopt5.btor : 78 B
1467. boolector/test/log/andopt4.btor : 78 B
1468. boolector/test/log/smt2perr137.smt2 : 77 B
1469. boolector/test/log/smt2perr051.out : 77 B
1470. boolector/test/log/arrayanderr.out : 77 B
1471. boolector/test/log/smt2perr155.out : 76 B
1472. boolector/test/log/smt2perr112.out : 76 B
1473. boolector/test/log/smt2perr068.out : 76 B
1474. boolector/test/log/smt2perr015.out : 76 B
1475. boolector/test/log/rw65.btor : 76 B
1476. boolector/test/log/rw61.btor : 76 B
1477. boolector/test/log/rw46.btor : 76 B
1478. boolector/test/log/bvxnor.axiom : 76 B
1479. boolector/test/log/arraycond15.btor : 76 B
1480. boolector/test/log/andopt17.btor : 76 B
1481. boolector/test/log/andopt14.btor : 76 B
1482. boolector/test/log/sqrt65537.btor : 75 B
1483. boolector/test/log/smt2perr162.smt2 : 75 B
1484. boolector/test/log/smt2perr111.out : 75 B
1485. boolector/test/log/smt2perr067.out : 75 B
1486. boolector/test/log/smt2perr038.out : 75 B
1487. boolector/test/log/read15.btor : 75 B
1488. boolector/test/log/headline5.btor : 75 B
1489. boolector/test/log/bvxor.axiom : 75 B
1490. boolector/test/log/xnor_exp.out : 74 B
1491. boolector/test/log/smt2perr117.out : 74 B
1492. boolector/test/log/smt2perr115.smt2 : 74 B
1493. boolector/test/log/smt2perr099.smt2 : 74 B
1494. boolector/test/log/smt2perr090.smt2 : 74 B
1495. boolector/test/log/smt2perr071.smt2 : 74 B
1496. boolector/test/log/nextcounter3.btor : 74 B
1497. boolector/test/log/nextcounter2.btor : 74 B
1498. boolector/test/log/headline4.btor : 74 B
1499. boolector/test/log/xor_exp.out : 73 B
1500. boolector/test/log/smt2perr164.out : 73 B
1501. boolector/test/log/smt2perr134.out : 73 B
1502. boolector/test/log/smt2perr107.smt2 : 73 B
1503. boolector/test/log/smt2perr072.out : 73 B
1504. boolector/test/log/smt2perr031.out : 73 B
1505. boolector/test/log/smt2perr029.out : 73 B
1506. boolector/test/log/nextcounter4.btor : 73 B
1507. boolector/test/log/cond_exp.out : 73 B
1508. boolector/test/log/andopt15.btor : 73 B
1509. boolector/examples/generators/umulo/makefile : 73 B
1510. boolector/examples/generators/smulo/makefile : 73 B
1511. boolector/test/log/smt2perr131.out : 72 B
1512. boolector/test/log/smt2perr061.out : 72 B
1513. boolector/test/log/smt2perr053.out : 72 B
1514. boolector/test/log/smt2perr044.out : 72 B
1515. boolector/test/log/smt2perr008.out : 72 B
1516. boolector/test/log/rw26.btor : 72 B
1517. boolector/test/log/write5red.btor : 71 B
1518. boolector/test/log/smt2perr112.smt2 : 71 B
1519. boolector/test/log/smt2perr062.out : 71 B
1520. boolector/test/log/smt2perr059.out : 71 B
1521. boolector/test/log/smt2perr055.out : 71 B
1522. boolector/test/log/smt2perr033.out : 71 B
1523. boolector/test/log/smt2perr030.out : 71 B
1524. boolector/test/log/smt2perr021.out : 71 B
1525. boolector/test/log/normaddneg3.btor : 71 B
1526. boolector/test/log/normaddneg2.btor : 71 B
1527. boolector/test/log/dumpbtor3.out : 71 B
1528. boolector/test/log/smtiff.out : 70 B
1529. boolector/test/log/smt2perr098.out : 70 B
1530. boolector/test/log/smt2perr074.smt2 : 70 B
1531. boolector/test/log/smt2perr063.out : 70 B
1532. boolector/test/log/smt2perr041.out : 70 B
1533. boolector/test/log/smt2perr014.out : 70 B
1534. boolector/test/log/smt2perr009.out : 70 B
1535. boolector/test/log/divrem.btor : 70 B
1536. boolector/test/log/smtxor.out : 69 B
1537. boolector/test/log/smtor.out : 69 B
1538. boolector/test/log/smt2perr160.out : 69 B
1539. boolector/test/log/smt2perr153.out : 69 B
1540. boolector/test/log/smt2perr152.out : 69 B
1541. boolector/test/log/smt2perr140.out : 69 B
1542. boolector/test/log/smt2perr123.out : 69 B
1543. boolector/test/log/smt2perr120.out : 69 B
1544. boolector/test/log/smt2perr118.out : 69 B
1545. boolector/test/log/smt2perr116.out : 69 B
1546. boolector/test/log/smt2perr102.out : 69 B
1547. boolector/test/log/smt2perr049.out : 69 B
1548. boolector/test/log/smt2perr045.out : 69 B
1549. boolector/test/log/simple.basic : 69 B
1550. boolector/test/log/smtandvar.out : 68 B
1551. boolector/test/log/smt2perr146.out : 68 B
1552. boolector/test/log/smt2perr042.out : 68 B
1553. boolector/test/log/smt2perr017.out : 68 B
1554. boolector/test/log/btorperr003.out : 68 B
1555. boolector/test/log/btorperr002.out : 68 B
1556. boolector/test/log/btorperr001.out : 68 B
1557. boolector/test/log/btorperr000.out : 68 B
1558. boolector/test/log/smt2perr139.out : 67 B
1559. boolector/test/log/smt2perr099.out : 67 B
1560. boolector/test/log/smt2perr038.smt2 : 67 B
1561. boolector/test/log/smt2perr032.out : 67 B
1562. boolector/test/log/smt2perr027.smt2 : 67 B
1563. boolector/test/log/smt2perr016.out : 67 B
1564. boolector/test/log/smt2perr013.out : 67 B
1565. boolector/test/log/smt2perr006.out : 67 B
1566. boolector/test/log/rw10.btor : 67 B
1567. boolector/test/log/regaddnorm1.btor : 67 B
1568. boolector/test/log/smt2perr103.out : 66 B
1569. boolector/test/log/smt2perr066.smt2 : 66 B
1570. boolector/test/log/smt2perr052.out : 66 B
1571. boolector/test/log/smt2perr020.out : 66 B
1572. boolector/test/log/smt2perr012.out : 66 B
1573. boolector/test/log/rw84.btor : 66 B
1574. boolector/test/log/ultsubst8.btor : 65 B
1575. boolector/test/log/ultsubst7.btor : 65 B
1576. boolector/test/log/ultsubst6.btor : 65 B
1577. boolector/test/log/substitute6.btor : 65 B
1578. boolector/test/log/smt2perr104.out : 65 B
1579. boolector/test/log/smt2perr056.out : 65 B
1580. boolector/test/log/smt2perr043.smt2 : 65 B
1581. boolector/test/log/rw85.btor : 65 B
1582. boolector/test/log/rw154.btor : 65 B
1583. boolector/test/log/smt2perr162.out : 64 B
1584. boolector/test/log/smt2perr144.out : 64 B
1585. boolector/test/log/smt2perr135.out : 64 B
1586. boolector/test/log/smt2perr058.out : 64 B
1587. boolector/test/log/rw81.btor : 64 B
1588. boolector/test/log/rw2.btor : 64 B
1589. boolector/test/log/rw155.btor : 64 B
1590. boolector/test/log/redand3twice.btor : 64 B
1591. boolector/test/log/andopt1.btor : 64 B
1592. boolector/examples/generators/csa/makefile : 64 B
1593. boolector/test/log/ultsubst5.btor : 63 B
1594. boolector/test/log/smt2perr165.out : 63 B
1595. boolector/test/log/smt2perr141.out : 63 B
1596. boolector/test/log/smt2perr090.out : 63 B
1597. boolector/test/log/smt2perr071.out : 63 B
1598. boolector/test/log/smt2perr040.out : 63 B
1599. boolector/test/log/smt2perr029.smt2 : 63 B
1600. boolector/test/log/slicesubst1.btor : 63 B
1601. boolector/test/log/rw83.btor : 63 B
1602. boolector/test/log/rw82.btor : 63 B
1603. boolector/test/log/rw7.btor : 63 B
1604. boolector/test/log/rw6.btor : 63 B
1605. boolector/test/log/rw5.btor : 63 B
1606. boolector/test/log/lin2.btor : 63 B
1607. boolector/test/log/lin1.btor : 63 B
1608. boolector/test/log/lin0.btor : 63 B
1609. boolector/test/log/ultsubst4.btor : 62 B
1610. boolector/test/log/ultsubst3.btor : 62 B
1611. boolector/test/log/smt2perr163.out : 62 B
1612. boolector/test/log/smt2perr109.out : 62 B
1613. boolector/test/log/smt2perr108.out : 62 B
1614. boolector/test/log/rw4.btor : 62 B
1615. boolector/test/log/rw11.btor : 62 B
1616. boolector/test/log/rw1.btor : 62 B
1617. boolector/test/log/regnegadd1.out : 62 B
1618. boolector/test/log/regnegadd1.btor : 62 B
1619. boolector/test/log/lambda1.btor : 62 B
1620. boolector/test/log/andopt16.btor : 62 B
1621. boolector/examples/api/c/boundsprop/.gitignore : 62 B
1622. boolector/test/log/ultsubst2.btor : 61 B
1623. boolector/test/log/smt2perr129.out : 61 B
1624. boolector/test/log/smt2perr124.smt2 : 61 B
1625. boolector/test/log/smt2perr115.out : 61 B
1626. boolector/test/log/smt2perr035.out : 61 B
1627. boolector/test/log/regrdomabst3.btor : 61 B
1628. boolector/test/log/lazyitex0.btor : 61 B
1629. boolector/test/log/inc_rwl3.btor : 61 B
1630. boolector/test/log/inc_rwl0.btor : 61 B
1631. boolector/test/log/inc.btor : 61 B
1632. boolector/test/log/dec_rwl3.btor : 61 B
1633. boolector/test/log/dec_rwl0.btor : 61 B
1634. boolector/test/log/ultsubst9.btor : 60 B
1635. boolector/test/log/smt2perr167.out : 60 B
1636. boolector/test/log/smt2perr150.out : 60 B
1637. boolector/test/log/smt2perr147.out : 60 B
1638. boolector/test/log/smt2perr061.smt2 : 60 B
1639. boolector/test/log/smt2perr054.out : 60 B
1640. boolector/test/log/smt2perr043.out : 60 B
1641. boolector/test/log/nondestr_subst18.out : 60 B
1642. boolector/test/log/ultsubst1.btor : 59 B
1643. boolector/test/log/smt2perr166.out : 59 B
1644. boolector/test/log/smt2perr138.out : 59 B
1645. boolector/test/log/smt2perr132.out : 59 B
1646. boolector/test/log/smt2perr101.out : 59 B
1647. boolector/test/log/smt2perr097.out : 59 B
1648. boolector/test/log/smt2perr088.out : 59 B
1649. boolector/test/log/smt2perr084.out : 59 B
1650. boolector/test/log/smt2perr083.out : 59 B
1651. boolector/test/log/smt2perr025.out : 59 B
1652. boolector/test/log/smt2perr024.out : 59 B
1653. boolector/test/log/smt2perr023.out : 59 B
1654. boolector/test/log/smt2perr022.out : 59 B
1655. boolector/test/log/smt2perr018.out : 59 B
1656. boolector/test/log/smt2perr011.out : 59 B
1657. boolector/test/log/smt2perr004.out : 59 B
1658. boolector/examples/generators/mulcom/makefile : 59 B
1659. boolector/examples/generators/mulass/makefile : 59 B
1660. boolector/examples/generators/hwb/makefile : 59 B
1661. boolector/examples/generators/addcom/makefile : 59 B
1662. boolector/examples/generators/addass/makefile : 59 B
1663. boolector/test/log/smt2perr133.out : 58 B
1664. boolector/test/log/smt2perr089.out : 58 B
1665. boolector/test/log/smt2perr046.out : 58 B
1666. boolector/test/log/lin3.btor : 58 B
1667. boolector/test/log/3vl2.btor : 58 B
1668. boolector/test/log/smt2perr087.out : 57 B
1669. boolector/test/log/smt2perr057.out : 57 B
1670. boolector/test/log/smt2perr037.out : 57 B
1671. boolector/test/log/smt2perr036.out : 57 B
1672. boolector/test/log/read_exp.out : 57 B
1673. boolector/test/log/dumpbtor3.btor : 57 B
1674. boolector/test/log/sqrt5.btor : 56 B
1675. boolector/test/log/sqrt31.btor : 56 B
1676. boolector/test/log/sqrt29.btor : 56 B
1677. boolector/test/log/sqrt13.btor : 56 B
1678. boolector/test/log/sqrt11.btor : 56 B
1679. boolector/test/log/smt2perr159.out : 56 B
1680. boolector/test/log/smt2perr148.out : 56 B
1681. boolector/test/log/smt2perr107.out : 56 B
1682. boolector/test/log/smt2perr086.out : 56 B
1683. boolector/test/log/smt2perr085.out : 56 B
1684. boolector/test/log/rw15.btor : 56 B
1685. boolector/test/log/rw14.btor : 56 B
1686. boolector/test/log/rw13.btor : 56 B
1687. boolector/test/log/dumpsmt1.btor : 56 B
1688. boolector/test/log/sqrt7.btor : 55 B
1689. boolector/test/log/smt2perr149.out : 55 B
1690. boolector/test/log/smt2perr127.out : 55 B
1691. boolector/test/log/smt2perr125.out : 55 B
1692. boolector/test/log/smt2perr123.smt2 : 55 B
1693. boolector/test/log/smt2perr113.out : 55 B
1694. boolector/test/log/rw8.btor : 55 B
1695. boolector/test/log/rw3.btor : 55 B
1696. boolector/test/log/smt2perr143.smt2 : 54 B
1697. boolector/test/log/smt2perr126.out : 54 B
1698. boolector/test/log/smt2perr047.out : 54 B
1699. boolector/test/log/smt2perr007.out : 54 B
1700. boolector/test/log/rw12.btor : 54 B
1701. boolector/test/log/mux.btor : 54 B
1702. boolector/test/log/twocomplementassub.btor : 53 B
1703. boolector/test/log/smt2perr161.out : 53 B
1704. boolector/test/log/smt2perr119.out : 53 B
1705. boolector/test/log/smt2perr074.out : 53 B
1706. boolector/test/log/smt2perr073.out : 53 B
1707. boolector/test/log/smt2perr060.out : 53 B
1708. boolector/test/log/smt2perr005.out : 53 B
1709. boolector/test/log/regpicoprepsqrt4.btor : 53 B
1710. boolector/test/log/bvuge.axiom : 53 B
1711. boolector/test/log/arrayeqerr2.out : 53 B
1712. boolector/test/log/arrayeqerr1.out : 53 B
1713. boolector/test/log/arrayeqerr0.out : 53 B
1714. boolector/test/log/smt2perr157.out : 52 B
1715. boolector/test/log/smt2perr077.out : 52 B
1716. boolector/test/log/smt2perr076.out : 52 B
1717. boolector/test/log/smt2perr075.out : 52 B
1718. boolector/test/log/smt2perr070.out : 52 B
1719. boolector/test/log/false.smt2 : 52 B
1720. boolector/test/log/concat_exp.out : 52 B
1721. boolector/test/log/true.smt2 : 51 B
1722. boolector/test/log/smt2perr130.out : 51 B
1723. boolector/test/log/smt2perr128.out : 51 B
1724. boolector/test/log/smt2perr088.smt2 : 51 B
1725. boolector/test/log/neg_exp.out : 51 B
1726. boolector/test/log/headline9.btor : 51 B
1727. boolector/test/log/exit.smt2 : 51 B
1728. boolector/test/log/urem_exp.out : 50 B
1729. boolector/test/log/uext_exp.out : 50 B
1730. boolector/test/log/udiv_exp.out : 50 B
1731. boolector/test/log/smt2perr066.out : 50 B
1732. boolector/test/log/smt2perr048.out : 50 B
1733. boolector/test/log/smt2perr039.out : 50 B
1734. boolector/test/log/inc_exp.out : 50 B
1735. boolector/test/log/smt2perr168.out : 49 B
1736. boolector/test/log/smt2perr117.smt2 : 49 B
1737. boolector/test/log/smt2perr064.smt2 : 49 B
1738. boolector/test/log/smt2perr002.smt2 : 49 B
1739. boolector/test/log/bvule.axiom : 49 B
1740. boolector/test/log/bvnand.axiom : 49 B
1741. boolector/test/log/ulte_exp.out : 48 B
1742. boolector/test/log/ugte_exp.out : 48 B
1743. boolector/test/log/or_exp.out : 48 B
1744. boolector/test/log/dumpbtor1.out : 48 B
1745. boolector/test/log/dumpbtor1.btor : 48 B
1746. boolector/test/log/ult_exp.out : 47 B
1747. boolector/test/log/ugt_exp.out : 47 B
1748. boolector/test/log/smt2perr050.smt2 : 47 B
1749. boolector/test/log/smt2perr034.smt2 : 47 B
1750. boolector/test/log/ext1.btor : 47 B
1751. boolector/test/log/bvnor.axiom : 47 B
1752. boolector/test/log/smt2perr158.out : 46 B
1753. boolector/test/log/smt2perr156.out : 46 B
1754. boolector/test/log/smt2perr096.smt2 : 46 B
1755. boolector/test/log/smt2perr003.out : 46 B
1756. boolector/test/log/modelgen11.btor : 46 B
1757. boolector/test/log/count03inc.out : 46 B
1758. boolector/test/log/arrayeqerr2.btor : 46 B
1759. boolector/test/log/srl_exp.out : 45 B
1760. boolector/test/log/smt2perr091.smt2 : 45 B
1761. boolector/test/log/sll_exp.out : 45 B
1762. boolector/test/log/rw43.btor : 45 B
1763. boolector/test/log/ne_exp.out : 45 B
1764. boolector/test/log/mul_exp.out : 45 B
1765. boolector/test/log/and_exp.out : 45 B
1766. boolector/test/log/add_exp.out : 45 B
1767. boolector/test/log/write11.btor : 44 B
1768. boolector/test/log/smt2perr151.out : 44 B
1769. boolector/test/log/smt2perr119.smt2 : 44 B
1770. boolector/test/log/smt2perr051.smt2 : 44 B
1771. boolector/test/log/rw45.btor : 44 B
1772. boolector/test/log/rw44.btor : 44 B
1773. boolector/test/log/regaddnorm1.out : 44 B
1774. boolector/test/log/eq_exp.out : 44 B
1775. boolector/test/log/div.btor : 44 B
1776. boolector/test/log/dec_exp.out : 44 B
1777. boolector/test/log/cond_aig.out : 44 B
1778. boolector/test/log/bvsub.axiom : 44 B
1779. boolector/test/log/arrayeqerr1.btor : 44 B
1780. boolector/test/log/arrayeqerr0.btor : 44 B
1781. boolector/examples/generators/fadd/makefile : 44 B
1782. boolector/test/log/smt2perr078.smt2 : 43 B
1783. boolector/test/log/smt2perr065.out : 43 B
1784. boolector/test/log/smt2perr035.smt2 : 43 B
1785. boolector/test/log/smt2perr032.smt2 : 43 B
1786. boolector/test/log/rw42.btor : 43 B
1787. boolector/test/log/redor_exp.out : 43 B
1788. boolector/test/log/redand_exp.out : 43 B
1789. boolector/test/log/mul.btor : 43 B
1790. boolector/test/log/add.btor : 43 B
1791. boolector/src/makefile : 43 B
1792. boolector/test/log/smt2perr046.smt2 : 42 B
1793. boolector/test/log/sll.btor : 42 B
1794. boolector/test/log/count03to6.out : 42 B
1795. boolector/test/log/smt2perr136.smt2 : 41 B
1796. boolector/test/log/smt2perr045.smt2 : 41 B
1797. boolector/test/log/smt2perr037.smt2 : 41 B
1798. boolector/test/log/smt2perr033.smt2 : 41 B
1799. boolector/test/log/smt2perr026.smt2 : 41 B
1800. boolector/test/log/slice_exp.out : 41 B
1801. boolector/examples/generators/pjex/makefile : 41 B
1802. boolector/test/log/xor_aig.out : 40 B
1803. boolector/test/log/smt2perr165.smt2 : 40 B
1804. boolector/test/log/smt2perr121.smt2 : 40 B
1805. boolector/test/log/smt2perr116.smt2 : 40 B
1806. boolector/test/log/eq_aig.out : 40 B
1807. boolector/test/log/count03plus2inc.out : 40 B
1808. boolector/test/log/bvugt.axiom : 40 B
1809. boolector/test/log/bvsgt.axiom : 40 B
1810. boolector/test/log/bvsge.axiom : 40 B
1811. boolector/examples/btormc/.gitignore : 40 B
1812. boolector/test/log/smtnotvar.out : 39 B
1813. boolector/test/log/smt2perr049.smt2 : 39 B
1814. boolector/test/log/smt2perr007.smt2 : 39 B
1815. boolector/test/log/smtvar.out : 38 B
1816. boolector/test/log/smt2perr047.smt2 : 38 B
1817. boolector/test/log/smt2perr044.smt2 : 38 B
1818. boolector/test/log/smt2perr028.smt2 : 38 B
1819. boolector/test/log/smt2perr006.smt2 : 38 B
1820. boolector/test/log/regrw8simp.btor : 38 B
1821. boolector/test/log/proxybug.btor : 38 B
1822. boolector/test/log/smt2perr098.smt2 : 37 B
1823. boolector/test/log/smt2perr048.smt2 : 37 B
1824. boolector/examples/generators/sbls/makefile : 37 B
1825. boolector/test/log/smt2perr135.smt2 : 36 B
1826. boolector/test/log/smt2perr110.smt2 : 36 B
1827. boolector/test/log/smt2perr067.smt2 : 36 B
1828. boolector/test/log/smt2perr021.smt2 : 36 B
1829. boolector/test/log/smt2perr001.smt2 : 36 B
1830. boolector/test/log/smt2perr000.smt2 : 36 B
1831. boolector/test/log/modelgen4.btor : 36 B
1832. boolector/test/log/modelgen3.btor : 36 B
1833. boolector/test/log/arrayanderr.btor : 36 B
1834. boolector/test/log/smt2perr114.smt2 : 35 B
1835. boolector/test/log/smt2perr011.smt2 : 35 B
1836. boolector/test/log/modelgen2.btor : 35 B
1837. boolector/test/log/hash_str2str.out : 35 B
1838. boolector/test/log/ext10.btor : 35 B
1839. .gitignore : 35 B
1840. boolector/test/log/smt2perr164.smt2 : 34 B
1841. boolector/test/log/smt2perr087.smt2 : 34 B
1842. boolector/test/log/smt2perr072.smt2 : 34 B
1843. boolector/test/log/smt2perr018.smt2 : 34 B
1844. boolector/test/log/nexttoggle.btor : 34 B
1845. boolector/test/log/smt2perr142.smt2 : 33 B
1846. boolector/test/log/varread.btor : 32 B
1847. boolector/test/log/smt2perr118.smt2 : 32 B
1848. boolector/test/log/smt2perr039.smt2 : 32 B
1849. boolector/test/log/rw9.btor : 32 B
1850. boolector/test/log/readvar.out : 32 B
1851. boolector/test/log/const2.btor : 32 B
1852. boolector/test/log/array_exp.out : 32 B
1853. boolector/examples/api/c/doublereversearray/.gitignore : 32 B
1854. boolector/test/log/smt2perr140.smt2 : 31 B
1855. boolector/test/log/smt2perr063.smt2 : 31 B
1856. boolector/test/log/redor3.btor : 31 B
1857. boolector/test/log/smt2perr041.smt2 : 30 B
1858. boolector/test/log/exita.basic : 30 B
1859. boolector/examples/api/c/selectionsortmem/.gitignore : 30 B
1860. boolector/test/log/smt2perr160.smt2 : 29 B
1861. boolector/test/log/smt2perr084.smt2 : 29 B
1862. boolector/test/log/smt2perr040.smt2 : 29 B
1863. boolector/test/log/smt2perr134.smt2 : 28 B
1864. boolector/test/log/smt2perr042.smt2 : 28 B
1865. boolector/examples/api/c/matrixmultcomm/.gitignore : 28 B
1866. boolector/test/log/unsigned_to_exp.out : 27 B
1867. boolector/test/log/smt2perr159.smt2 : 27 B
1868. boolector/test/log/smt2perr060.smt2 : 27 B
1869. boolector/test/log/smt2perr036.smt2 : 27 B
1870. boolector/test/log/one_exp.out : 27 B
1871. boolector/test/log/max_signed_exp.out : 27 B
1872. boolector/test/log/const_exp.out : 27 B
1873. boolector/examples/api/c/selectionsort/.gitignore : 27 B
1874. boolector/examples/api/c/matrixmultass/.gitignore : 27 B
1875. boolector/examples/api/c/bubblesortmem/.gitignore : 27 B
1876. boolector/test/log/smt2perr141.smt2 : 26 B
1877. boolector/test/log/smt2perr113.smt2 : 26 B
1878. boolector/test/log/smt2perr057.smt2 : 26 B
1879. boolector/test/log/or_aig.out : 26 B
1880. boolector/test/log/min_signed_exp.out : 26 B
1881. boolector/test/log/and_aig.out : 26 B
1882. boolector/examples/api/c/nextpowerof2/.gitignore : 26 B
1883. boolector/examples/api/c/linearsearch/.gitignore : 26 B
1884. boolector/examples/api/c/binarysearch/.gitignore : 26 B
1885. boolector/test/log/smt2perr132.smt2 : 25 B
1886. boolector/test/log/smt2perr086.smt2 : 25 B
1887. boolector/test/log/smt2perr069.smt2 : 25 B
1888. boolector/test/log/smt2perr056.smt2 : 25 B
1889. boolector/examples/generators/writechains/.gitignore : 25 B
1890. boolector/test/log/smt2perr122.smt2 : 24 B
1891. boolector/test/log/smt2perr075.smt2 : 24 B
1892. boolector/test/log/smt2perr059.smt2 : 24 B
1893. boolector/test/log/smt2perr058.smt2 : 24 B
1894. boolector/examples/generators/mulcom/.gitignore : 24 B
1895. boolector/examples/generators/mulass/.gitignore : 24 B
1896. boolector/examples/generators/addcom/.gitignore : 24 B
1897. boolector/examples/generators/addass/.gitignore : 24 B
1898. boolector/examples/api/c/ispowerof2/.gitignore : 24 B
1899. boolector/examples/api/c/bubblesort/.gitignore : 24 B
1900. boolector/test/log/smt2perr125.smt2 : 23 B
1901. boolector/test/log/smt2perr077.smt2 : 23 B
1902. boolector/test/log/not_exp.out : 23 B
1903. boolector/examples/generators/countbits/.gitignore : 23 B
1904. boolector/test/log/write_exp.out : 22 B
1905. boolector/test/log/var_exp.out : 22 B
1906. boolector/test/log/smt2perr158.smt2 : 22 B
1907. boolector/test/log/getvalue1.out : 22 B
1908. boolector/test/log/count02inc.out : 22 B
1909. boolector/test/log/smt2perr146.smt2 : 21 B
1910. boolector/test/log/smt2perr144.smt2 : 21 B
1911. boolector/test/log/smt2perr139.smt2 : 21 B
1912. boolector/test/log/smt2perr133.smt2 : 21 B
1913. boolector/test/log/smt2perr017.smt2 : 21 B
1914. boolector/test/log/regaddnorm2.out : 21 B
1915. boolector/test/log/ones_exp.out : 21 B
1916. boolector/test/log/concatslice1.out : 21 B
1917. boolector/examples/api/c/swapmem/.gitignore : 21 B
1918. boolector/examples/api/c/array/.gitignore : 21 B
1919. boolector/test/log/zero_exp.out : 20 B
1920. boolector/test/log/var2.btor : 20 B
1921. boolector/test/log/smt2perr168.smt2 : 20 B
1922. boolector/test/log/smt2perr161.smt2 : 20 B
1923. boolector/test/log/smt2perr055.smt2 : 20 B
1924. boolector/test/log/smt2perr030.smt2 : 20 B
1925. boolector/test/log/normalize_mul_incomplete.out : 20 B
1926. boolector/test/log/normalize_and_incomplete.out : 20 B
1927. boolector/test/log/normalize_add_incomplete.out : 20 B
1928. boolector/test/log/exit1_exit0.basic : 20 B
1929. boolector/test/log/exit0_exit1.basic : 20 B
1930. boolector/test/log/concatslice2.out : 20 B
1931. boolector/examples/api/c/memcpy/.gitignore : 20 B
1932. boolector/test/log/var1.btor : 19 B
1933. boolector/test/log/smt2perr150.smt2 : 19 B
1934. boolector/test/log/smt2perr138.smt2 : 19 B
1935. boolector/test/log/smt2perr083.smt2 : 19 B
1936. boolector/test/log/smt2perr009.smt2 : 19 B
1937. boolector/test/log/var_aig.out : 18 B
1938. boolector/test/log/smt2perr149.smt2 : 18 B
1939. boolector/test/log/smt2perr145.smt2 : 18 B
1940. boolector/test/log/smt2perr031.smt2 : 18 B
1941. boolector/test/log/smt2perr015.smt2 : 18 B
1942. boolector/test/log/smt2perr014.smt2 : 18 B
1943. boolector/test/log/not_aig.out : 18 B
1944. boolector/test/log/count02incuns.out : 18 B
1945. boolector/examples/generators/hwb/.gitignore : 18 B
1946. boolector/.gitignore : 18 B
1947. boolector/test/log/smt2perr129.smt2 : 17 B
1948. boolector/test/log/smt2perr120.smt2 : 17 B
1949. boolector/test/log/smt2perr097.smt2 : 17 B
1950. boolector/test/log/smt2perr012.smt2 : 17 B
1951. boolector/examples/api/c/max/.gitignore : 17 B
1952. boolector/test/log/true_aig.out : 16 B
1953. boolector/test/log/smt2perr157.smt2 : 16 B
1954. boolector/test/log/smt2perr153.smt2 : 16 B
1955. boolector/test/log/smt2perr152.smt2 : 16 B
1956. boolector/test/log/smt2perr147.smt2 : 16 B
1957. boolector/test/log/smt2perr127.smt2 : 16 B
1958. boolector/test/log/smt2perr013.smt2 : 16 B
1959. boolector/test/log/smt2perr004.smt2 : 16 B
1960. boolector/test/log/nondestr_subst19.out : 16 B
1961. boolector/test/log/false_aig.out : 16 B
1962. boolector/examples/api/c/sudoku/.gitignore : 16 B
1963. boolector/test/log/smt2perr167.smt2 : 15 B
1964. boolector/test/log/smt2perr130.smt2 : 15 B
1965. boolector/test/log/smt2perr126.smt2 : 15 B
1966. boolector/test/log/smt2perr085.smt2 : 15 B
1967. boolector/test/log/smt2perr166.smt2 : 14 B
1968. boolector/test/log/smt2perr131.smt2 : 14 B
1969. boolector/test/log/smt2perr128.smt2 : 14 B
1970. boolector/test/log/smt2perr111.smt2 : 14 B
1971. boolector/test/log/smt2perr073.smt2 : 14 B
1972. boolector/test/log/smt2perr151.smt2 : 13 B
1973. boolector/test/log/smt2perr070.smt2 : 13 B
1974. boolector/test/log/smt2perr053.smt2 : 13 B
1975. boolector/test/log/regr5smod-3.out : 13 B
1976. boolector/test/log/regr-5srem3.out : 13 B
1977. boolector/examples/generators/mulhs/.gitignore : 13 B
1978. boolector/examples/generators/isqrt/.gitignore : 13 B
1979. boolector/examples/generators/icbrt/.gitignore : 13 B
1980. boolector/test/log/smt2perr076.smt2 : 12 B
1981. boolector/test/log/smt2perr065.smt2 : 12 B
1982. boolector/test/log/regr6srem-3.out : 12 B
1983. boolector/test/log/regr6smod-3.out : 12 B
1984. boolector/test/log/regr5srem-3.out : 12 B
1985. boolector/test/log/regr-6srem3.out : 12 B
1986. boolector/test/log/regr-6smod3.out : 12 B
1987. boolector/test/log/regr-5smod3.out : 12 B
1988. boolector/test/log/nondestr_subst9.out : 12 B
1989. boolector/test/log/nondestr_subst8.out : 12 B
1990. boolector/test/log/nondestr_subst2.out : 12 B
1991. boolector/test/log/nondestr_subst1.out : 12 B
1992. boolector/examples/generators/adder/.gitignore : 12 B
1993. boolector/test/log/smt2perr062.smt2 : 11 B
1994. boolector/test/log/smt2perr054.smt2 : 11 B
1995. boolector/examples/generators/pjex/.gitignore : 11 B
1996. boolector/test/log/smt2perr148.smt2 : 10 B
1997. boolector/test/log/smt2perr052.smt2 : 10 B
1998. boolector/test/log/nondestr_subst5.out : 10 B
1999. boolector/test/log/nondestr_subst4.out : 10 B
2000. boolector/test/log/nondestr_subst17.out : 10 B
2001. boolector/test/log/nondestr_subst16.out : 10 B
2002. boolector/test/log/nondestr_subst15.out : 10 B
2003. boolector/test/log/nondestr_subst14.out : 10 B
2004. boolector/test/log/nondestr_subst13.out : 10 B
2005. boolector/test/log/nondestr_subst12.out : 10 B
2006. boolector/test/log/nondestr_subst11.out : 10 B
2007. boolector/test/log/nondestr_subst10.out : 10 B
2008. boolector/test/log/exit1.basic : 10 B
2009. boolector/test/log/exit0.basic : 10 B
2010. boolector/test/log/smt2perr156.smt2 : 9 B
2011. boolector/test/log/smt2perr005.smt2 : 9 B
2012. boolector/src/mcapi/.gitignore : 9 B
2013. boolector/contrib/.gitignore : 9 B
2014. boolector/test/log/smt2perr019.smt2 : 8 B
2015. boolector/test/log/painc.out : 8 B
2016. boolector/test/log/nondestr_subst20.out : 8 B
2017. boolector/examples/api/c/bv/.gitignore : 8 B
2018. boolector/examples/generators/csa/.gitignore : 7 B
2019. boolector/test/log/smt2perr155.smt2 : 6 B
2020. boolector/test/log/smt2perr016.smt2 : 6 B
2021. boolector/test/log/regexit0basic.out : 6 B
2022. boolector/test/log/nextcounter4.out : 6 B
2023. boolector/test/log/nextcounter1.out : 6 B
2024. boolector/test/log/nextautomata4.out : 6 B
2025. boolector/test/log/nextautomata3.out : 6 B
2026. boolector/test/log/nextarray6.out : 6 B
2027. boolector/test/log/nextarray5.out : 6 B
2028. boolector/test/log/nextarray3.out : 6 B
2029. boolector/test/log/nextarray2.out : 6 B
2030. boolector/test/log/nextarray1.out : 6 B
2031. boolector/test/log/headline13.out : 6 B
2032. boolector/test/log/.gitignore : 6 B
2033. boolector/examples/generators/smulo/.gitignore : 6 B
2034. boolector/examples/generators/sbls/.gitignore : 5 B
2035. boolector/test/log/substitute40.out : 4 B
2036. boolector/test/log/smt2perr025.smt2 : 4 B
2037. boolector/test/log/smt2perr023.smt2 : 4 B
2038. boolector/test/log/smt2perr022.smt2 : 4 B
2039. boolector/test/log/regrdomabst6.out : 4 B
2040. boolector/test/log/regrdomabst5.out : 4 B
2041. boolector/test/log/nondestr_subst7.out : 4 B
2042. boolector/test/log/nondestr_subst6.out : 4 B
2043. boolector/test/log/nondestr_subst3.out : 4 B
2044. boolector/test/log/nextcounter5.out : 4 B
2045. boolector/test/log/nextcounter3.out : 4 B
2046. boolector/test/log/nextcounter2.out : 4 B
2047. boolector/test/log/nextautomata2.out : 4 B
2048. boolector/test/log/nextautomata1.out : 4 B
2049. boolector/test/log/nextarrayinput1.out : 4 B
2050. boolector/test/log/nextarray8.out : 4 B
2051. boolector/test/log/nextarray7.out : 4 B
2052. boolector/test/log/nextarray4.out : 4 B
2053. boolector/test/log/headline9.out : 4 B
2054. boolector/test/log/headline8.out : 4 B
2055. boolector/test/log/headline7.out : 4 B
2056. boolector/test/log/headline6.out : 4 B
2057. boolector/test/log/headline5.out : 4 B
2058. boolector/test/log/headline4.out : 4 B
2059. boolector/test/log/headline3.out : 4 B
2060. boolector/test/log/headline2.out : 4 B
2061. boolector/test/log/headline16.out : 4 B
2062. boolector/test/log/headline15.out : 4 B
2063. boolector/test/log/headline14.out : 4 B
2064. boolector/test/log/headline12.out : 4 B
2065. boolector/test/log/headline11.out : 4 B
2066. boolector/test/log/headline10.out : 4 B
2067. boolector/test/log/headline1.out : 4 B
2068. boolector/test/log/smt2perr024.smt2 : 3 B
2069. boolector/test/log/smt2perr020.smt2 : 3 B
2070. boolector/test/log/smt2perr003.smt2 : 2 B
2071. boolector/test/log/const1.btor : 0 B