More precise memory usage accounting
Do more aggressive var-elimination
To avoid long streaks of randInt() in prober, pre-select vars
Use stamps for reachability
Stamping is best used after (virtual) lits have been added during varelim
We already filter for learnt(), no need to do it again
More comments