total uncompressed bytes
28.8 MB
total files
3890
Waste by Extension
*.smt2
18.3 MB waste in 1146 files
*.c
5.5 MB waste in 176 files
*.cpp
2.4 MB waste in 88 files
*.h
906.7 KB waste in 190 files
*.btor
613.7 KB waste in 1316 files
*.in
241.5 KB waste in 6 files
*.cmake
158.7 KB waste in 44 files
*.out
141.2 KB waste in 734 files
*.txt
109.4 KB waste in 18 files
*.rs
88.9 KB waste in 2 files
*.pyx
75.6 KB waste in 2 files
*.py
59.1 KB waste in 12 files
*.patch
54.4 KB waste in 10 files
*.pxd
41.6 KB waste in 2 files
*.sh
41.3 KB waste in 32 files
*.rst
40.3 KB waste in 18 files
*.md
14.8 KB waste in 4 files
*.basic
5.6 KB waste in 24 files
no extension
5.4 KB waste in 14 files
*.bib
5.0 KB waste in 2 files
Skipped 4 extensions totalling 38 files and 12.3 KB