Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs