Loopless Top-K Planning