Increase timeout due to new correctness checking