No need to DRUP-delete blocked clauses, they get DRUP-deleted automatically
Adding OTF subsumption to DRUP
Cleaning up drup
Fixing bug in OTF subsume DRUP
For DRUP, turn off cache&stamp from main.cpp, not solverconf
Different fuzz defaults