Commit 17e88dae authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

update sessions, part 4.1

parent 9b5dfd04
......@@ -247,7 +247,7 @@
name="expl:parameter logfib"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......
......@@ -96,7 +96,7 @@
name="expl:parameter gcd"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -104,7 +104,7 @@
</proof>
<proof
prover="2"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......
......@@ -166,7 +166,7 @@
name="expl:parameter combine"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -284,7 +284,7 @@
name="expl:parameter combine"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......
......@@ -92,7 +92,7 @@
name="expl:parameter insert"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -100,7 +100,7 @@
</proof>
<proof
prover="2"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......
......@@ -549,7 +549,7 @@
name="expl:parameter prime_numbers"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -557,7 +557,7 @@
</proof>
<proof
prover="2"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -565,7 +565,7 @@
</proof>
<proof
prover="5"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -951,7 +951,7 @@
name="expl:parameter prime_numbers"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -959,7 +959,7 @@
</proof>
<proof
prover="2"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -967,7 +967,7 @@
</proof>
<proof
prover="5"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......
......@@ -205,7 +205,7 @@
name="expl:parameter maximum"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -213,7 +213,7 @@
</proof>
<proof
prover="2"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -221,7 +221,7 @@
</proof>
<proof
prover="4"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -656,7 +656,7 @@
name="expl:parameter memo"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -664,7 +664,7 @@
</proof>
<proof
prover="2"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -672,7 +672,7 @@
</proof>
<proof
prover="4"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......
......@@ -116,7 +116,7 @@
name="expl:parameter quick_rec"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -156,7 +156,7 @@
name="expl:parameter quick_rec"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -631,7 +631,7 @@
name="expl:parameter quick_rec"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
......@@ -671,7 +671,7 @@
name="expl:parameter quick_rec"/>
<proof
prover="0"
timelimit="300"
timelimit="5"
memlimit="1000"
obsolete="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