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

update obsolete sessions

parent bc492fa5
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
......@@ -47,9 +47,9 @@
name="acyclic_list"
locfile="../list_rev.mlw"
loclnum="109" loccnumb="8" loccnume="20"
sum="caf3b4a8b24126c2b5b2347f7c7df18b"
sum="81ccd8280bacfee1c2266c0b223508d7"
proved="false"
expanded="true"
expanded="false"
shape="asep_node_listV0V1amixfix []V0V1Iais_listV0V1INainfix =V1anullF">
<proof
prover="0"
......@@ -80,9 +80,9 @@
name="consistent"
locfile="../list_rev.mlw"
loclnum="112" loccnumb="7" loccnume="17"
sum="f75b84d51d62b1960a3738914e27bb3b"
sum="0ecf2a98d4fde2efbbea06b72e67b854"
proved="false"
expanded="true"
expanded="false"
shape="fIais_listV0V2Iais_listV0V1F">
<proof
prover="0"
......@@ -138,9 +138,9 @@
locfile="../list_rev.mlw"
loclnum="115" loccnumb="6" loccnume="14"
expl="VC for list_rev"
sum="f585a3cb22e6964d07f5470594937229"
sum="a9770c029424df41263ee52aa361f8f7"
proved="true"
expanded="true"
expanded="false"
shape="iais_listV4V2asep_list_listV5V7V6Aais_listV5V6Aais_listV5V7Iainfix =V7amixfix []V4V3FIainfix =V6V3FIainfix =V5amixfix [&lt;-]V4V3V2FNainfix =V3anullIasep_list_listV4V3V2Aais_listV4V2Aais_listV4V3FAasep_list_listV1V0anullAais_listV1anullAais_listV1V0Iais_listV1V0FF">
<label
name="expl:VC for list_rev"/>
......@@ -173,9 +173,9 @@
name="reverse_append"
locfile="../list_rev.mlw"
loclnum="145" loccnumb="8" loccnume="22"
sum="6a4ec04848a2cc53b297794724698ba4"
sum="fcde6921251a7366030af7bdfe0542aa"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =ainfix ++areverseaConsV2V0V1ainfix ++areverseV0aConsV2V1Fainfix ++areverseV0aConsV2V1ainfix ++areverseaConsV2V0V1">
<proof
prover="0"
......@@ -191,9 +191,9 @@
locfile="../list_rev.mlw"
loclnum="156" loccnumb="6" loccnume="19"
expl="VC for list_rev_behv"
sum="81d69a756ca4090efaa90a3d4472cdb1"
sum="5829800a83bf14ded6515195e9781b72"
proved="true"
expanded="true"
expanded="false"
shape="iainfix =areverseamodelV1V0amodelV4V2Aais_listV4V2ainfix =areverseamodelV1V0ainfix ++areverseamodelV6V8amodelV6V7Aasep_list_listV6V8V7Aais_listV6V7Aais_listV6V8Iainfix =V8V5FIainfix =V7V3FAainfix =ainfix ++areverseaConsV3amodelV6V5amodelV6V2ainfix ++areverseamodelV6V5aConsV3amodelV6V2Iainfix =V6amixfix [&lt;-]V4V3V2FLamixfix []V4V3Nainfix =V3anullIainfix =areverseamodelV1V0ainfix ++areverseamodelV4V3amodelV4V2Aasep_list_listV4V3V2Aais_listV4V2Aais_listV4V3FAainfix =areverseamodelV1V0ainfix ++areverseamodelV1V0amodelV1anullAasep_list_listV1V0anullAais_listV1anullAais_listV1V0Iais_listV1V0FF">
<label
name="expl:VC for list_rev_behv"/>
......@@ -211,7 +211,7 @@
memlimit="0"
obsolete="false"
archived="false">
<result status="valid" time="7.59"/>
<result status="valid" time="5.59"/>
</proof>
<proof
prover="3"
......@@ -257,9 +257,9 @@
name="is_list_disjoint_case"
locfile="../list_rev.mlw"
loclnum="206" loccnumb="7" loccnume="28"
sum="d838415fcbc5e22d50d4f5b3e7a21416"
sum="013bad6aeeae98fccb2c55e960879fee"
proved="true"
expanded="true"
expanded="false"
shape="fIais_listV0amixfix []V0V1ANainfix =V1anullAainfix =V1anullF">
<proof
prover="0"
......@@ -274,9 +274,9 @@
name="frame_list"
locfile="../list_rev.mlw"
loclnum="252" loccnumb="8" loccnume="18"
sum="a2ae7dfe2e0a1a4703a5885bd39c70eb"
sum="183ca03d7047a0840e6eba34a640d477"
proved="true"
expanded="true"
expanded="false"
shape="ais_listamixfix [&lt;-]V0V2V3V1Iais_listV0V1INain_ftV2alist_ftV0V1Fais_listamixfix [&lt;-]V0V2V3V1">
<proof
prover="4"
......@@ -292,9 +292,9 @@
name="frame_list_ft"
locfile="../list_rev.mlw"
loclnum="263" loccnumb="8" loccnume="21"
sum="962981d7ad9b71f4d39ebf419b612dee"
sum="9c727710f54785e1dbc749a2049d4a18"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =alist_ftV0V1alist_ftamixfix [&lt;-]V0V2V3V1Iais_listV0V1INain_ftV2alist_ftV0V1F">
<proof
prover="4"
......@@ -310,9 +310,9 @@
name="acyclic_list"
locfile="../list_rev.mlw"
loclnum="277" loccnumb="8" loccnume="20"
sum="135d4f59b85cd66e622e741ee73a1d16"
sum="d8ce0d05544ecfe0d0e38d4a7e5ba2cf"
proved="false"
expanded="true"
expanded="false"
shape="asep_node_listV0V1amixfix []V0V1Iais_listV0V1INainfix =V1anullF">
<proof
prover="0"
......@@ -375,9 +375,9 @@
name="consistent"
locfile="../list_rev.mlw"
loclnum="280" loccnumb="7" loccnume="17"
sum="4267a3214c75395d1b2b2c48f05f97b4"
sum="613185022460b0371e04119148b09d1e"
proved="false"
expanded="true"
expanded="false"
shape="fIais_listV0V2Iais_listV0V1F">
<proof
prover="0"
......@@ -433,9 +433,9 @@
locfile="../list_rev.mlw"
loclnum="283" loccnumb="6" loccnume="14"
expl="VC for list_rev"
sum="43781573e63e8352552396a369260caa"
sum="620c8ae74c7da0c49a36bfce531b9d1e"
proved="true"
expanded="true"
expanded="false"
shape="iais_listV4V2asep_list_listV5V7V6Aais_listV5V6Aais_listV5V7Iainfix =V7amixfix []V4V3FIainfix =V6V3FIainfix =V5amixfix [&lt;-]V4V3V2FNainfix =V3anullIasep_list_listV4V3V2Aais_listV4V2Aais_listV4V3FAasep_list_listV1V0anullAais_listV1anullAais_listV1V0Iais_listV1V0FF">
<label
name="expl:VC for list_rev"/>
......@@ -484,9 +484,9 @@
name="frame_model"
locfile="../list_rev.mlw"
loclnum="317" loccnumb="8" loccnume="19"
sum="767589b0030eb364d4930922fbeb76d7"
sum="d1c9f91c5dd3a7c69ec626738dea4a1d"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =amodelV0V1amodelamixfix [&lt;-]V0V2V3V1INain_ftV2alist_ftV0V1Iais_listV0V1Famodelamixfix [&lt;-]V0V2V3V1">
<proof
prover="4"
......@@ -502,9 +502,9 @@
name="consistent_behv"
locfile="../list_rev.mlw"
loclnum="324" loccnumb="7" loccnume="22"
sum="af3d656067254950bedcaf91997f079d"
sum="6558728c701fb08fc06614aca1ef8fb2"
proved="false"
expanded="true"
expanded="false"
shape="fIais_listV0V2Iais_listV0V1F">
<proof
prover="0"
......@@ -560,27 +560,19 @@
locfile="../list_rev.mlw"
loclnum="327" loccnumb="6" loccnume="19"
expl="VC for list_rev_behv"
sum="5558ebd0afd4dcb2d133dc5423c325fc"
sum="d9060a9e47bcb0665d9ec4397346648d"
proved="true"
expanded="true"
shape="iainfix =areverseamodelV1V0amodelV4V2Aais_listV4V2ainfix =areverseamodelV1V0ainfix ++areverseamodelV5V7amodelV5V6Aasep_list_listV5V7V6Aais_listV5V6Aais_listV5V7Iainfix =V7amixfix []V4V3FIainfix =V6V3FIainfix =V5amixfix [&lt;-]V4V3V2FNainfix =V3anullIainfix =areverseamodelV1V0ainfix ++areverseamodelV4V3amodelV4V2Aasep_list_listV4V3V2Aais_listV4V2Aais_listV4V3FAainfix =areverseamodelV1V0ainfix ++areverseamodelV1V0amodelV1anullAasep_list_listV1V0anullAais_listV1anullAais_listV1V0Iais_listV1V0FF">
<label
name="expl:VC for list_rev_behv"/>
<proof
prover="2"
timelimit="60"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="20.74"/>
</proof>
<proof
prover="3"
timelimit="60"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="1.07"/>
<result status="valid" time="1.40"/>
</proof>
<proof
prover="5"
......@@ -604,7 +596,7 @@
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.02"/>
<result status="valid" time="0.13"/>
</proof>
</goal>
</theory>
......
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