Skip to content

Commit

Permalink
fixed some obsolete proof sessions
Browse files Browse the repository at this point in the history
  • Loading branch information
jspdium committed Apr 17, 2024
1 parent fa7cdac commit a674190
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@
<proof prover="1" timelimit="2000" memlimit="10000"><result status="valid" time="0.042073" steps="18777"/></proof>
</goal>
<goal name="a2&#39;vc.1.1.0.0.1" expl="postcondition" proved="true">
<proof prover="2"><result status="valid" time="0.040254" steps="730"/></proof>
<proof prover="1" timelimit="2000" memlimit="10000"><result status="valid" time="0.046505" steps="21138"/></proof>
</goal>
<goal name="a2&#39;vc.1.1.0.0.2" expl="postcondition" proved="true">
<proof prover="1"><result status="valid" time="0.336939" steps="93037"/></proof>
Expand All @@ -62,7 +62,7 @@
<proof prover="1" timelimit="2000" memlimit="10000"><result status="valid" time="0.040211" steps="17576"/></proof>
</goal>
<goal name="a2&#39;vc.1.1.1.0.1" expl="postcondition" proved="true">
<proof prover="2"><result status="valid" time="0.042947" steps="719"/></proof>
<proof prover="1" timelimit="2000" memlimit="10000"><result status="valid" time="0.050864" steps="21801"/></proof>
</goal>
<goal name="a2&#39;vc.1.1.1.0.2" expl="postcondition" proved="true">
<proof prover="1"><result status="valid" time="0.159719" steps="58956"/></proof>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
<proof prover="1" timelimit="2000" memlimit="10000"><result status="valid" time="0.629224" steps="24855"/></proof>
</goal>
<goal name="trans&#39;vc.0.0.4" expl="postcondition" proved="true">
<proof prover="1" timelimit="2000" memlimit="10000"><result status="valid" time="30.207880" steps="631027"/></proof>
<proof prover="0" memlimit="5000"><result status="valid" time="0.021162" steps="79453"/></proof>
</goal>
<goal name="trans&#39;vc.0.0.5" expl="postcondition" proved="true">
<proof prover="0"><result status="valid" time="0.061491" steps="356952"/></proof>
Expand Down

0 comments on commit a674190

Please sign in to comment.