Commit 42c4b287 authored by MARCHE Claude's avatar MARCHE Claude

increase time limit well above time needed

parent 719e9979
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
<why3session
name="proofs/why3session.xml">
name="programs/vacid_0_binary_heaps/proofs/why3session.xml">
<prover
id="alt-ergo"
name="Alt-Ergo"
......@@ -547,16 +547,16 @@
<file
name="../bag_of_integers.why"
verified="true"
expanded="false">
expanded="true">
<theory
name="Bag_integers"
verified="true"
expanded="false">
expanded="true">
<goal
name="Min_bag_union1"
sum="04c0b6bedee5a10eed6790270e760042"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =amin_bagV0aminV2amin_bagV1Iainfix =V0aaddV2V1F">
<proof
prover="z3-3"
......@@ -609,10 +609,10 @@
</proof>
<proof
prover="spass"
timelimit="10"
timelimit="20"
edited=""
obsolete="false">
<result status="valid" time="9.18"/>
<result status="valid" time="9.36"/>
</proof>
</goal>
<goal
......
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