Fixed thread stop problem.
Merge branch 'master' of https://github.com/genghis88/HPS_SAT

Conf
Cleaned up main executable.