genltl should have options to generate the formula from bench/ltl2tgba/formulae.ltl
These are not really scalable patterns, but it would help to have these formulas giving short example commands, especially with ltlcross.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information