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