From 9745ff8b75b33aac7d2ce156837cefdfcf8abc8f Mon Sep 17 00:00:00 2001
From: Jorge Sousa Pinto <jsp@di.uminho.pt>
Date: Fri, 19 Jul 2024 13:28:36 +0100
Subject: [PATCH] fixing proof folders

---
 examples/paxosNoRefinement/paxos/why3session.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/paxosNoRefinement/paxos/why3session.xml b/examples/paxosNoRefinement/paxos/why3session.xml
index 8f09695..0135389 100644
--- a/examples/paxosNoRefinement/paxos/why3session.xml
+++ b/examples/paxosNoRefinement/paxos/why3session.xml
@@ -3,7 +3,7 @@
 "https://www.why3.org/why3session.dtd">
 <why3session shape_version="6">
 <prover id="0" name="CVC5" version="1.0.3" timelimit="1" steplimit="0" memlimit="1000"/>
-<prover id="1" name="Alt-Ergo" version="2.5.3" timelimit="2000" steplimit="0" memlimit="5000"/>
+<prover id="1" name="Alt-Ergo" version="2.5.3" timelimit="30" steplimit="0" memlimit="4000"/>
 <prover id="2" name="CVC4" version="1.8" timelimit="5" steplimit="0" memlimit="1000"/>
 <prover id="3" name="Alt-Ergo" version="2.4.2" timelimit="5" steplimit="0" memlimit="1000"/>
 <prover id="4" name="Eprover" version="2.6" timelimit="1" steplimit="0" memlimit="1000"/>
@@ -119,7 +119,7 @@
        <goal name="propose&#39;vc.0.0.13.0.0.0" expl="VC for propose" proved="true">
        <transf name="split_vc" proved="true" >
         <goal name="propose&#39;vc.0.0.13.0.0.0.0" expl="VC for propose" proved="true">
-        <proof prover="1"><result status="valid" time="5.182587" steps="101850"/></proof>
+        <proof prover="1"><result status="valid" time="5.681226" steps="101850"/></proof>
         </goal>
        </transf>
        </goal>