In most cases, our servers can’t perform an exhaustive checking of all possible parameter sets. Therefore it is possible that model checking succeeded in the past even though some parameter sets take longer than the time limit to compute and you hit the limit with this upload.
Can you try re-uploading the model? If it fails again, try to isolate the problem and post a minimal version of the definition so we can have a closer look.