Commit 307fc8af authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix the proof attempt that rises outofmemory

parent 19294149
......@@ -3212,14 +3212,6 @@
archived="false">
<result status="unknown" time="0.02"/>
</proof>
<proof
prover="8"
timelimit="244"
memlimit="0"
obsolete="false"
archived="false">
<result status="unknown" time="243.28"/>
</proof>
<proof
prover="6"
timelimit="30"
......
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