Setting default value for clause mark
Using bogoprops to limit scc+varelim time pre-intree
Using ULL instead of LL in unsigned context
Ooops, this check was the wrong way around
Adding local glue avg multiplier to config
Use glue restart type all the time
Moving short term history size up in confing
Tuning some settings in config