total uncompressed bytes
6.1 MB
total files
571
Fix
239 wasted files
total waste: 1.2 MB
- vendor/cadical/test/cnf/add128.cnf : 100.4 KB
- vendor/cadical/test/cnf/prime65537.cnf : 88.8 KB
- vendor/cadical/test/cnf/prime4294967297.cnf : 85.8 KB
- vendor/cadical/test/cnf/drat-trim.c : 61.5 KB
- vendor/cadical/test/cnf/add64.cnf : 52.7 KB
- vendor/cadical/test/cnf/prime2209.cnf : 45.4 KB
- vendor/cadical/test/cnf/factor2708413neg.cnf : 38.5 KB
- vendor/cadical/test/cnf/factor2708413pos.cnf : 38.3 KB
- vendor/cadical/test/cnf/prime1849.cnf : 35.9 KB
- vendor/cadical/test/cnf/prime1681.cnf : 35.9 KB
- vendor/cadical/test/cnf/prime1369.cnf : 35.9 KB
- vendor/cadical/test/cnf/prime961.cnf : 28.5 KB
- vendor/cadical/test/cnf/prime841.cnf : 28.5 KB
- vendor/cadical/test/cnf/prime529.cnf : 28.5 KB
- vendor/cadical/test/cnf/add32.cnf : 23.9 KB
- vendor/cadical/test/cnf/sqrt1042441.cnf : 22.7 KB
- vendor/cadical/test/cnf/prime361.cnf : 22.0 KB
- vendor/cadical/test/cnf/prime289.cnf : 22.0 KB
- vendor/cadical/test/cnf/sqrt259081.cnf : 17.9 KB
- vendor/cadical/test/cnf/prime169.cnf : 16.2 KB
- vendor/cadical/test/cnf/sqrt63001.cnf : 13.5 KB
- vendor/cadical/test/cnf/prime121.cnf : 11.3 KB
- vendor/cadical/test/cnf/add16.cnf : 10.9 KB
- vendor/cadical/test/cnf/sqrt11881.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt9409.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt10609.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt10201.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt11449.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt16129.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt7921.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt6241.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt5041.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt4489.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt6889.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt5329.cnf : 9.8 KB
- vendor/cadical/test/cnf/sqrt12769.cnf : 9.8 KB
- vendor/cadical/test/cnf/prime49.cnf : 7.2 KB
- vendor/cadical/test/cnf/run.sh : 6.6 KB
- vendor/cadical/test/cnf/sqrt2809.cnf : 6.6 KB
- vendor/cadical/test/cnf/sqrt3721.cnf : 6.6 KB
- vendor/cadical/test/cnf/sqrt3481.cnf : 6.6 KB
- vendor/cadical/test/cnf/precochk.c : 6.5 KB
- vendor/cadical/test/cnf/prime2209.sol : 5.9 KB
- tests/interface_test.rs : 5.2 KB
- vendor/cadical/test/cnf/prime1681.sol : 4.6 KB
- vendor/cadical/test/cnf/prime1369.sol : 4.6 KB
- vendor/cadical/test/cnf/prime1849.sol : 4.6 KB
- vendor/cadical/test/cnf/add8.cnf : 4.5 KB
- vendor/cadical/test/cnf/prime25.cnf : 4.0 KB
- vendor/cadical/test/cnf/prime841.sol : 3.7 KB
- vendor/cadical/test/cnf/prime529.sol : 3.7 KB
- vendor/cadical/test/cnf/prime961.sol : 3.6 KB
- vendor/cadical/test/usage/run.sh : 3.6 KB
- vendor/ipasir/app/incplan/src/incplan/src/unit_tests/TestTimeSlotMapping.cpp : 3.2 KB
- vendor/cadical/test/api/cfreeze.c : 3.1 KB
- vendor/cadical/test/api/traverse.cpp : 3.0 KB
- vendor/cadical/test/cnf/sqrt1042441.sol : 3.0 KB
- vendor/cadical/test/api/run.sh : 2.8 KB
- vendor/cadical/test/cnf/prime289.sol : 2.8 KB
- vendor/cadical/test/cnf/prime361.sol : 2.8 KB
- vendor/cadical/test/cnf/full7.cnf : 2.5 KB
- vendor/cadical/test/api/example.cpp : 2.4 KB
- vendor/cadical/test/cnf/sqrt259081.sol : 2.4 KB
- vendor/cadical/test/api/cipasir.c : 2.3 KB
- vendor/ipasir/app/incplan/src/incplan/src/unit_tests/TestTimePointBasedSolver.cpp : 2.3 KB
- vendor/cadical/test/cnf/prime169.sol : 2.1 KB
- vendor/cadical/test/trace/run.sh : 2.0 KB
- vendor/cadical/test/icnf/run.sh : 2.0 KB
- vendor/cadical/test/README.md : 1.9 KB
- vendor/cadical/test/cnf/prime9.cnf : 1.8 KB
- vendor/cadical/test/cnf/sqrt63001.sol : 1.8 KB
- tests/coloring_test.rs : 1.8 KB
- vendor/cadical/test/cnf/add4.cnf : 1.6 KB
- vendor/cadical/test/api/learn.cpp : 1.6 KB
- vendor/cadical/test/mbt/run.sh : 1.5 KB
- vendor/cadical/test/cnf/prime121.sol : 1.5 KB
- vendor/cadical/test/cnf/ph6.cnf : 1.4 KB
- vendor/cadical/test/cnf/sqrt16129.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt11881.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt10609.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt11449.sol : 1.3 KB
- vendor/cadical/test/api/apitrace.cpp : 1.3 KB
- vendor/cadical/test/cnf/sqrt6241.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt9409.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt10201.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt6889.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt12769.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt7921.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt5329.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt5041.sol : 1.3 KB
- vendor/cadical/test/cnf/sqrt4489.sol : 1.3 KB
- vendor/cadical/test/cnf/full6.cnf : 1.1 KB
- vendor/cadical/test/cnf/README.md : 1.0 KB
- vendor/cadical/test/cnf/prime49.sol : 939 B
- vendor/cadical/test/api/terminate.cpp : 925 B
- vendor/cadical/test/cnf/sqrt2809.sol : 914 B
- vendor/cadical/test/cnf/sqrt3721.sol : 913 B
- vendor/cadical/test/cnf/sqrt3481.sol : 912 B
- vendor/cadical/test/trace/reg0027.trace : 856 B
- vendor/cadical/test/cnf/ph5.cnf : 810 B
- vendor/cadical/test/trace/reg0052.trace : 700 B
- vendor/cadical/test/api/ctest.c : 668 B
- vendor/cadical/test/trace/reg0029.trace : 629 B
- vendor/cadical/test/api/unit.cpp : 624 B
- vendor/cadical/test/trace/reg0041.trace : 595 B
- vendor/ipasir/app/incplan/src/incplan/src/libs/ipasir/test/mock_ipasir_cpp.h : 569 B
- vendor/cadical/test/cnf/prime25.sol : 527 B
- vendor/cadical/test/trace/reg0048.trace : 523 B
- vendor/cadical/test/cnf/prime4.cnf : 502 B
- vendor/cadical/test/cnf/full5.cnf : 475 B
- vendor/cadical/test/usage/README.md : 472 B
- vendor/cadical/test/api/morenmore.cpp : 438 B
- vendor/cadical/test/cnf/ph4.cnf : 437 B
- vendor/cadical/test/api/README.md : 381 B
- vendor/cadical/test/trace/reg0031.trace : 380 B
- vendor/cadical/test/trace/reg0008.trace : 373 B
- vendor/cadical/test/trace/reg0050.trace : 345 B
- vendor/cadical/test/trace/reg0049.trace : 345 B
- vendor/cadical/test/trace/reg0051.trace : 334 B
- vendor/cadical/test/mbt/README.md : 314 B
- vendor/cadical/test/trace/reg0030.trace : 298 B
- vendor/cadical/test/trace/reg0042.trace : 284 B
- vendor/cadical/test/trace/reg0040.trace : 283 B
- vendor/cadical/test/trace/README.md : 254 B
- vendor/cadical/test/trace/reg0038.trace : 253 B
- vendor/cadical/test/trace/reg0026.trace : 249 B
- vendor/cadical/test/cnf/prime9.sol : 245 B
- vendor/cadical/test/trace/reg0017.trace : 209 B
- vendor/cadical/test/trace/reg0033.trace : 208 B
- vendor/cadical/test/cnf/full4.cnf : 203 B
- vendor/cadical/test/cnf/ph3.cnf : 200 B
- vendor/cadical/test/trace/reg0035.trace : 199 B
- vendor/cadical/test/makefile : 195 B
- vendor/cadical/test/trace/reg0037.trace : 194 B
- vendor/cadical/test/trace/reg0043.trace : 192 B
- vendor/cadical/test/trace/reg0000.trace : 179 B
- vendor/cadical/test/trace/reg0024.trace : 174 B
- vendor/cadical/test/trace/reg0016.trace : 174 B
- vendor/cadical/test/trace/reg0015.trace : 166 B
- vendor/cadical/test/trace/reg0020.trace : 162 B
- vendor/cadical/test/trace/reg0019.trace : 150 B
- vendor/cadical/test/trace/reg0018.trace : 149 B
- vendor/cadical/test/api/newdelete.cpp : 131 B
- vendor/cadical/test/trace/reg0055.trace : 125 B
- vendor/cadical/test/trace/reg0032.trace : 119 B
- vendor/cadical/test/trace/reg0045.trace : 118 B
- vendor/cadical/test/trace/reg0039.trace : 110 B
- vendor/cadical/test/trace/reg0028.trace : 110 B
- vendor/cadical/test/trace/reg0046.trace : 109 B
- vendor/cadical/test/trace/reg0014.trace : 109 B
- vendor/cadical/test/trace/reg0047.trace : 107 B
- vendor/cadical/test/trace/reg0034.trace : 106 B
- vendor/cadical/test/cnf/elimclash.cnf : 105 B
- vendor/cadical/test/cnf/elimredundant.cnf : 103 B
- vendor/cadical/test/trace/reg0021.trace : 102 B
- vendor/cadical/test/mbt/makefile : 101 B
- vendor/cadical/test/trace/reg0012.trace : 100 B
- vendor/cadical/test/trace/reg0006.trace : 100 B
- vendor/cadical/test/api/makefile : 99 B
- vendor/cadical/test/trace/reg0010.trace : 98 B
- vendor/cadical/test/usage/makefile : 95 B
- vendor/cadical/test/trace/reg0036.trace : 95 B
- vendor/cadical/test/trace/reg0044.trace : 94 B
- vendor/cadical/test/cnf/makefile : 91 B
- vendor/cadical/test/cnf/sat9.cnf : 87 B
- vendor/cadical/test/cnf/sat8.cnf : 87 B
- vendor/cadical/test/cnf/sat7.cnf : 87 B
- vendor/cadical/test/cnf/sat6.cnf : 87 B
- vendor/cadical/test/cnf/sat13.cnf : 87 B
- vendor/cadical/test/cnf/sat12.cnf : 87 B
- vendor/cadical/test/cnf/sat11.cnf : 87 B
- vendor/cadical/test/cnf/sat10.cnf : 87 B
- vendor/cadical/test/cnf/sat5.cnf : 86 B
- vendor/cadical/test/cnf/full3.cnf : 86 B
- vendor/cadical/test/trace/reg0011.trace : 85 B
- vendor/cadical/test/trace/reg0013.trace : 82 B
- vendor/cadical/test/trace/makefile : 81 B
- vendor/cadical/test/cnf/prime4.sol : 80 B
- vendor/cadical/test/trace/reg0023.trace : 79 B
- vendor/cadical/test/cnf/ph2.cnf : 76 B
- vendor/cadical/test/trace/reg0009.trace : 73 B
- vendor/cadical/test/trace/reg0004.trace : 73 B
- vendor/cadical/test/trace/reg0005.trace : 67 B
- vendor/cadical/test/trace/reg0007.trace : 65 B
- vendor/cadical/test/icnf/two1.icnf : 65 B
- vendor/cadical/test/icnf/two2.icnf : 64 B
- vendor/cadical/test/cnf/block0.cnf : 64 B
- vendor/cadical/test/cnf/unit5.cnf : 63 B
- vendor/cadical/test/trace/reg0022.trace : 54 B
- vendor/cadical/test/trace/reg0003.trace : 54 B
- vendor/cadical/test/cnf/unit7.cnf : 52 B
- vendor/cadical/test/trace/reg0002.trace : 48 B
- vendor/cadical/test/cnf/regr000.sol : 48 B
- vendor/cadical/test/trace/reg0054.trace : 45 B
- vendor/cadical/test/trace/reg0025.trace : 45 B
- vendor/cadical/test/usage/relaxed-header.cnf : 43 B
- vendor/cadical/test/cnf/unit6.cnf : 39 B
- vendor/cadical/test/cnf/sat4.cnf : 39 B
- vendor/cadical/test/cnf/sat3.cnf : 39 B
- vendor/cadical/test/cnf/sat2.cnf : 39 B
- vendor/cadical/test/cnf/sat1.cnf : 39 B
- vendor/cadical/test/cnf/sat0.cnf : 38 B
- vendor/cadical/test/cnf/full2.cnf : 38 B
- vendor/cadical/test/trace/reg0053.trace : 35 B
- vendor/cadical/test/cnf/unit4.cnf : 28 B
- vendor/cadical/test/cnf/sat13.sol : 27 B
- vendor/cadical/test/cnf/sat9.sol : 26 B
- vendor/cadical/test/cnf/sat12.sol : 26 B
- vendor/cadical/test/cnf/sat11.sol : 26 B
- vendor/cadical/test/cnf/sat8.sol : 25 B
- vendor/cadical/test/cnf/sat7.sol : 25 B
- vendor/cadical/test/cnf/sat10.sol : 25 B
- vendor/cadical/test/cnf/unit3.sol : 24 B
- vendor/cadical/test/cnf/sub0.cnf : 24 B
- vendor/cadical/test/cnf/sat6.sol : 24 B
- vendor/cadical/test/cnf/sat4.sol : 24 B
- vendor/cadical/test/trace/reg0001.trace : 23 B
- vendor/cadical/test/cnf/sat3.sol : 23 B
- vendor/cadical/test/cnf/sat2.sol : 23 B
- vendor/cadical/test/cnf/unit3.cnf : 22 B
- vendor/cadical/test/cnf/unit2.sol : 22 B
- vendor/cadical/test/cnf/sat1.sol : 22 B
- vendor/cadical/test/cnf/unit2.cnf : 21 B
- vendor/cadical/test/cnf/unit1.sol : 21 B
- vendor/cadical/test/icnf/unit1.icnf : 20 B
- vendor/cadical/test/cnf/unit0.sol : 20 B
- vendor/cadical/test/icnf/unit2.icnf : 19 B
- vendor/cadical/test/cnf/full1.cnf : 19 B
- vendor/cadical/test/cnf/empty.sol : 18 B
- vendor/cadical/test/cnf/regr000.cnf : 16 B
- vendor/cadical/test/cnf/unit1.cnf : 15 B
- vendor/cadical/test/usage/variable-too-large.cnf : 14 B
- vendor/cadical/test/usage/missing-clause.cnf : 14 B
- vendor/cadical/test/cnf/unit0.cnf : 14 B
- vendor/ipasir/app/incplan/src/incplan/build/.gitignore : 13 B
- vendor/cadical/test/cnf/false.cnf : 12 B
- vendor/cadical/test/icnf/false.icnf : 11 B
- vendor/cadical/test/cnf/empty.cnf : 10 B
- vendor/cadical/test/icnf/empty.icnf : 9 B