Commit 34612387 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

euler001: increase timelimit to avoid nightly bench errors

parent e6e5f3f0
...@@ -764,7 +764,7 @@ ...@@ -764,7 +764,7 @@
shape="apV0Iainfix =amodV0c5c0NAainfix =amodV0c3c0NIapainfix -V0c1Iainfix >V0c0F"> shape="apV0Iainfix =amodV0c5c0NAainfix =amodV0c3c0NIapainfix -V0c1Iainfix >V0c0F">
<proof <proof
prover="0" prover="0"
timelimit="5" timelimit="10"
memlimit="1000" memlimit="1000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
...@@ -772,7 +772,7 @@ ...@@ -772,7 +772,7 @@
</proof> </proof>
<proof <proof
prover="1" prover="1"
timelimit="5" timelimit="10"
memlimit="1000" memlimit="1000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
...@@ -780,7 +780,7 @@ ...@@ -780,7 +780,7 @@
</proof> </proof>
<proof <proof
prover="2" prover="2"
timelimit="5" timelimit="10"
memlimit="1000" memlimit="1000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
...@@ -788,7 +788,7 @@ ...@@ -788,7 +788,7 @@
</proof> </proof>
<proof <proof
prover="3" prover="3"
timelimit="6" timelimit="10"
memlimit="1000" memlimit="1000"
obsolete="false" obsolete="false"
archived="false"> archived="false">
......
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