Finished the Lazy- and Pruned- SBA* algorithms, the results are great, i.e., Lazy-SBA* is really fast and just as good as SBA*.