Before revision:  We provide a theoretical analysis regarding SMP*s probabilistic completeness and asymptotic optimality.
After revision:  We provide a theoretical analysis regarding PSM*s probabilistic completeness and asymptotic optimality.