Commit 2f0f3eab authored by MARCHE Claude's avatar MARCHE Claude

remove failing proof attempts from test-provers/bv that cause pb in nightly bench

parent eb751c1b
......@@ -202,31 +202,28 @@
<proof prover="3"><result status="timeout" time="0.95"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
</goal>
<goal name="smoke5" expanded="true">
<goal name="smoke5">
<proof prover="0" timelimit="1"><result status="timeout" time="1.01"/></proof>
<proof prover="2"><result status="unknown" time="0.01"/></proof>
<proof prover="3"><result status="timeout" time="0.92"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
</goal>
<goal name="smoke6">
<goal name="smoke6" expanded="true">
<proof prover="0" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="1"><result status="unknown" time="0.46"/></proof>
<proof prover="2"><result status="unknown" time="0.00"/></proof>
<proof prover="3"><result status="timeout" time="0.96"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
</goal>
<goal name="smoke7">
<goal name="smoke7" expanded="true">
<proof prover="0" timelimit="1"><result status="timeout" time="1.01"/></proof>
<proof prover="1"><result status="unknown" time="0.51"/></proof>
<proof prover="2"><result status="unknown" time="0.01"/></proof>
<proof prover="3"><result status="timeout" time="0.92"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
</goal>
<goal name="smoke8">
<goal name="smoke8" expanded="true">
<proof prover="0" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="1"><result status="unknown" time="0.44"/></proof>
<proof prover="2"><result status="unknown" time="0.00"/></proof>
<proof prover="3"><result status="timeout" time="0.95"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
</goal>
<goal name="g1">
......
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