From be97a49e1b74d3360b2900452739ea3fbdd59e35 Mon Sep 17 00:00:00 2001
From: Jorge Sousa Pinto <jsp@di.uminho.pt>
Date: Wed, 17 Apr 2024 17:54:46 +0100
Subject: [PATCH] fixed time limits in proof sessions

---
 .../mutualExclusionConcurrent/BakeryAtomic/why3session.xml    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/mutualExclusionConcurrent/BakeryAtomic/why3session.xml b/examples/mutualExclusionConcurrent/BakeryAtomic/why3session.xml
index b644310..b9368d4 100644
--- a/examples/mutualExclusionConcurrent/BakeryAtomic/why3session.xml
+++ b/examples/mutualExclusionConcurrent/BakeryAtomic/why3session.xml
@@ -51,7 +51,7 @@
     <proof prover="1"><result status="valid" time="0.324752" steps="94761"/></proof>
     </goal>
     <goal name="a2&#39;vc.0.3.3" expl="postcondition" proved="true">
-    <proof prover="1"><result status="valid" time="0.529372" steps="128378"/></proof>
+    <proof prover="1" timelimit="2000" memlimit="5000"><result status="valid" time="0.480497" steps="128378"/></proof>
     </goal>
    </transf>
    </goal>
@@ -70,7 +70,7 @@
     <proof prover="1"><result status="valid" time="0.156518" steps="59020"/></proof>
     </goal>
     <goal name="a2&#39;vc.0.5.3" expl="postcondition" proved="true">
-    <proof prover="2" timelimit="2000" memlimit="5000"><result status="valid" time="5.765631" steps="129190"/></proof>
+    <proof prover="1" timelimit="2000" memlimit="5000"><result status="valid" time="0.121059" steps="49066"/></proof>
     </goal>
    </transf>
    </goal>