total uncompressed bytes

649.2 KB

total files

363

Waste by Extension

1. *.c

   259.3 KB waste in 10 files

2. *.btor2

   215.1 KB waste in 19 files

3. *.h

   41.2 KB waste in 10 files

4. *.cpp

   40.0 KB waste in 4 files

5. *.sh

   17.1 KB waste in 12 files

6. *.md

   13.6 KB waste in 2 files

7. *.txt

   11.1 KB waste in 6 files

8. *.out

   9.8 KB waste in 134 files

9. *.yml

   6.1 KB waste in 6 files

10. *.in

    4.2 KB waste in 134 files

11. no extension

    3.0 KB waste in 16 files

12. *.rs

    2.3 KB waste in 2 files

Versions

1. 1.1.0

   Total

   325.5 KB total in 182 files

   Waste in all versions

   311.9 KB wasted in 178 files

2. 1.0.0

   Total

   323.7 KB total in 181 files

   Waste in all versions

   311.0 KB wasted in 177 files