SMS versenden: Accelerating invariant generation