SMS versenden: Linear Completeness Thresholds for Bounded Model Checking.