Removing variability of variable activity
Better printing
Resetting global time multiplier at every solve()
Only do simplify at startup when it's the first startup
Print stats and save SQL stats for mem consolidation
A different way of scheduling reduceDB and simplifications
Faster reduceDB through watch smudging
Faster startup by doing less simplifications at first
Multiply time to do simplifications by a larger amount