Commit f847f74d authored by MARCHE Claude's avatar MARCHE Claude

update session

parent 57f0aaaf
......@@ -4,56 +4,60 @@
<why3session shape_version="4">
<prover id="0" name="CVC3" version="2.4.1" timelimit="10" steplimit="0" memlimit="0"/>
<prover id="1" name="Gappa" version="1.3.0" timelimit="2" steplimit="0" memlimit="0"/>
<prover id="2" name="Alt-Ergo" version="2.1.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="3" name="Spass" version="3.7" timelimit="10" steplimit="0" memlimit="0"/>
<prover id="4" name="Alt-Ergo" version="2.0.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="5" name="Alt-Ergo" version="2.2.0" timelimit="10" steplimit="0" memlimit="0"/>
<prover id="6" name="Z3" version="3.2" timelimit="10" steplimit="0" memlimit="0"/>
<prover id="8" name="Alt-Ergo" version="0.99.1" timelimit="10" steplimit="0" memlimit="0"/>
<prover id="9" name="Z3" version="4.3.2" timelimit="10" steplimit="0" memlimit="0"/>
<file name="../intreal.why" proved="true">
<theory name="IntReal" proved="true">
<goal name="G1" proved="true">
<proof prover="0"><result status="valid" time="0.00"/></proof>
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="2"><result status="timeout" time="5.00"/></proof>
<proof prover="4"><result status="valid" time="0.00" steps="23"/></proof>
<proof prover="5"><result status="timeout" time="10.00"/></proof>
<proof prover="6"><result status="valid" time="0.00"/></proof>
<proof prover="8"><result status="valid" time="0.06" steps="39"/></proof>
<proof prover="9"><result status="valid" time="0.00"/></proof>
</goal>
<goal name="G2" proved="true">
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="5"><result status="valid" time="0.02" steps="121"/></proof>
<proof prover="6"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.14" steps="87"/></proof>
<proof prover="9"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="G3" proved="true">
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="5"><result status="valid" time="0.02" steps="121"/></proof>
<proof prover="6"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.17" steps="87"/></proof>
<proof prover="9"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="G4" proved="true">
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="5"><result status="valid" time="0.14" steps="325"/></proof>
<proof prover="6"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.14" steps="87"/></proof>
<proof prover="9"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="G5" proved="true">
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="5"><result status="valid" time="0.14" steps="569"/></proof>
<proof prover="6"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.14" steps="87"/></proof>
<proof prover="9"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="G6" proved="true">
<proof prover="0"><result status="valid" time="0.00"/></proof>
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="3"><result status="valid" time="0.10"/></proof>
<proof prover="5"><result status="valid" time="0.06" steps="34"/></proof>
<proof prover="6"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.06" steps="30"/></proof>
<proof prover="9"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="G7" proved="true">
<proof prover="0"><result status="valid" time="0.00"/></proof>
<proof prover="1"><result status="valid" time="0.00"/></proof>
<proof prover="5"><result status="valid" time="0.01" steps="8"/></proof>
<proof prover="6"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.01" steps="5"/></proof>
<proof prover="9"><result status="valid" time="0.01"/></proof>
</goal>
</theory>
......
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