Commit e259438a authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Fix obsoleted sessions

parent b43e3c1d
......@@ -475,7 +475,7 @@
<proof prover="2" timelimit="1"><result status="valid" time="0.07"/></proof>
</goal>
<goal name="VC wmpn_lshift.37" expl="loop invariant preservation" proved="true">
<proof prover="0"><result status="valid" time="1.56"/></proof>
<proof prover="0"><result status="valid" time="2.18"/></proof>
</goal>
<goal name="VC wmpn_lshift.38" expl="loop invariant preservation" proved="true">
<proof prover="2" timelimit="1"><result status="valid" time="0.10"/></proof>
......@@ -626,7 +626,7 @@
<goal name="VC wmpn_rshift.24.1.0" expl="VC for wmpn_rshift" proved="true">
<transf name="inline_goal" proved="true" >
<goal name="VC wmpn_rshift.24.1.0.0" expl="VC for wmpn_rshift" proved="true">
<proof prover="0"><result status="valid" time="2.84"/></proof>
<proof prover="0"><result status="valid" time="3.80"/></proof>
</goal>
</transf>
</goal>
......@@ -748,7 +748,7 @@
</transf>
</goal>
<goal name="VC wmpn_rshift.43" expl="loop invariant preservation" proved="true">
<proof prover="0"><result status="valid" time="2.51"/></proof>
<proof prover="0"><result status="valid" time="3.32"/></proof>
<proof prover="2" memlimit="2000"><result status="valid" time="0.17"/></proof>
</goal>
<goal name="VC wmpn_rshift.44" expl="loop invariant preservation" proved="true">
......@@ -807,7 +807,7 @@
<proof prover="0" memlimit="1000"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC wmpn_rshift.61" expl="precondition" proved="true">
<proof prover="0" memlimit="1000"><result status="valid" time="2.24"/></proof>
<proof prover="0" memlimit="1000"><result status="valid" time="2.90"/></proof>
<proof prover="2"><result status="valid" time="0.14"/></proof>
<proof prover="3"><result status="valid" time="0.05"/></proof>
</goal>
......@@ -1296,7 +1296,7 @@
<proof prover="2"><result status="valid" time="0.34"/></proof>
</goal>
<goal name="VC wmpn_rshift_in_place.41.0.2" proved="true">
<proof prover="2"><result status="valid" time="0.22"/></proof>
<proof prover="2"><result status="valid" time="0.38"/></proof>
</goal>
</transf>
</goal>
......@@ -1311,7 +1311,7 @@
<proof prover="0"><result status="valid" time="0.25"/></proof>
</goal>
<goal name="VC wmpn_rshift_in_place.43.1" expl="assertion" proved="true">
<proof prover="0"><result status="valid" time="0.44"/></proof>
<proof prover="0"><result status="valid" time="0.65"/></proof>
</goal>
<goal name="VC wmpn_rshift_in_place.43.2" expl="VC for wmpn_rshift_in_place" proved="true">
<proof prover="2"><result status="valid" time="0.06"/></proof>
......@@ -1392,7 +1392,7 @@
<proof prover="2"><result status="valid" time="0.06"/></proof>
</goal>
<goal name="VC wmpn_rshift_in_place.66" expl="assertion" proved="true">
<proof prover="0"><result status="valid" time="2.42"/></proof>
<proof prover="0"><result status="valid" time="2.96"/></proof>
</goal>
<goal name="VC wmpn_rshift_in_place.67" expl="postcondition" proved="true">
<proof prover="0"><result status="valid" time="0.02"/></proof>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment