Commit 7f61ab4d authored by MARCHE Claude's avatar MARCHE Claude

cleaned session

parent d13f51ec
......@@ -2442,7 +2442,7 @@
expl="1."
sum="30cfca2a48b407149a0635c34619c211"
proved="true"
expanded="false"
expanded="true"
shape="aistreeV14V0V17Iainfix =V17azipV16aLeftV8V10V7FICfaEmptyainfix =V16V18aNodewwVV6FINainfix =V6aEmptyIainfix =V15aEmptyICfaEmptyainfix =V15V19aNodeVwwV6FINainfix =V6aEmptyIainfix =V14asetV2V10amk nodeV12arightV13adataV13FLagetV2V10Iainfix =V12arightagetV2V11FINainfix =V11anullINainfix =V11anullINainfix =V10V11IaistreeV2V11V6INNainfix =V9anullIainfix =azipV20V8V1AaistreeV2V10V20LaNodeV6V10V7Aainfix =aleftagetV2V11V9ANainfix =V11anullAainfix =aleftagetV2V10V11ANainfix =V10anullFICfaEmptyainfix =V5V21aNodeVwwV1FINainfix =V1aEmptyICfaEmptyainfix =V4V22aNodewwVV1FINainfix =V1aEmptyINainfix =V3anullLaleftagetV2V0INainfix =aleftagetV2V0anullINainfix =V0anullIadistinctainorderV1AaistreeV2V0V1ANainfix =V0anullFF">
<label
name="expl:VC for search_tree_delete_min"/>
......@@ -2454,22 +2454,6 @@
archived="false">
<result status="valid" time="0.10"/>
</proof>
<proof
prover="1"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.08"/>
</proof>
<proof
prover="2"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.17"/>
</proof>
<proof
prover="3"
timelimit="5"
......@@ -2478,30 +2462,6 @@
archived="false">
<result status="valid" time="0.54"/>
</proof>
<proof
prover="8"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.17"/>
</proof>
<proof
prover="9"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.16"/>
</proof>
<proof
prover="10"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.21"/>
</proof>
</goal>
<goal
name="WP_parameter search_tree_delete_min.27.2"
......
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