From 9c688f8e69fba4cbd666c3797051eb9182f578ed Mon Sep 17 00:00:00 2001 From: Vasilis Nasopoulos Date: Wed, 5 Aug 2026 17:44:13 +0300 Subject: [PATCH] ewd998: raise EWD998_proof budget from 4 to 6 minutes The 4-minute budget I set in #218 is marginal on the macOS runners. It passes most of the time and was killed at the wall in run 31000876116, with the proof itself unaffected: 54195 Killed: 9 timeout --signal=KILL 4m ... EWD998_proof.tla Measured locally with tlapm 4600b24 and --stretch 5: 86 seconds, all 850 obligations proved. CONTRIBUTING suggests budgeting up to twice the local time, which is where 4 came from; the macOS runner needed more than 2.8x. Six minutes gives roughly 4x local headroom. Co-authored-by: Claude Opus 5 Signed-off-by: Vasilis Nasopoulos --- specifications/ewd998/manifest.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specifications/ewd998/manifest.json b/specifications/ewd998/manifest.json index 9d8c35b8..5e4ee6aa 100644 --- a/specifications/ewd998/manifest.json +++ b/specifications/ewd998/manifest.json @@ -162,7 +162,7 @@ "features": [], "models": [], "proof": { - "maxRuntimeMinutes": 4 + "maxRuntimeMinutes": 6 } }, {