Use the system in cluster129, and take <<24 as limit instead of <<30 during var bump
Cleaner code by cutting up for loop
Branch depth delta restart was never used, removing
In Searcher, no need to use solver->conf, just use "conf"
Adding reachability calculation and usage
Not cleaning histories of Searcher

And cheaper calculation for most histories
Removing useless space
Using config instead of fixed value and updating config for no dominator pick