FTL vs. LTL: Choosing the Right Option