Rigorous Global Search: Industrial Applications