Commit 44433f8f authored by MARCHE Claude's avatar MARCHE Claude
Browse files

updated session

parent b57a096e
...@@ -16,7 +16,7 @@ ...@@ -16,7 +16,7 @@
<prover <prover
id="3" id="3"
name="Coq" name="Coq"
version="8.4"/> version="8.3pl4"/>
<prover <prover
id="4" id="4"
name="Z3" name="Z3"
...@@ -106,7 +106,7 @@ ...@@ -106,7 +106,7 @@
edited="vacid_0_sparse_array_2_SparseArray_permutation_1.v" edited="vacid_0_sparse_array_2_SparseArray_permutation_1.v"
obsolete="false" obsolete="false"
archived="false"> archived="false">
<result status="valid" time="1.30"/> <result status="valid" time="0.82"/>
</proof> </proof>
</goal> </goal>
<goal <goal
...@@ -408,7 +408,7 @@ ...@@ -408,7 +408,7 @@
memlimit="1000" memlimit="1000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
<result status="valid" time="0.59"/> <result status="valid" time="0.79"/>
</proof> </proof>
<proof <proof
prover="4" prover="4"
...@@ -416,7 +416,7 @@ ...@@ -416,7 +416,7 @@
memlimit="1000" memlimit="1000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
<result status="valid" time="2.07"/> <result status="valid" time="2.63"/>
</proof> </proof>
</goal> </goal>
</transf> </transf>
......
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