LTL Size Comparisons: How it Stacks Against the Best