Seol mar théacs é seo: Accelerating invariant generation