Enviar aquest missatge de text: Accelerating invariant generation