Text this: Linear Completeness Thresholds for Bounded Model Checking.