Commit b3567f37 authored by MARCHE Claude's avatar MARCHE Claude

update sessions

parent ffce2482
......@@ -57,7 +57,7 @@
locfile="../explicit_subst.why"
loclnum="65" loccnumb="7" loccnume="14"
verified="true"
expanded="false">
expanded="true">
<goal
name="G1"
locfile="../explicit_subst.why"
......@@ -509,7 +509,7 @@
loclnum="100" loccnumb="7" loccnume="9"
sum="329ef3023a344e8d1a5617a450ec9757"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =aappaappV0aaaidaaLaLambdaaLambdaaappaVaraZeroaVaraSaZero">
<proof
prover="0"
......@@ -521,11 +521,11 @@
</proof>
<proof
prover="2"
timelimit="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.04"/>
<result status="timeout" time="3.00"/>
</proof>
<proof
prover="3"
......@@ -577,11 +577,11 @@
</proof>
<proof
prover="9"
timelimit="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="3.97"/>
<result status="timeout" time="5.95"/>
</proof>
</goal>
<goal
......@@ -686,14 +686,14 @@
locfile="../explicit_subst.why"
loclnum="159" loccnumb="7" loccnume="15"
verified="true"
expanded="true">
expanded="false">
<goal
name="G1"
locfile="../explicit_subst.why"
loclnum="168" loccnumb="7" loccnume="9"
sum="ece7e47e3ef4850287428fa000deb782"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =aappalambdaavaraZeroaaaa">
<proof
prover="0"
......@@ -774,7 +774,7 @@
loclnum="174" loccnumb="7" loccnume="9"
sum="a3f57dca9da7938bf6106594f2f8d220"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =aappalambdaavaraZeroaaab">
<proof
prover="0"
......@@ -855,7 +855,7 @@
loclnum="178" loccnumb="7" loccnume="10"
sum="997b5cf3d46c5e9e7ef3d700f25d773b"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =V0V1LalambdaaaLalambdaasubstavaraSaZeroaSaZeroaa">
<proof
prover="0"
......@@ -936,7 +936,7 @@
loclnum="183" loccnumb="7" loccnume="10"
sum="a42cae3ee5b899f04cfc4bb97ce5878c"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =V0V1LalambdaaaLasubstalambdaavaraSaZeroaZeroaa">
<proof
prover="0"
......@@ -1017,7 +1017,7 @@
loclnum="188" loccnumb="7" loccnume="9"
sum="8f1910faa42831536765bf750cec4958"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =aappV0aaV1LalambdaaaLalambdaalambdaavaraSaZero">
<proof
prover="0"
......@@ -1098,7 +1098,7 @@
loclnum="193" loccnumb="7" loccnume="9"
sum="bcd791cf92362c4ff0cffde1b30e8963"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =aappaappV0aaaidaaLalambdaalambdaaappavaraZeroavaraSaZero">
<proof
prover="0"
......@@ -1171,7 +1171,7 @@
loclnum="197" loccnumb="7" loccnume="9"
sum="21e2978de2e61ae0800a2658551e13fb"
proved="true"
expanded="true"
expanded="false"
shape="ainfix =aappV0aaV1LalambdaaappavaraZeroaaLalambdaalambdaaappavaraZeroavaraSaZero">
<proof
prover="0"
......
......@@ -46,20 +46,11 @@
</proof>
<proof
prover="3"
<<<<<<< Updated upstream
timelimit="60"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="1.09"/>
=======
timelimit="5"
memlimit="4000"
edited="my_cosine-CosineSingle-MethodError_1.tptp"
obsolete="false"
archived="false">
<result status="timeout" time="10.47"/>
>>>>>>> Stashed changes
<result status="valid" time="0.39"/>
</proof>
</goal>
<goal
......
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