Commit 8b146a7e authored by MARCHE Claude's avatar MARCHE Claude

fix session logic/genealogy

parent fb4f1710
...@@ -40,7 +40,7 @@ ...@@ -40,7 +40,7 @@
<prover <prover
id="9" id="9"
name="Yices" name="Yices"
version="1.0.25"/> version="1.0.38"/>
<prover <prover
id="10" id="10"
name="Z3" name="Z3"
...@@ -181,7 +181,7 @@ ...@@ -181,7 +181,7 @@
memlimit="4000" memlimit="4000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
<result status="unknown" time="1.60"/> <result status="unknown" time="1.88"/>
</proof> </proof>
<proof <proof
prover="13" prover="13"
...@@ -689,7 +689,7 @@ ...@@ -689,7 +689,7 @@
memlimit="4000" memlimit="4000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
<result status="timeout" time="5.86"/> <result status="timeout" time="5.10"/>
</proof> </proof>
<proof <proof
prover="14" prover="14"
......
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