total uncompressed bytes
138.3 MB
total files
19757
Waste by Extension
*.smt2
55.1 MB waste in 3858 files
*.118
28.1 MB waste in 9 files
*.c
25.4 MB waste in 1201 files
*.smt
11.3 MB waste in 828 files
*.h
3.2 MB waste in 947 files
*.btor
2.8 MB waste in 5889 files
*.cpp
2.6 MB waste in 216 files
*.cc
1.4 MB waste in 36 files
*.py
1.4 MB waste in 220 files
*.sh
1015.5 KB waste in 691 files
*.btor2
976.5 KB waste in 90 files
*.pyx
969.4 KB waste in 9 files
*.hh
770.2 KB waste in 18 files
*.out
633.5 KB waste in 4364 files
*.cmake
622.2 KB waste in 155 files
*.txt
481.1 KB waste in 54 files
no extension
427.1 KB waste in 622 files
*.rs
373.3 KB waste in 19 files
*.rst
217.1 KB waste in 36 files
*.pxd
180.2 KB waste in 9 files
Skipped 11 extensions totalling 407 files and 346.5 KB
Versions
0.7.1
Total
17.2 MB total in 2077 files
Waste in all versions
17.2 MB wasted in 2071 files
0.7.0
Total
17.2 MB total in 2077 files
Waste in all versions
17.2 MB wasted in 2071 files
0.6.3
Total
17.1 MB total in 2061 files
Waste in all versions
17.1 MB wasted in 2055 files
0.6.2
Total
42.5 KB total in 11 files
Waste in all versions
34.4 KB wasted in 5 files
0.6.1
Total
17.1 MB total in 2061 files
Waste in all versions
17.1 MB wasted in 2055 files
0.6.0
Total
17.1 MB total in 2061 files
Waste in all versions
17.1 MB wasted in 2055 files
0.5.0
Total
37.9 KB total in 10 files
Waste in all versions
34.4 KB wasted in 5 files
0.4.0
Total
17.1 MB total in 2056 files
Waste in all versions
17.1 MB wasted in 2051 files
0.3.1
Total
11.8 MB total in 2444 files
Waste in all versions
11.8 MB wasted in 2439 files
0.3.0
Total
11.8 MB total in 2439 files
Waste in all versions
11.8 MB wasted in 2434 files
0.2.0
Total
11.8 MB total in 2439 files
Waste in all versions
11.8 MB wasted in 2434 files
0.1.2
Total
3.8 KB total in 7 files
Waste in all versions
19 B wasted in 1 files
0.1.1
Total
3.7 KB total in 7 files
Waste in all versions
19 B wasted in 1 files
0.1.0
Total
3.8 KB total in 7 files
Waste in all versions
19 B wasted in 1 files