Flip polar frequency can be changed in two ways. Fixing.
Keep more clauses in memory, do longer search runs in one go
Geometric restarts should increase faster
If a learnt clause didn't help at all, remove it without hesitation

Though this is highly unlikely, after half of them have been removed